Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is white. Bob is young. Harry is cold. Harry is white. Harry is young. All green, round people are furry. All round, cold people are white. Young people are round. Furry, white people are cold. All round people are green. All blue people are white.
Harry is not round.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple1) -> rule6)) -> rule4) OR ((((triple4 triple5) -> rule1) triple6) -> rule4) OR ((((triple4 triple5) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((triple4 ((triple7) -> rule3)) -> rule1) triple6) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule1) triple6) -> rule4) OR ((((triple4 ((triple7) -> rule3)) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule5) ((triple7) -> rule3)) -> rule1) triple6) -> rule4) OR ((((((triple5) -> rule5) ((triple7) -> rule3)) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((((triple7) -> rule3)) -> rule5) triple5) -> rule1) triple6) -> rule4) OR ((((((((triple7) -> rule3)) -> rule5) triple5) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule1) triple6) -> rule4) OR ((((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule1) ((triple1) -> rule6)) -> rule4))] Bob is furry.[(triple3 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple7) -> rule3)) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1) OR ((((triple5) -> rule5) ((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule1))] Bob is green.[(triple4 OR ((triple5) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Bob is round.[(triple5 OR ((triple7) -> rule3))] Bob is white.[(triple6 OR ((triple1) -> rule6) OR ((triple5 triple2) -> rule2) OR ((((triple7) -> rule3) triple2) -> rule2))] Bob is young.[(triple7)] Harry is cold.[(triple8 OR ((((((((triple10) -> rule3)) -> rule5) ((triple10) -> rule3)) -> rule1) triple9) -> rule4))] Harry is white.[(triple9 OR ((((triple10) -> rule3) triple8) -> rule2))] Harry is young.[(triple10)] @1: Harry is round.[(((triple10) -> rule3))] @2: Harry is green.[(((((triple10) -> rule3)) -> rule5))] @3: Harry is furry.[(((((((triple10) -> rule3)) -> rule5) ((triple10) -> rule3)) -> rule1))]