Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. Red, quiet things are nice. All blue, quiet things are furry. Blue, nice things are quiet.
Gary is red.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1 triple3) -> rule3)) -> rule2))] Gary is nice.[(triple3 OR ((triple5 triple4) -> rule1))] Gary is quiet.[(triple4 OR ((triple1 triple3) -> rule3))] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]