Dave is rough. Erin is red. Erin is young. Red people are blue. If someone is blue then they are white. All rough people are red. Round, blue people are young. If someone is round and not red then they are big. If someone is red and not blue then they are round.
Erin is white.
@0: Dave is rough.[(triple1)] Erin is red.[(triple2)] Erin is young.[(triple3)] @1: Dave is red.[(((triple1) -> rule3))] Erin is blue.[(((triple2) -> rule1))] @2: Dave is blue.[(((((triple1) -> rule3)) -> rule1))] Erin is white.[(((((triple2) -> rule1)) -> rule2))] @3: Dave is white.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]