Anne is green. Anne is nice. Anne is red. Anne is smart. Bob is red. Bob is smart. Bob is white. Red people are furry. Nice people are big.
Anne is not red.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] @1: Anne is big.[(((triple2) -> rule2))] Anne is furry.[(((triple3) -> rule1))] Bob is furry.[(((triple5) -> rule1))]