Anne is green. Anne is not kind. Dave is green. Dave is kind. Dave is red. Harry is not nice. Harry is red. If someone is red then they are big. All round people are big. If Dave is big then Dave is green. If Harry is kind and Harry is round then Harry is not green. If someone is kind and not furry then they are round. Green people are round. If someone is round then they are nice. If someone is big then they are red.
Harry is furry.
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Dave is green.[(triple3 OR ((((triple5) -> rule1)) -> rule3))] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((((((triple3) -> rule6)) -> rule2)) -> rule8))] Harry is not nice.[(triple6)] Harry is red.[(triple7)] @1: Anne is round.[(((triple1) -> rule6))] Dave is big.[(((triple5) -> rule1) OR ((((triple3) -> rule6)) -> rule2))] Dave is round.[(((triple3) -> rule6) OR ((((((triple5) -> rule1)) -> rule3)) -> rule6))] Harry is big.[(((triple7) -> rule1))] @2: Anne is big.[(((((triple1) -> rule6)) -> rule2))] Anne is nice.[(((((triple1) -> rule6)) -> rule7))] Dave is nice.[(((((triple3) -> rule6)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule3)) -> rule6)) -> rule7))] @3: Anne is red.[(((((((triple1) -> rule6)) -> rule2)) -> rule8))]