Anne is furry. Anne is kind. Dave is kind. Dave is white. Erin is nice. Erin is white. Gary is red. All red people are white. If someone is white then they are kind.
Anne is not kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Dave is kind.[(triple3 OR ((triple4) -> rule2))] Dave is white.[(triple4)] Erin is nice.[(triple5)] Erin is white.[(triple6)] Gary is red.[(triple7)] @1: Erin is kind.[(((triple6) -> rule2))] Gary is white.[(((triple7) -> rule1))] @2: Gary is kind.[(((((triple7) -> rule1)) -> rule2))]