Bob is young. Charlie is green. Dave is blue. Erin is big. All young things are white. If something is blue then it is white. If something is big and red then it is green. If something is white then it is green. If Dave is green and Dave is not blue then Dave is not red. If something is cold and not white then it is red. If something is blue and not big then it is not red. If something is young and red then it is cold.
Bob is not young.
@0: Bob is young.[(triple1)] Charlie is green.[(triple2)] Dave is blue.[(triple3)] Erin is big.[(triple4)] @1: Bob is white.[(((triple1) -> rule1))] Dave is white.[(((triple3) -> rule2))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule4))] Dave is green.[(((((triple3) -> rule2)) -> rule4))]