Harry is big. Harry is furry. Harry is not green. Harry is quiet. Harry is not red. Harry is round. Harry is young. If something is green then it is red. If Harry is red and Harry is young then Harry is not green. All red things are young. All furry things are round. If something is quiet and not red then it is furry. Big things are quiet. If something is red and not green then it is quiet. All round things are quiet.
Harry is not young.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2 OR ((triple4 triple5) -> rule5) OR ((((triple1) -> rule6) triple5) -> rule5) OR ((((triple6) -> rule8) triple5) -> rule5))] Harry is not green.[(triple3)] Harry is not red.[(triple5)] Harry is quiet.[(triple4 OR ((triple1) -> rule6) OR ((triple6) -> rule8) OR ((((triple2) -> rule4)) -> rule8))] Harry is round.[(triple6 OR ((triple2) -> rule4) OR ((((triple4 triple5) -> rule5)) -> rule4) OR ((((((triple1) -> rule6) triple5) -> rule5)) -> rule4))] Harry is young.[(triple7)]