Dave is cold. Dave is rough. Erin is blue. Erin is cold. Erin is furry. Erin is rough. Erin is round. If Dave is rough then Dave is cold. All blue people are smart.
Dave is not smart.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1))] Dave is rough.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] @1: Erin is smart.[(((triple3) -> rule2))]