Dave is rough. Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is rough. Harry is kind. Round things are big. If Dave is white then Dave is round. All big, white things are round. If something is big then it is red. If something is red and white then it is round. If something is kind then it is furry.
Gary is furry.
@0: Dave is rough.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3 OR ((triple4) -> rule6))] Gary is kind.[(triple4)] Gary is red.[(triple5 OR ((triple2) -> rule4))] Gary is rough.[(triple6)] Harry is kind.[(triple7)] @1: Harry is furry.[(((triple7) -> rule6))]