Anne is young. Bob is rough. Gary is young. Harry is rough. White, quiet things are not young. If something is quiet then it is not round. Young, rough things are round. If something is young and big then it is rough. If something is white and round then it is big. Young things are big.
Bob is not round.
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Gary is young.[(triple3)] Harry is rough.[(triple4)] @1: Anne is big.[(((triple1) -> rule6))] Gary is big.[(((triple3) -> rule6))] @2: Anne is rough.[(((triple1 ((triple1) -> rule6)) -> rule4))] Gary is rough.[(((triple3 ((triple3) -> rule6)) -> rule4))] @3: Anne is round.[(((triple1 ((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))] Gary is round.[(((triple3 ((triple3 ((triple3) -> rule6)) -> rule4)) -> rule3))]