Anne is green. Anne is nice. Charlie is furry. Gary is kind. Gary is nice. Harry is big. Harry is round. If someone is kind then they are red. Green people are round. If someone is kind then they are green. All kind people are green. Big people are nice. All big, nice people are kind.
Harry is furry.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Charlie is furry.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Harry is big.[(triple6)] Harry is round.[(triple7 OR ((((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule4)) -> rule2))] @1: Anne is round.[(((triple1) -> rule2))] Gary is green.[(((triple4) -> rule3) OR ((triple4) -> rule4))] Gary is red.[(((triple4) -> rule1))] Harry is nice.[(((triple6) -> rule5))] @2: Gary is round.[(((((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] Harry is kind.[(((triple6 ((triple6) -> rule5)) -> rule6))] @3: Harry is green.[(((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule3) OR ((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule4))] Harry is red.[(((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule1))]