Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. All big people are red. If someone is nice and green then they are cold. If Harry is green then Harry is nice. Rough, green people are nice. If someone is cold then they are red. If someone is rough and round then they are big. If someone is round then they are red. All red people are green.
Harry is not round.
@0: Harry is big.[(triple1 OR ((triple6 triple7) -> rule6))] Harry is cold.[(triple2 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple5) -> rule8)) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2) OR ((((triple6 triple3) -> rule4) triple3) -> rule2) OR ((((triple3) -> rule3) ((triple5) -> rule8)) -> rule2) OR ((((triple6 triple3) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((triple4 ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((triple4 ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((((triple5) -> rule8)) -> rule3) triple3) -> rule2) OR ((((triple6 ((triple5) -> rule8)) -> rule4) triple3) -> rule2) OR ((((triple3) -> rule3) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple3) -> rule3) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule2) OR ((((triple6 triple3) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 triple3) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((triple6 ((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((((triple5) -> rule8)) -> rule3) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((triple5) -> rule8)) -> rule3) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((triple6 ((triple5) -> rule8)) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((triple5) -> rule8)) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((triple4 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule3) triple3) -> rule2) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule3) triple3) -> rule2) OR ((((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) triple3) -> rule2) OR ((((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) triple3) -> rule2) OR ((((triple3) -> rule3) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule2) OR ((((triple6 triple3) -> rule4) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((((triple5) -> rule8)) -> rule3) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule3) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule3) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule3) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule3) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((triple6 ((triple5) -> rule8)) -> rule4) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule3) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule3) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) triple3) -> rule2) OR ((((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4) triple3) -> rule2) OR ((((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule2) OR ((((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule2) OR ((((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4) ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule2))] Harry is green.[(triple3 OR ((triple5) -> rule8) OR ((((triple1) -> rule1)) -> rule8) OR ((((triple2) -> rule5)) -> rule8) OR ((((triple7) -> rule7)) -> rule8) OR ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8))] Harry is nice.[(triple4 OR ((triple3) -> rule3) OR ((triple6 triple3) -> rule4) OR ((((triple5) -> rule8)) -> rule3) OR ((triple6 ((triple5) -> rule8)) -> rule4) OR ((((((triple1) -> rule1)) -> rule8)) -> rule3) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3) OR ((((((triple7) -> rule7)) -> rule8)) -> rule3) OR ((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule4) OR ((triple6 ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((triple6 ((((triple7) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule3) OR ((triple6 ((((((triple6 triple7) -> rule6)) -> rule1)) -> rule8)) -> rule4))] Harry is red.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule5) OR ((triple7) -> rule7) OR ((((triple4 triple3) -> rule2)) -> rule5) OR ((((triple6 triple7) -> rule6)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule4) triple3) -> rule2)) -> rule5))] Harry is rough.[(triple6)] Harry is round.[(triple7)]