Charlie is kind. Erin is white. Kind things are green. If Charlie is green and Charlie is kind then Charlie is quiet. Green, rough things are nice. Nice, quiet things are kind. Kind, quiet things are nice. Green things are rough. If something is nice and rough then it is kind. All nice, kind things are furry.
Erin is not quiet.
@0: Charlie is kind.[(triple1)] Erin is white.[(triple2)] @1: Charlie is green.[(((triple1) -> rule1))] @2: Charlie is quiet.[(((((triple1) -> rule1) triple1) -> rule2))] Charlie is rough.[(((((triple1) -> rule1)) -> rule6))] @3: Charlie is nice.[(((triple1 ((((triple1) -> rule1) triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule3))] @4: Charlie is furry.[(((((triple1 ((((triple1) -> rule1) triple1) -> rule2)) -> rule5) triple1) -> rule8) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule3) triple1) -> rule8))]