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