Charlie is furry. Charlie is rough. Dave is not big. Dave is kind. Dave is not young. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is white. If Gary is big then Gary is not rough. If something is furry and blue then it is kind. If Gary is rough then Gary is kind. All rough, young things are blue. If something is furry and rough then it is young. If Gary is big and Gary is not kind then Gary is white.
Gary is not rough.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2)] Dave is kind.[(triple4)] Dave is not big.[(triple3)] Dave is not young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple8 triple7) -> rule2))] Gary is white.[(triple10)] @1: Charlie is young.[(((triple1 triple2) -> rule5))] Gary is not rough.[(((triple6) -> rule1))] @2: Charlie is blue.[(((triple2 ((triple1 triple2) -> rule5)) -> rule4))] @3: Charlie is kind.[(((triple1 ((triple2 ((triple1 triple2) -> rule5)) -> rule4)) -> rule2))]