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