Anne is young. Bob is cold. Erin is rough. Fiona is white. Young people are cold. If someone is rough then they are cold. All cold people are not furry.
Anne is cold.
@0: Anne is young.[(triple1)] Bob is cold.[(triple2)] Erin is rough.[(triple3)] Fiona is white.[(triple4)] @1: Anne is cold.[(((triple1) -> rule1))] Bob is not furry.[(((triple2) -> rule3))] Erin is cold.[(((triple3) -> rule2))] @2: Anne is not furry.[(((((triple1) -> rule1)) -> rule3))] Erin is not furry.[(((((triple3) -> rule2)) -> rule3))]