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