Anne is big. Gary is big. Gary is round. If someone is white and nice then they are blue. If someone is nice then they are not blue. Cold people are not big. All big people are nice. Big people are not rough. All blue, white people are round. If someone is blue then they are round. If someone is big and not nice then they are round.
Anne is not big.
@0: Anne is big.[(triple1)] Gary is big.[(triple2)] Gary is round.[(triple3)] @1: Anne is nice.[(((triple1) -> rule4))] Anne is not rough.[(((triple1) -> rule5))] Gary is nice.[(((triple2) -> rule4))] Gary is not rough.[(((triple2) -> rule5))] @2: Anne is not blue.[(((((triple1) -> rule4)) -> rule2))] Gary is not blue.[(((((triple2) -> rule4)) -> rule2))]