Dave is furry. Dave is smart. Dave is young. Erin is big. Erin is red. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is rough. Harry is smart. Harry is young. If something is big and rough then it is smart.
Gary is not big.
@0: Dave is furry.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple6 triple10) -> rule1))] Gary is young.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)]