Anne is big. Anne is blue. Anne is kind. Anne is nice. Harry is blue. Harry is kind. Harry is red. If someone is quiet and nice then they are kind. All nice, round people are kind. All quiet people are red. If Anne is kind and Anne is round then Anne is blue. If someone is red then they are round. Kind people are nice. If Anne is kind then Anne is quiet. Blue, round people are kind.
Harry is not kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 ((((((triple3) -> rule7)) -> rule3)) -> rule5)) -> rule4))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule6))] Harry is blue.[(triple5)] Harry is kind.[(triple6 OR ((triple5 ((triple7) -> rule5)) -> rule8))] Harry is red.[(triple7)] @1: Anne is quiet.[(((triple3) -> rule7))] Harry is nice.[(((triple6) -> rule6) OR ((((triple5 ((triple7) -> rule5)) -> rule8)) -> rule6))] Harry is round.[(((triple7) -> rule5))] @2: Anne is red.[(((((triple3) -> rule7)) -> rule3))] @3: Anne is round.[(((((((triple3) -> rule7)) -> rule3)) -> rule5))]