Anne is green. Anne is smart. Anne is white. Dave is not green. Dave is round. Dave is white. Dave is young. Erin is smart. Erin is young. Harry is young. If Dave is green then Dave is not white. If someone is young then they are cold. All smart, young people are red. Green people are young. If Dave is green and Dave is red then Dave is smart. If someone is cold then they are smart.
Harry is not round.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2 OR ((((((triple1) -> rule4)) -> rule2)) -> rule6))] Anne is white.[(triple3)] Dave is not green.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is smart.[(triple8 OR ((((triple9) -> rule2)) -> rule6))] Erin is young.[(triple9)] Harry is young.[(triple10)] @1: Anne is young.[(((triple1) -> rule4))] Dave is cold.[(((triple7) -> rule2))] Erin is cold.[(((triple9) -> rule2))] Erin is red.[(((triple8 triple9) -> rule3) OR ((((((triple9) -> rule2)) -> rule6) triple9) -> rule3))] Harry is cold.[(((triple10) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule2))] Anne is red.[(((triple2 ((triple1) -> rule4)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3))] Dave is smart.[(((((triple7) -> rule2)) -> rule6))] Harry is smart.[(((((triple10) -> rule2)) -> rule6))] @3: Dave is red.[(((((((triple7) -> rule2)) -> rule6) triple7) -> rule3))] Harry is red.[(((((((triple10) -> rule2)) -> rule6) triple10) -> rule3))]