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