Bob is not cold. Bob is round. Charlie is green. Charlie is young. Erin is white. Harry is green. Harry is young. White things are round. If something is green and not young then it is round. If something is young then it is white. If something is cold then it is big. If something is young and not cold then it is big. Round, young things are smart.
Erin is not smart.
@0: Bob is not cold.[(triple1)] Bob is round.[(triple2)] Charlie is green.[(triple3)] Charlie is young.[(triple4)] Erin is white.[(triple5)] Harry is green.[(triple6)] Harry is young.[(triple7)] @1: Charlie is white.[(((triple4) -> rule3))] Erin is round.[(((triple5) -> rule1))] Harry is white.[(((triple7) -> rule3))] @2: Charlie is round.[(((((triple4) -> rule3)) -> rule1))] Harry is round.[(((((triple7) -> rule3)) -> rule1))] @3: Charlie is smart.[(((((((triple4) -> rule3)) -> rule1) triple4) -> rule6))] Harry is smart.[(((((((triple7) -> rule3)) -> rule1) triple7) -> rule6))]