Anne is green. Anne is quiet. Charlie is cold. Charlie is not nice. Harry is not furry. Harry is quiet. Harry is round. If Anne is furry and Anne is cold then Anne is nice. If Anne is nice and Anne is cold then Anne is quiet. All cold people are not quiet. If someone is round and not cold then they are green. All furry people are green. All big people are round. If someone is big and not quiet then they are not round. If someone is nice and not big then they are round.
Anne is quiet.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is cold.[(triple3)] Charlie is not nice.[(triple4)] Harry is not furry.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Charlie is not quiet.[(((triple3) -> rule3))]