Charlie is quiet. Gary is quiet. Gary is white. All round people are white. All quiet, kind people are red. All round people are white. Quiet people are green. If Gary is quiet and Gary is red then Gary is big. Green people are kind.
Charlie is big.
@0: Charlie is quiet.[(triple1)] Gary is quiet.[(triple2)] Gary is white.[(triple3)] @1: Charlie is green.[(((triple1) -> rule4))] Gary is green.[(((triple2) -> rule4))] @2: Charlie is kind.[(((((triple1) -> rule4)) -> rule6))] Gary is kind.[(((((triple2) -> rule4)) -> rule6))] @3: Charlie is red.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2))] Gary is red.[(((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule2))] @4: Gary is big.[(((triple2 ((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule2)) -> rule5))]