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