Dave is quiet. Gary is cold. Harry is smart. If something is smart and green then it is big. All smart things are round. Big things are cold. If something is green then it is nice. Quiet things are big. If Dave is quiet and Dave is cold then Dave is nice. Smart things are round. If something is green then it is smart.
Gary is green.
@0: Dave is quiet.[(triple1)] Gary is cold.[(triple2)] Harry is smart.[(triple3)] @1: Dave is big.[(((triple1) -> rule5))] Harry is round.[(((triple3) -> rule2) OR ((triple3) -> rule7))] @2: Dave is cold.[(((((triple1) -> rule5)) -> rule3))] @3: Dave is nice.[(((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule6))]