Dave is smart. Gary is big. Harry is big. All quiet people are smart. All big, smart people are blue. If someone is big then they are quiet. Smart, big people are quiet. All cold people are quiet. Smart, blue people are rough.
Harry is blue.
@0: Dave is smart.[(triple1)] Gary is big.[(triple2)] Harry is big.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule3))] Harry is quiet.[(((triple3) -> rule3))] @2: Gary is smart.[(((((triple2) -> rule3)) -> rule1))] Harry is smart.[(((((triple3) -> rule3)) -> rule1))] @3: Gary is blue.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2))] Harry is blue.[(((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule2))] @4: Gary is rough.[(((((((triple2) -> rule3)) -> rule1) ((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Harry is rough.[(((((((triple3) -> rule3)) -> rule1) ((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule2)) -> rule6))]