Dave is big. Dave is blue. Dave is not cold. Dave is not green. Dave is not young. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is smart. If someone is big and cold then they are young. Big people are furry. If someone is big and not blue then they are not cold.
Erin is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is not cold.[(triple3)] Dave is not green.[(triple4)] Dave is not young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple6) -> rule2))] Erin is smart.[(triple10)] @1: Dave is furry.[(((triple1) -> rule2))] Erin is young.[(((triple6 triple8) -> rule1))]