Anne is blue. Anne is furry. Anne is red. Charlie is white. Gary is nice. Gary is rough. Harry is nice. Kind, white people are furry. All blue people are furry. Red people are blue. If someone is kind then they are furry. If Harry is nice and Harry is rough then Harry is red. White, rough people are kind. Blue, red people are white. Nice people are rough. If someone is kind and furry then they are rough.
Harry is furry.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule3))] Anne is furry.[(triple2 OR ((triple1) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Anne is red.[(triple3)] Charlie is white.[(triple4)] Gary is nice.[(triple5)] Gary is rough.[(triple6 OR ((triple5) -> rule8))] Harry is nice.[(triple7)] @1: Anne is white.[(((triple1 triple3) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule7))] Harry is rough.[(((triple7) -> rule8))] @2: Harry is red.[(((triple7 ((triple7) -> rule8)) -> rule5))] @3: Harry is blue.[(((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3))] @4: Harry is furry.[(((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple7 ((triple7) -> rule8)) -> rule5)) -> rule7) ((triple7) -> rule8)) -> rule6)) -> rule4) OR ((((((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple7 ((triple7) -> rule8)) -> rule5)) -> rule7) ((triple7) -> rule8)) -> rule6) ((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple7 ((triple7) -> rule8)) -> rule5)) -> rule7)) -> rule1))] Harry is white.[(((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple7 ((triple7) -> rule8)) -> rule5)) -> rule7))] @5: Harry is kind.[(((((((((triple7 ((triple7) -> rule8)) -> rule5)) -> rule3) ((triple7 ((triple7) -> rule8)) -> rule5)) -> rule7) ((triple7) -> rule8)) -> rule6))]