Anne is blue. Anne is red. Anne is round. Harry is blue. Harry is green. Harry is quiet. Harry is red. If Harry is big and Harry is blue then Harry is green. All red things are quiet. If Anne is big and Anne is quiet then Anne is nice. All green things are nice. If something is blue then it is green. If something is blue then it is quiet. If something is green and round then it is big. Nice, red things are round.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((((((triple1) -> rule5)) -> rule4) triple2) -> rule8))] Harry is blue.[(triple4)] Harry is green.[(triple5 OR ((triple4) -> rule5))] Harry is quiet.[(triple6 OR ((triple4) -> rule6) OR ((triple7) -> rule2))] Harry is red.[(triple7)] @1: Anne is green.[(((triple1) -> rule5))] Anne is quiet.[(((triple1) -> rule6) OR ((triple2) -> rule2))] Harry is nice.[(((triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] @2: Anne is big.[(((((triple1) -> rule5) triple3) -> rule7) OR ((((triple1) -> rule5) ((((((triple1) -> rule5)) -> rule4) triple2) -> rule8)) -> rule7))] Anne is nice.[(((((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5) triple3) -> rule7) ((triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule5) triple3) -> rule7) ((triple2) -> rule2)) -> rule3))] Harry is round.[(((((triple5) -> rule4) triple7) -> rule8) OR ((((((triple4) -> rule5)) -> rule4) triple7) -> rule8))] @3: Harry is big.[(((triple5 ((((triple5) -> rule4) triple7) -> rule8)) -> rule7) OR ((((triple4) -> rule5) ((((triple5) -> rule4) triple7) -> rule8)) -> rule7) OR ((triple5 ((((((triple4) -> rule5)) -> rule4) triple7) -> rule8)) -> rule7) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule4) triple7) -> rule8)) -> rule7))]