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