Dave is big. Dave is cold. Dave is young. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is young. Harry is blue. If Harry is round then Harry is young. If Harry is round and Harry is big then Harry is nice. All cold, big things are green.
Erin is not green.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7 OR ((triple6 triple4) -> rule3))] Erin is nice.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10)] @1: Dave is green.[(((triple2 triple1) -> rule3))]