[
  {
    "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"
  }
]