Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is not young. If Harry is furry and Harry is not quiet then Harry is nice. All smart things are furry. If Harry is green and Harry is smart then Harry is furry. If something is quiet then it is green. If something is red and not furry then it is nice. Furry, quiet things are nice.
Harry is quiet.
@0: Harry is furry.[(triple1 OR ((triple6) -> rule2) OR ((triple2 triple6) -> rule3) OR ((((triple4) -> rule4) triple6) -> rule3))] Harry is green.[(triple2 OR ((triple4) -> rule4))] Harry is nice.[(triple3 OR ((triple1 triple4) -> rule6) OR ((((triple6) -> rule2) triple4) -> rule6) OR ((((triple2 triple6) -> rule3) triple4) -> rule6) OR ((((((triple4) -> rule4) triple6) -> rule3) triple4) -> rule6))] Harry is not young.[(triple7)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)]