Anne is nice. Anne is round. Bob is blue. Bob is kind. Bob is nice. Erin is red. Erin is rough. If something is red then it is blue. If something is round and blue then it is furry.
Anne is not furry.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Bob is blue.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] @1: Erin is blue.[(((triple6) -> rule1))]