Dave is green. Erin is young. If Dave is cold then Dave is green. If someone is young then they are smart. If someone is young and cold then they are kind. If Dave is smart then Dave is cold. If Dave is green then Dave is smart. If Erin is smart and Erin is cold then Erin is big. If Dave is cold then Dave is big. If Erin is big and Erin is kind then Erin is young.
Dave is big.
@0: Dave is green.[(triple1)] Erin is young.[(triple2)] @1: Dave is smart.[(((triple1) -> rule5))] Erin is smart.[(((triple2) -> rule2))] @2: Dave is cold.[(((((triple1) -> rule5)) -> rule4))] @3: Dave is big.[(((((((triple1) -> rule5)) -> rule4)) -> rule7))]