Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Dave is blue. Dave is cold. Dave is rough. Erin is cold. Erin is green. Erin is nice. Erin is rough. If something is green then it is quiet.
Dave is not quiet.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple2) -> rule1))] Bob is rough.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is rough.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is rough.[(triple12)] @1: Erin is quiet.[(((triple10) -> rule1))]