Erin is furry. Erin is not kind. Erin is red. Erin is white. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is red. Fiona is smart. Gary is not blue. Gary is furry. Gary is not green. Gary is kind. Gary is red. Gary is not smart. Gary is not white. All green things are blue. If something is white then it is red. Green things are red. Green, blue things are furry. If Gary is smart then Gary is white. If something is green and not kind then it is smart. If Gary is smart and Gary is green then Gary is not furry. If Erin is blue and Erin is not smart then Erin is not furry.
Erin is green.
@0: Erin is furry.[(triple1)] Erin is not kind.[(triple2)] Erin is red.[(triple3 OR ((triple4) -> rule2))] Erin is white.[(triple4)] Fiona is furry.[(triple5 OR ((triple6 ((triple6) -> rule1)) -> rule4))] Fiona is green.[(triple6)] Fiona is not kind.[(triple7)] Fiona is red.[(triple8 OR ((triple6) -> rule3))] Fiona is smart.[(triple9 OR ((triple6 triple7) -> rule6))] Gary is furry.[(triple11)] Gary is kind.[(triple13)] Gary is not blue.[(triple10)] Gary is not green.[(triple12)] Gary is not smart.[(triple15)] Gary is not white.[(triple16)] Gary is red.[(triple14)] @1: Fiona is blue.[(((triple6) -> rule1))]