Anne is not furry. Anne is white. Charlie is furry. Charlie is smart. Erin is nice. Erin is red. Fiona is smart. If something is white and smart then it is not nice. All rough things are red. All kind, red things are white. All smart things are white. If something is nice then it is rough. If something is smart then it is rough. If something is red then it is furry. If Charlie is kind and Charlie is furry then Charlie is smart.
Erin is not smart.
@0: Anne is not furry.[(triple1)] Anne is white.[(triple2)] Charlie is furry.[(triple3 OR ((((((triple4) -> rule6)) -> rule2)) -> rule7))] Charlie is smart.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6 OR ((((triple5) -> rule5)) -> rule2))] Fiona is smart.[(triple7)] @1: Charlie is rough.[(((triple4) -> rule6))] Charlie is white.[(((triple4) -> rule4))] Erin is furry.[(((triple6) -> rule7) OR ((((((triple5) -> rule5)) -> rule2)) -> rule7))] Erin is rough.[(((triple5) -> rule5))] Fiona is rough.[(((triple7) -> rule6))] Fiona is white.[(((triple7) -> rule4))] @2: Charlie is not nice.[(((((triple4) -> rule4) triple4) -> rule1))] Charlie is red.[(((((triple4) -> rule6)) -> rule2))] Fiona is not nice.[(((((triple7) -> rule4) triple7) -> rule1))] Fiona is red.[(((((triple7) -> rule6)) -> rule2))] @3: Fiona is furry.[(((((((triple7) -> rule6)) -> rule2)) -> rule7))]