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