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