Anne is nice. Bob is quiet. Erin is not white. White people are blue. If someone is quiet then they are white.
Erin is white.
@0: Anne is nice.[(triple1)] Bob is quiet.[(triple2)] Erin is not white.[(triple3)] @1: Bob is white.[(((triple2) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule1))]