Charlie is big. Charlie is furry. Charlie is rough. Charlie is smart. Dave is blue. Dave is furry. Dave is kind. Dave is rough. Dave is smart. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is rough. Gary is smart. Gary is young. If someone is rough and big then they are blue. All young, kind people are big. If someone is smart then they are furry.
Dave is not big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule3))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((triple9) -> rule3))] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Gary is big.[(triple10 OR ((triple16 triple13) -> rule2))] Gary is blue.[(triple11 OR ((triple14 triple10) -> rule1) OR ((triple14 ((triple16 triple13) -> rule2)) -> rule1))] Gary is furry.[(triple12 OR ((triple15) -> rule3))] Gary is kind.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Charlie is blue.[(((triple3 triple1) -> rule1))]