Anne is young. Bob is red. Gary is big. If Anne is not round and Anne is not young then Anne is rough. If something is big and quiet then it is rough. If something is young and not red then it is rough. If something is round and young then it is big. All big things are quiet. If Gary is big and Gary is rough then Gary is blue.
Anne is big.
@0: Anne is young.[(triple1)] Bob is red.[(triple2)] Gary is big.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule5))] @2: Gary is rough.[(((triple3 ((triple3) -> rule5)) -> rule2))] @3: Gary is blue.[(((triple3 ((triple3 ((triple3) -> rule5)) -> rule2)) -> rule6))]