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