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