Anne is nice. Erin is furry. Erin is kind. Erin is quiet. Erin is white. Gary is nice. Gary is rough. Harry is furry. Harry is kind. Harry is quiet. Red, nice things are kind. Kind things are red.
Anne is not kind.
@0: Anne is nice.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is red.[(((triple3) -> rule2))] Harry is red.[(((triple9) -> rule2))]