Anne is white. Bob is cold. Erin is white. Gary is cold. If Bob is cold then Bob is white. White people are smart. Quiet people are kind. Quiet, white people are kind. If Bob is smart then Bob is not big. If someone is big and not quiet then they are red.
Erin is smart.
@0: Anne is white.[(triple1)] Bob is cold.[(triple2)] Erin is white.[(triple3)] Gary is cold.[(triple4)] @1: Anne is smart.[(((triple1) -> rule2))] Bob is white.[(((triple2) -> rule1))] Erin is smart.[(((triple3) -> rule2))] @2: Bob is smart.[(((((triple2) -> rule1)) -> rule2))] @3: Bob is not big.[(((((((triple2) -> rule1)) -> rule2)) -> rule5))]