Gary is big. Gary is quiet. Gary is white. If something is white then it is nice. All big, nice things are blue. Quiet things are white. If something is blue then it is red. If something is furry then it is blue. Furry things are blue.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is quiet.[(triple2)] Gary is white.[(triple3 OR ((triple2) -> rule3))] @1: Gary is nice.[(((triple3) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] @2: Gary is blue.[(((triple1 ((triple3) -> rule1)) -> rule2) OR ((triple1 ((((triple2) -> rule3)) -> rule1)) -> rule2))] @3: Gary is red.[(((((triple1 ((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((triple1 ((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4))]