Bob is cold. Bob is round. Dave is cold. Dave is young. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is round. If something is young and furry then it is round. If something is round then it is red. Young things are furry. Nice, young things are cold. If Harry is red then Harry is white. If Dave is furry and Dave is white then Dave is round. All young, nice things are white. All round, red things are furry.
Gary is young.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Dave is young.[(triple4)] Gary is cold.[(triple5 OR ((triple7 triple9) -> rule4))] Gary is furry.[(triple6 OR ((triple9) -> rule3) OR ((triple8 ((triple8) -> rule2)) -> rule8))] Gary is nice.[(triple7)] Gary is round.[(triple8 OR ((triple9 triple6) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1))] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple12 ((triple12) -> rule2)) -> rule8))] Harry is round.[(triple12)] @1: Bob is red.[(((triple2) -> rule2))] Dave is furry.[(((triple4) -> rule3))] Gary is red.[(((triple8) -> rule2) OR ((((triple9 triple6) -> rule1)) -> rule2) OR ((((triple9 ((triple9) -> rule3)) -> rule1)) -> rule2))] Gary is white.[(((triple9 triple7) -> rule7))] Harry is red.[(((triple12) -> rule2))] @2: Bob is furry.[(((triple2 ((triple2) -> rule2)) -> rule8))] Dave is round.[(((triple4 ((triple4) -> rule3)) -> rule1))] Harry is white.[(((((triple12) -> rule2)) -> rule5))] @3: Dave is red.[(((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule2))]