Anne is furry. Anne is red. Anne is white. Bob is kind. Bob is red. Bob is white. Gary is cold. Gary is furry. Gary is white. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is white. Harry is young. If something is young then it is furry. If Bob is furry and Bob is red then Bob is kind. If something is round then it is white. All furry, cold things are white. If Bob is round then Bob is white. If Bob is red and Bob is white then Bob is round. Round, white things are red. If Harry is furry and Harry is young then Harry is white.
Harry is not young.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is white.[(triple9 OR ((triple8 triple7) -> rule4))] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple16) -> rule1))] Harry is kind.[(triple12)] Harry is red.[(triple13 OR ((triple14 triple15) -> rule7) OR ((triple14 ((triple14) -> rule3)) -> rule7) OR ((triple14 ((triple11 triple10) -> rule4)) -> rule7) OR ((triple14 ((triple11 triple16) -> rule8)) -> rule7) OR ((triple14 ((((triple16) -> rule1) triple10) -> rule4)) -> rule7) OR ((triple14 ((((triple16) -> rule1) triple16) -> rule8)) -> rule7))] Harry is round.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule3) OR ((triple11 triple10) -> rule4) OR ((triple11 triple16) -> rule8) OR ((((triple16) -> rule1) triple10) -> rule4) OR ((((triple16) -> rule1) triple16) -> rule8))] Harry is young.[(triple16)] @1: Bob is round.[(((triple5 triple6) -> rule6))]