Anne is green. Anne is rough. Bob is blue. Bob is cold. Bob is green. Bob is white. Erin is blue. Erin is furry. Erin is green. Harry is blue. Harry is green. Harry is white. If someone is green then they are cold.
Anne is not white.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4 OR ((triple5) -> rule1))] Bob is green.[(triple5)] Bob is white.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)] @1: Anne is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple9) -> rule1))] Harry is cold.[(((triple11) -> rule1))]