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