Erin is furry. Erin is green. Erin is nice. Fiona is furry. Fiona is white. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. If something is quiet then it is red. Nice things are red. Quiet, white things are kind. If something is white then it is nice. If something is green and quiet then it is nice. If something is nice and green then it is furry.
Erin is not green.
@0: Erin is furry.[(triple1 OR ((triple3 triple2) -> rule6))] Erin is green.[(triple2)] Erin is nice.[(triple3)] Fiona is furry.[(triple4)] Fiona is white.[(triple5)] Gary is furry.[(triple6 OR ((triple9 triple7) -> rule6) OR ((((triple12) -> rule4) triple7) -> rule6) OR ((((triple7 triple10) -> rule5) triple7) -> rule6))] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple10 triple12) -> rule3))] Gary is nice.[(triple9 OR ((triple12) -> rule4) OR ((triple7 triple10) -> rule5))] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple10) -> rule1) OR ((triple9) -> rule2) OR ((((triple12) -> rule4)) -> rule2) OR ((((triple7 triple10) -> rule5)) -> rule2))] Gary is white.[(triple12)] @1: Erin is red.[(((triple3) -> rule2))] Fiona is nice.[(((triple5) -> rule4))] @2: Fiona is red.[(((((triple5) -> rule4)) -> rule2))]