Bob is round. Bob is young. Dave is rough. Gary is furry. Gary is kind. Gary is rough. Gary is round. If Bob is rough then Bob is furry. If something is furry and white then it is smart. If something is rough then it is furry. All round things are smart. All round things are white. All young, rough things are kind.
Gary is not furry.
@0: Bob is round.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Gary is furry.[(triple4 OR ((triple6) -> rule3))] Gary is kind.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Bob is smart.[(((triple1) -> rule4))] Bob is white.[(((triple1) -> rule5))] Dave is furry.[(((triple3) -> rule3))] Gary is smart.[(((triple7) -> rule4) OR ((triple4 ((triple7) -> rule5)) -> rule2) OR ((((triple6) -> rule3) ((triple7) -> rule5)) -> rule2))] Gary is white.[(((triple7) -> rule5))]