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