Bob is furry. Bob is young. Charlie is rough. Charlie is white. Charlie is young. Dave is furry. Dave is kind. Dave is rough. Gary is big. Gary is furry. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. All white, round things are kind. If Charlie is young then Charlie is kind. Rough, kind things are young. If something is white and furry then it is young. If something is round then it is rough. Rough things are kind.
Bob is white.
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((triple3 ((triple3) -> rule6)) -> rule3))] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple8) -> rule6))] Dave is rough.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11 OR ((triple12) -> rule6) OR ((triple14 triple13) -> rule1) OR ((((triple13) -> rule5)) -> rule6))] Gary is rough.[(triple12 OR ((triple13) -> rule5))] Gary is round.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple11) -> rule3) OR ((triple14 triple10) -> rule4) OR ((triple12 ((triple12) -> rule6)) -> rule3) OR ((triple12 ((triple14 triple13) -> rule1)) -> rule3) OR ((((triple13) -> rule5) triple11) -> rule3) OR ((((triple13) -> rule5) ((triple12) -> rule6)) -> rule3) OR ((((triple13) -> rule5) ((triple14 triple13) -> rule1)) -> rule3) OR ((triple12 ((((triple13) -> rule5)) -> rule6)) -> rule3) OR ((((triple13) -> rule5) ((((triple13) -> rule5)) -> rule6)) -> rule3))] @1: Charlie is kind.[(((triple3) -> rule6) OR ((triple5) -> rule2))] Dave is young.[(((triple8 triple7) -> rule3) OR ((triple8 ((triple8) -> rule6)) -> rule3))]