Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is white. If Harry is cold and Harry is blue then Harry is white. If Harry is white then Harry is round. If something is cold and round then it is red. If something is cold and big then it is furry. If something is big then it is red. All red, round things are cold. All blue things are big. All white things are blue.
Harry is not furry.
@0: Harry is big.[(triple1 OR ((triple2) -> rule7) OR ((((triple7) -> rule8)) -> rule7))] Harry is blue.[(triple2 OR ((triple7) -> rule8))] Harry is cold.[(triple3 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple7) -> rule2)) -> rule6) OR ((((triple1) -> rule5) triple6) -> rule6) OR ((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) OR ((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6))] Harry is furry.[(triple4 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule7)) -> rule4) OR ((((triple5 triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((triple3 ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4))] Harry is red.[(triple5 OR ((triple1) -> rule5) OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule7)) -> rule5) OR ((triple3 ((triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule8)) -> rule7)) -> rule5) OR ((triple3 ((((triple3 triple2) -> rule1)) -> rule2)) -> rule3))] Harry is round.[(triple6 OR ((triple7) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2))] Harry is white.[(triple7 OR ((triple3 triple2) -> rule1) OR ((((triple5 triple6) -> rule6) triple2) -> rule1) OR ((((((triple1) -> rule5) triple6) -> rule6) triple2) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) triple2) -> rule1))]