Anne is big. Anne is quiet. Charlie is rough. Charlie is round. Gary is white. Harry is big. Harry is quiet. Blue, quiet people are white. If someone is white and nice then they are rough. Big, quiet people are round. All blue, round people are rough. Quiet, nice people are round. Round people are big.
Charlie is not round.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is round.[(((triple1 triple2) -> rule3))] Charlie is big.[(((triple4) -> rule6))] Harry is round.[(((triple6 triple7) -> rule3))]