Dave is cold. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is young. Harry is smart. All big, smart things are young. If Erin is cold then Erin is red. If something is smart then it is big. If something is big and young then it is green. Smart, red things are young. Green things are cold. If Erin is big and Erin is cold then Erin is young. If something is young and green then it is cold.
Dave is not young.
@0: Dave is cold.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule6) OR ((triple6 triple3) -> rule8))] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple2) -> rule2) OR ((((triple3) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule8)) -> rule2))] Erin is young.[(triple6)] Harry is smart.[(triple7)] @1: Harry is big.[(((triple7) -> rule3))] @2: Harry is young.[(((((triple7) -> rule3) triple7) -> rule1))] @3: Harry is green.[(((((triple7) -> rule3) ((((triple7) -> rule3) triple7) -> rule1)) -> rule4))] @4: Harry is cold.[(((((((triple7) -> rule3) ((((triple7) -> rule3) triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((triple7) -> rule3) triple7) -> rule1) ((((triple7) -> rule3) ((((triple7) -> rule3) triple7) -> rule1)) -> rule4)) -> rule8))]