Harry is big. Harry is quiet. Harry is round. If someone is kind then they are nice. All green, quiet people are nice. Nice people are kind. All blue people are nice. If Harry is quiet then Harry is green. Round people are green. If someone is round and blue then they are nice. Kind people are nice.
Harry is not quiet.
@0: Harry is big.[(triple1)] Harry is quiet.[(triple2)] Harry is round.[(triple3)] @1: Harry is green.[(((triple2) -> rule5) OR ((triple3) -> rule6))] @2: Harry is nice.[(((((triple2) -> rule5) triple2) -> rule2) OR ((((triple3) -> rule6) triple2) -> rule2))] @3: Harry is kind.[(((((((triple2) -> rule5) triple2) -> rule2)) -> rule3) OR ((((((triple3) -> rule6) triple2) -> rule2)) -> rule3))]