Anne is big. Anne is green. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is smart. Harry is big. Harry is blue. Harry is cold. If someone is quiet then they are green. If Charlie is cold then Charlie is quiet. If someone is quiet then they are green. If someone is big then they are young. If someone is blue and green then they are quiet. If someone is young and blue then they are green.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule4))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] @1: Charlie is young.[(((triple5) -> rule4))] Harry is young.[(((triple8) -> rule4))] @2: Harry is green.[(((((triple8) -> rule4) triple9) -> rule6))] @3: Harry is quiet.[(((triple9 ((((triple8) -> rule4) triple9) -> rule6)) -> rule5))]