Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is smart then Gary is young. All smart things are red.
Gary is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple6) -> rule2))] Bob is smart.[(triple6)] Bob is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12 OR ((triple13) -> rule2))] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple13) -> rule1))]