Bob is nice. Bob is quiet. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is young. All blue, young things are nice. If Gary is rough then Gary is blue.
Gary is blue.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Gary is blue.[(triple3 OR ((triple6) -> rule2))] Gary is kind.[(triple4)] Gary is nice.[(triple5 OR ((triple3 triple7) -> rule1) OR ((((triple6) -> rule2) triple7) -> rule1))] Gary is rough.[(triple6)] Gary is young.[(triple7)]