Anne is furry. Dave is furry. Erin is young. Gary is nice. Cold people are kind. If Anne is furry then Anne is young. If someone is white then they are furry. White, nice people are not furry. All young people are white. If someone is big and not kind then they are nice. If someone is cold and big then they are nice. If someone is white and young then they are not nice.
Erin is white.
@0: Anne is furry.[(triple1)] Dave is furry.[(triple2)] Erin is young.[(triple3)] Gary is nice.[(triple4)] @1: Anne is young.[(((triple1) -> rule2))] Erin is white.[(((triple3) -> rule5))] @2: Anne is white.[(((((triple1) -> rule2)) -> rule5))] Erin is furry.[(((((triple3) -> rule5)) -> rule3))] Erin is not nice.[(((((triple3) -> rule5) triple3) -> rule8))] @3: Anne is not nice.[(((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule8))]