Bob is quiet. Gary is red. Harry is quiet. All blue things are big. If something is quiet then it is blue. If something is green then it is big.
Bob is big.
@0: Bob is quiet.[(triple1)] Gary is red.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is blue.[(((triple1) -> rule2))] Harry is blue.[(((triple3) -> rule2))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule1))] Harry is big.[(((((triple3) -> rule2)) -> rule1))]