Anne is green. Charlie is rough. Fiona is red. Harry is furry. If something is green and smart then it is red. Red things are green. If Harry is smart and Harry is rough then Harry is red. If Charlie is furry and Charlie is rough then Charlie is green. All quiet, smart things are nice. If something is furry and rough then it is nice. Green things are smart. If something is smart and red then it is furry.
Charlie is not nice.
@0: Anne is green.[(triple1)] Charlie is rough.[(triple2)] Fiona is red.[(triple3)] Harry is furry.[(triple4)] @1: Anne is smart.[(((triple1) -> rule7))] Fiona is green.[(((triple3) -> rule2))] @2: Anne is red.[(((triple1 ((triple1) -> rule7)) -> rule1))] Fiona is smart.[(((((triple3) -> rule2)) -> rule7))] @3: Anne is furry.[(((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8))] Fiona is furry.[(((((((triple3) -> rule2)) -> rule7) triple3) -> rule8))]