Anne is green. Anne is not red. Anne is not young. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is smart. Harry is not young. All young, smart things are green. Green, blue things are quiet. All green things are not young.
Anne is not quiet.
@0: Anne is green.[(triple1)] Anne is not red.[(triple2)] Anne is not young.[(triple3 OR ((triple1) -> rule3))] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is not young.[(triple10 OR ((triple6) -> rule3))] Harry is quiet.[(triple7 OR ((triple6 triple4) -> rule2))] Harry is red.[(triple8)] Harry is smart.[(triple9)]