Bob is kind. Bob is quiet. Erin is green. Erin is nice. Erin is quiet. Erin is red. Harry is quiet. Green, nice things are furry. If something is kind and nice then it is rough. All furry, green things are kind.
Erin is not kind.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is furry.[(((triple3 triple4) -> rule1))] @2: Erin is kind.[(((((triple3 triple4) -> rule1) triple3) -> rule3))] @3: Erin is rough.[(((((((triple3 triple4) -> rule1) triple3) -> rule3) triple4) -> rule2))]