Dave is blue. Dave is cold. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is smart. If something is round then it is blue. If Dave is not nice then Dave is not smart. Blue, nice things are cold.
Dave is not green.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple3 triple6) -> rule3))] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)]