Charlie is kind. Dave is furry. Dave is green. Dave is kind. Dave is white. Erin is furry. Erin is green. Erin is red. Erin is smart. Erin is white. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. If someone is red then they are furry. Smart people are kind. If someone is green and kind then they are red. Red people are rough. If someone is smart then they are rough. Furry, red people are green.
Fiona is not red.
@0: Charlie is kind.[(triple1)] Dave is furry.[(triple2 OR ((((triple3 triple4) -> rule3)) -> rule1))] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is white.[(triple5)] Erin is furry.[(triple6 OR ((triple8) -> rule1) OR ((((triple7 ((triple9) -> rule2)) -> rule3)) -> rule1))] Erin is green.[(triple7 OR ((triple6 triple8) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6))] Erin is red.[(triple8 OR ((triple7 ((triple9) -> rule2)) -> rule3))] Erin is smart.[(triple9)] Erin is white.[(triple10)] Fiona is furry.[(triple11 OR ((((triple12 triple13) -> rule3)) -> rule1) OR ((((triple12 ((triple14) -> rule2)) -> rule3)) -> rule1))] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple14) -> rule2))] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Dave is red.[(((triple3 triple4) -> rule3))] Erin is kind.[(((triple9) -> rule2))] Erin is rough.[(((triple8) -> rule4) OR ((triple9) -> rule5) OR ((((triple7 ((triple9) -> rule2)) -> rule3)) -> rule4))] Fiona is red.[(((triple12 triple13) -> rule3) OR ((triple12 ((triple14) -> rule2)) -> rule3))] Fiona is rough.[(((triple14) -> rule5) OR ((((triple12 triple13) -> rule3)) -> rule4) OR ((((triple12 ((triple14) -> rule2)) -> rule3)) -> rule4))] @2: Dave is rough.[(((((triple3 triple4) -> rule3)) -> rule4))]