Dave is cold. Dave is green. Erin is furry. If Erin is green then Erin is cold. White people are furry. Green people are cold.
Erin is not furry.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule3))] Dave is green.[(triple2)] Erin is furry.[(triple3)]