Anne is red. Bob is blue. Dave is furry. Erin is cold. If Dave is cold and Dave is red then Dave is big. Big, blue people are cold. Big, furry people are blue. If Anne is smart then Anne is young. If someone is cold then they are blue. Blue, young people are smart. If Bob is young then Bob is smart. Furry people are big.
Dave is not cold.
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] @1: Dave is big.[(((triple3) -> rule8))] Erin is blue.[(((triple4) -> rule5))] @2: Dave is blue.[(((((triple3) -> rule8) triple3) -> rule3))] @3: Dave is cold.[(((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule3)) -> rule2))]