Anne is round. Bob is rough. Gary is white. Harry is white. All blue people are red. If Harry is rough then Harry is blue. All red, white people are round. White people are blue. If Bob is round and Bob is blue then Bob is kind. If someone is blue and not white then they are quiet.
Anne is rough.
@0: Anne is round.[(triple1)] Bob is rough.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)] @1: Gary is blue.[(((triple3) -> rule4))] Harry is blue.[(((triple4) -> rule4))] @2: Gary is red.[(((((triple3) -> rule4)) -> rule1))] Harry is red.[(((((triple4) -> rule4)) -> rule1))] @3: Gary is round.[(((((((triple3) -> rule4)) -> rule1) triple3) -> rule3))] Harry is round.[(((((((triple4) -> rule4)) -> rule1) triple4) -> rule3))]