Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is round. Harry is young. If someone is blue and nice then they are round. Blue, big people are furry. All green people are blue. If someone is big then they are green. If someone is big then they are furry. Round, green people are blue.
Harry is not nice.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple4) -> rule3) OR ((triple6 triple4) -> rule6) OR ((((triple1) -> rule4)) -> rule3) OR ((triple6 ((triple1) -> rule4)) -> rule6))] Harry is furry.[(triple3 OR ((triple1) -> rule5) OR ((triple2 triple1) -> rule2) OR ((((triple4) -> rule3) triple1) -> rule2) OR ((((triple6 triple4) -> rule6) triple1) -> rule2) OR ((((((triple1) -> rule4)) -> rule3) triple1) -> rule2) OR ((((triple6 ((triple1) -> rule4)) -> rule6) triple1) -> rule2))] Harry is green.[(triple4 OR ((triple1) -> rule4))] Harry is nice.[(triple5)] Harry is round.[(triple6 OR ((triple2 triple5) -> rule1) OR ((((triple4) -> rule3) triple5) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) triple5) -> rule1))] Harry is young.[(triple7)]