Anne is round. Charlie is rough. Fiona is smart. Kind, smart things are round. If something is furry then it is smart. All rough things are white. All rough, furry things are kind. If Charlie is rough and Charlie is nice then Charlie is furry. If Anne is kind then Anne is not furry. If something is white then it is furry. If Anne is round then Anne is not nice.
Fiona is nice.
@0: Anne is round.[(triple1)] Charlie is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Anne is not nice.[(((triple1) -> rule8))] Charlie is white.[(((triple2) -> rule3))] @2: Charlie is furry.[(((((triple2) -> rule3)) -> rule7))] @3: Charlie is kind.[(((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule4))] Charlie is smart.[(((((((triple2) -> rule3)) -> rule7)) -> rule2))] @4: Charlie is round.[(((((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule3)) -> rule7)) -> rule2)) -> rule1))]