Erin is green. Fiona is rough. Fiona is smart. If something is smart and green then it is round. All green things are round. If something is white and not furry then it is kind. If Fiona is smart then Fiona is green. All kind, rough things are not smart. If something is furry then it is not smart. If something is furry and not rough then it is white. Green, round things are not white.
Fiona is smart.
@0: Erin is green.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is round.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule4))] @2: Erin is not white.[(((triple1 ((triple1) -> rule2)) -> rule8))] Fiona is round.[(((((triple3) -> rule4)) -> rule2) OR ((triple3 ((triple3) -> rule4)) -> rule1))] @3: Fiona is not white.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule8) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule1)) -> rule8))]