Dave is cold. Dave is round. Erin is big. Erin is cold. Erin is green. Erin is red. Erin is round. Erin is smart. Erin is young. Harry is green. Harry is smart. Harry is young. All red, round things are green. All young things are smart. All smart things are round. All red, cold things are green. All young, round things are big. Green things are round. If something is big and red then it is green. All green, big things are round.
Dave is red.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Erin is big.[(triple3 OR ((triple9 triple7) -> rule5) OR ((triple9 ((triple5) -> rule6)) -> rule5) OR ((triple9 ((triple8) -> rule3)) -> rule5) OR ((triple9 ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((triple9 ((((triple6 triple4) -> rule4)) -> rule6)) -> rule5))] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple3 triple6) -> rule7) OR ((triple6 triple4) -> rule4) OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple8) -> rule3)) -> rule1) OR ((((triple9 triple7) -> rule5) triple6) -> rule7) OR ((triple6 ((((triple9) -> rule2)) -> rule3)) -> rule1) OR ((((triple9 ((triple8) -> rule3)) -> rule5) triple6) -> rule7) OR ((((triple9 ((((triple9) -> rule2)) -> rule3)) -> rule5) triple6) -> rule7))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple5) -> rule6) OR ((triple8) -> rule3) OR ((triple5 triple3) -> rule8) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple3 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule4)) -> rule6) OR ((((triple3 triple6) -> rule7) triple3) -> rule8) OR ((((triple6 triple4) -> rule4) triple3) -> rule8))] Erin is smart.[(triple8 OR ((triple9) -> rule2))] Erin is young.[(triple9)] Harry is green.[(triple10)] Harry is smart.[(triple11 OR ((triple12) -> rule2))] Harry is young.[(triple12)] @1: Harry is round.[(((triple10) -> rule6) OR ((triple11) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] @2: Harry is big.[(((triple12 ((triple10) -> rule6)) -> rule5) OR ((triple12 ((triple11) -> rule3)) -> rule5) OR ((triple12 ((((triple12) -> rule2)) -> rule3)) -> rule5))]