Anne is blue. Anne is green. Anne is kind. Anne is quiet. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Gary is furry. Gary is not green. Gary is kind. Gary is nice. Gary is quiet. Gary is round. If Gary is quiet and Gary is nice then Gary is blue. Furry people are quiet. If someone is green then they are quiet. If someone is blue then they are furry. If someone is furry and not nice then they are not blue. If Erin is round then Erin is blue. If Erin is green then Erin is kind. If someone is green then they are not round.
Erin is nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule3) OR ((((triple1) -> rule4)) -> rule2))] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple5) -> rule4))] Erin is green.[(triple7)] Erin is kind.[(triple8 OR ((triple7) -> rule7))] Erin is quiet.[(triple9 OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((((triple5) -> rule4)) -> rule2))] Gary is furry.[(triple10 OR ((((triple14 triple13) -> rule1)) -> rule4))] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is not green.[(triple11)] Gary is quiet.[(triple14 OR ((triple10) -> rule2))] Gary is round.[(triple15)] @1: Anne is furry.[(((triple1) -> rule4))] Anne is not round.[(((triple2) -> rule8))] Erin is not round.[(((triple7) -> rule8))] Gary is blue.[(((triple14 triple13) -> rule1) OR ((((triple10) -> rule2) triple13) -> rule1))]