Bob is furry. Bob is green. Bob is white. Dave is cold. Dave is round. Dave is white. Harry is young. If someone is white and young then they are furry. All young people are round. White, green people are young. If someone is furry then they are round. All round people are cold. If someone is cold and white then they are blue. Cold people are green. If someone is green and round then they are young.
Harry is white.
@0: Bob is furry.[(triple1 OR ((triple3 ((triple3 triple2) -> rule3)) -> rule1))] Bob is green.[(triple2 OR ((((((triple1) -> rule4)) -> rule5)) -> rule7))] Bob is white.[(triple3)] Dave is cold.[(triple4 OR ((triple5) -> rule5))] Dave is round.[(triple5 OR ((((triple6 ((triple4) -> rule7)) -> rule3)) -> rule2) OR ((((triple6 ((triple6 ((triple4) -> rule7)) -> rule3)) -> rule1)) -> rule4))] Dave is white.[(triple6)] Harry is young.[(triple7)] @1: Bob is round.[(((triple1) -> rule4) OR ((((triple3 triple2) -> rule3)) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule1)) -> rule4))] Bob is young.[(((triple3 triple2) -> rule3) OR ((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple3 ((((((triple1) -> rule4)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule7) ((triple1) -> rule4)) -> rule8))] Dave is blue.[(((triple4 triple6) -> rule6) OR ((((triple5) -> rule5) triple6) -> rule6))] Dave is green.[(((triple4) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] Harry is round.[(((triple7) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule4)) -> rule5) OR ((((((triple3 triple2) -> rule3)) -> rule2)) -> rule5) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule1)) -> rule4)) -> rule5))] Dave is young.[(((triple6 ((triple4) -> rule7)) -> rule3) OR ((((triple4) -> rule7) triple5) -> rule8) OR ((triple6 ((((triple5) -> rule5)) -> rule7)) -> rule3) OR ((((((triple5) -> rule5)) -> rule7) triple5) -> rule8))] Harry is cold.[(((((triple7) -> rule2)) -> rule5))] @3: Bob is blue.[(((((((triple1) -> rule4)) -> rule5) triple3) -> rule6) OR ((((((((triple3 triple2) -> rule3)) -> rule2)) -> rule5) triple3) -> rule6) OR ((((((((triple3 ((triple3 triple2) -> rule3)) -> rule1)) -> rule4)) -> rule5) triple3) -> rule6))] Dave is furry.[(((triple6 ((triple6 ((triple4) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((((triple4) -> rule7) triple5) -> rule8)) -> rule1) OR ((triple6 ((triple6 ((((triple5) -> rule5)) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((((((triple5) -> rule5)) -> rule7) triple5) -> rule8)) -> rule1))] Harry is green.[(((((((triple7) -> rule2)) -> rule5)) -> rule7))]