Anne is round. Bob is round. Gary is big. All blue, rough people are white. All round people are rough. Big people are round. If someone is round and red then they are white. If someone is blue then they are rough. If someone is big then they are blue.
Gary is not round.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)] Gary is big.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))] Bob is rough.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule6))] Gary is round.[(((triple3) -> rule3))] @2: Gary is rough.[(((((triple3) -> rule3)) -> rule2) OR ((((triple3) -> rule6)) -> rule5))] @3: Gary is white.[(((((triple3) -> rule6) ((((triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]