Erin is not big. Erin is not blue. Erin is furry. Erin is kind. Erin is quiet. Erin is not rough. Erin is white. Fiona is big. Fiona is not blue. Fiona is kind. Fiona is quiet. Fiona is not rough. If someone is rough then they are not quiet. If someone is furry and not blue then they are white. If someone is quiet then they are white. If Fiona is not kind and Fiona is not rough then Fiona is furry. Blue, furry people are not big. Quiet, white people are furry.
Erin is not furry.
@0: Erin is furry.[(triple3 OR ((triple5 triple7) -> rule6) OR ((triple5 ((triple5) -> rule3)) -> rule6))] Erin is kind.[(triple4)] Erin is not big.[(triple1)] Erin is not blue.[(triple2)] Erin is not rough.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7 OR ((triple5) -> rule3) OR ((triple3 triple2) -> rule2))] Fiona is big.[(triple8)] Fiona is kind.[(triple10)] Fiona is not blue.[(triple9)] Fiona is not rough.[(triple12)] Fiona is quiet.[(triple11)] @1: Fiona is white.[(((triple11) -> rule3))] @2: Fiona is furry.[(((triple11 ((triple11) -> rule3)) -> rule6))]