| [ |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All robins are birds. All birds are animals. Conclusion: All robins are animals.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All squares are rectangles. All rectangles are shapes. Conclusion: All squares are shapes.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All tulips are flowers. All flowers are plants. Conclusion: All tulips are plants.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All ferries are boats. All boats are vehicles. Conclusion: All ferries are vehicles.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All violins are instruments. All instruments are objects. Conclusion: All violins are objects.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All oak trees are trees. All trees are living things. Conclusion: All oak trees are living things.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All comets are space objects. All space objects are visible from telescopes. Conclusion: All comets are visible from telescopes.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All laptops are computers. All computers are machines. Conclusion: All machines are laptops.", |
| "y": 0, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All sparrows are birds. All birds have feathers. Conclusion: All feathered things are sparrows.", |
| "y": 0, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All apples are fruit. All fruit is food. Conclusion: All food is apples.", |
| "y": 0, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All poets are writers. All writers use language. Conclusion: All language users are poets.", |
| "y": 0, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All poodles are dogs. All dogs are mammals. Conclusion: Some mammals are not poodles.", |
| "y": 0, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All taxis are cars. All cars need fuel. Conclusion: All taxis need fuel.", |
| "y": 1, |
| "reasoning_type": "transitivity" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a door is locked, it is not open. The door is locked. Statement: The door is open.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a badge is valid, it is not expired. The badge is valid. Statement: The badge is expired.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If the lamp is unplugged, it is not powered. The lamp is unplugged. Statement: The lamp is not powered.", |
| "y": 1, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If the file is encrypted, it is not readable as plain text. The file is encrypted. Statement: The file is readable as plain text.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If the road is closed, cars cannot pass. The road is closed. Statement: Cars can pass.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a switch is off, the circuit is not active. The switch is off. Statement: The circuit is not active.", |
| "y": 1, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a ticket is unpaid, it is not confirmed. The ticket is unpaid. Statement: The ticket is confirmed.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a jar is empty, it contains no marbles. The jar is empty. Statement: The jar contains marbles.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a user is banned, they are not allowed to post. The user is banned. Statement: The user is not allowed to post.", |
| "y": 1, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If the sensor is disabled, it sends no alerts. The sensor is disabled. Statement: The sensor sends alerts.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a package is missing, it is not delivered. The package is missing. Statement: The package is delivered.", |
| "y": 0, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the final statement is true, else 0. Rule: If a plant is dead, it is not growing. The plant is dead. Statement: The plant is not growing.", |
| "y": 1, |
| "reasoning_type": "negation" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All doctors are trained professionals. Mira is a doctor. Conclusion: Mira is a trained professional.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All guests need invitations. Omar is a guest. Conclusion: Omar needs an invitation.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: No reptiles are warm-blooded. A gecko is a reptile. Conclusion: A gecko is warm-blooded.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All library books have catalog numbers. This item is a library book. Conclusion: This item has a catalog number.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: No expired coupons are accepted. This coupon is expired. Conclusion: This coupon is accepted.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All certified pilots can fly planes. Dana is certified pilot. Conclusion: Dana can fly planes.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All medals are awards. This object is an award. Conclusion: This object is a medal.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: No broken clocks keep correct time. This clock is broken. Conclusion: This clock keeps correct time.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All subscribers receive updates. Jin is a subscriber. Conclusion: Jin receives updates.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: No silent alarms make noise. This alarm is silent. Conclusion: This alarm makes noise.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All registered voters may vote. Lee is registered voter. Conclusion: Lee may vote.", |
| "y": 1, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the conclusion follows, else 0. Premise: All chess players know rules. Sam knows rules. Conclusion: Sam is a chess player.", |
| "y": 0, |
| "reasoning_type": "syllogism" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the blue key is used, the safe opens. Distractor: The red key is shiny. The blue key is used. Conclusion: The safe opens.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the server restarts, the cache clears. Distractor: The keyboard is wireless. The server restarts. Conclusion: The cache clears.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the form is signed, the request is valid. Distractor: The envelope is yellow. The form is not signed. Conclusion: The request is valid.", |
| "y": 0, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the alarm rings, the guard wakes. Distractor: The guard owns a bicycle. The alarm rings. Conclusion: The guard wakes.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the code compiles, tests can run. Distractor: The monitor is large. The code does not compile. Conclusion: Tests can run.", |
| "y": 0, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the window is open, the room cools. Distractor: The carpet is green. The window is open. Conclusion: The room cools.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the invoice is paid, the account is active. Distractor: The logo is blue. The invoice is unpaid. Conclusion: The account is active.", |
| "y": 0, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the train arrives, passengers board. Distractor: The station has a clock. The train arrives. Conclusion: Passengers board.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the token is invalid, access is denied. Distractor: The desk has two drawers. The token is invalid. Conclusion: Access is denied.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If rain falls, the ground gets wet. Distractor: The umbrella is red. Rain does not fall. Conclusion: The ground gets wet.", |
| "y": 0, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the switch is flipped, the light turns on. Distractor: The wall is painted white. The switch is flipped. Conclusion: The light turns on.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the battery is charged, the robot moves. Distractor: The robot is made of metal. The battery is empty. Conclusion: The robot moves.", |
| "y": 0, |
| "reasoning_type": "distractor logic" |
| }, |
| { |
| "x": "Label 1 if the target conclusion follows, else 0. Useful rule: If the map is accurate, the route is reliable. Distractor: The compass is old. The map is accurate. Conclusion: The route is reliable.", |
| "y": 1, |
| "reasoning_type": "distractor logic" |
| } |
| ] |
|
|
