Bob is blue. Charlie is young. Dave is blue. Gary is white. Young things are white. If something is white then it is blue. If something is big and young then it is nice. White things are big. All green things are nice. All kind, green things are young.
Bob is not big.
@0: Bob is blue.[(triple1)] Charlie is young.[(triple2)] Dave is blue.[(triple3)] Gary is white.[(triple4)] @1: Charlie is white.[(((triple2) -> rule1))] Gary is big.[(((triple4) -> rule4))] Gary is blue.[(((triple4) -> rule2))] @2: Charlie is big.[(((((triple2) -> rule1)) -> rule4))] Charlie is blue.[(((((triple2) -> rule1)) -> rule2))] @3: Charlie is nice.[(((((((triple2) -> rule1)) -> rule4) triple2) -> rule3))]