Bob is cold. Dave is red. Erin is young. All smart, red people are green. If someone is red and not smart then they are not cold. All red people are young. All green people are not young. All young people are white. If someone is green and not smart then they are red. If Bob is quiet then Bob is not green. If Dave is not young then Dave is white.
Erin is not red.
@0: Bob is cold.[(triple1)] Dave is red.[(triple2)] Erin is young.[(triple3)] @1: Dave is young.[(((triple2) -> rule3))] Erin is white.[(((triple3) -> rule5))] @2: Dave is white.[(((((triple2) -> rule3)) -> rule5))]