Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is white. Gary is kind. Gary is nice. Gary is white. Harry is furry. Harry is nice. If someone is white and smart then they are kind. Red, smart people are nice. Furry people are kind. Red, nice people are big. Furry, kind people are nice. All smart, nice people are furry.
Gary is not white.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule3))] Anne is nice.[(triple3 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule5))] Anne is red.[(triple4)] Anne is white.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10 OR ((triple9 ((triple9) -> rule3)) -> rule5))] @1: Anne is big.[(((triple4 triple3) -> rule4) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule4) OR ((triple4 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4))] Harry is kind.[(((triple9) -> rule3))]