Gary is big. Gary is red. Gary is white. If Gary is red then Gary is nice. If someone is nice then they are red. All smart, red people are round. Nice, red people are round. Nice people are round. All green people are white.
Gary is not green.
@0: Gary is big.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] @1: Gary is nice.[(((triple2) -> rule1))] @2: Gary is round.[(((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule1) triple2) -> rule4))]