Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is smart. Anne is young. Dave is blue. Dave is furry. Dave is smart. Dave is young. Erin is blue. Erin is cold. Erin is red. Erin is smart. Erin is young. Blue things are red. All cold, smart things are kind. If something is red and young then it is blue. If something is young then it is furry. Red things are cold. If Erin is red then Erin is blue.
Dave is red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((((triple1) -> rule1)) -> rule5))] Anne is furry.[(triple3 OR ((triple6) -> rule4))] Anne is kind.[(triple4 OR ((triple2 triple5) -> rule2) OR ((((((triple1) -> rule1)) -> rule5) triple5) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8 OR ((triple10) -> rule4))] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is blue.[(triple11 OR ((triple13) -> rule6) OR ((triple13 triple15) -> rule3))] Erin is cold.[(triple12 OR ((triple13) -> rule5) OR ((((triple11) -> rule1)) -> rule5))] Erin is red.[(triple13 OR ((triple11) -> rule1))] Erin is smart.[(triple14)] Erin is young.[(triple15)] @1: Anne is red.[(((triple1) -> rule1))] Dave is red.[(((triple7) -> rule1))] Erin is furry.[(((triple15) -> rule4))] Erin is kind.[(((triple12 triple14) -> rule2) OR ((((triple13) -> rule5) triple14) -> rule2) OR ((((((triple11) -> rule1)) -> rule5) triple14) -> rule2))] @2: Dave is cold.[(((((triple7) -> rule1)) -> rule5))] @3: Dave is kind.[(((((((triple7) -> rule1)) -> rule5) triple9) -> rule2))]