Anne is furry. Anne is kind. Anne is quiet. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is young. Gary is big. Gary is furry. Gary is young. Harry is furry. Harry is quiet. Harry is red. Big, quiet people are kind. If someone is red and furry then they are quiet. If someone is kind then they are furry. All quiet people are kind. Red people are kind. If Harry is kind and Harry is blue then Harry is furry.
Erin is blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Anne is kind.[(triple2 OR ((triple3) -> rule4))] Anne is quiet.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple7) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple4 triple8) -> rule1)) -> rule3))] Erin is kind.[(triple7 OR ((triple8) -> rule4) OR ((triple9) -> rule5) OR ((triple4 triple8) -> rule1) OR ((((triple9 triple6) -> rule2)) -> rule4) OR ((triple4 ((triple9 triple6) -> rule2)) -> rule1))] Erin is quiet.[(triple8 OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple7) -> rule3)) -> rule2) OR ((triple9 ((((triple9) -> rule5)) -> rule3)) -> rule2))] Erin is red.[(triple9)] Erin is young.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is young.[(triple13)] Harry is furry.[(triple14 OR ((((triple15) -> rule4)) -> rule3) OR ((((triple16) -> rule5)) -> rule3))] Harry is quiet.[(triple15 OR ((triple16 triple14) -> rule2) OR ((triple16 ((((triple16) -> rule5)) -> rule3)) -> rule2))] Harry is red.[(triple16)] @1: Harry is kind.[(((triple15) -> rule4) OR ((triple16) -> rule5) OR ((((triple16 triple14) -> rule2)) -> rule4))]