Anne is blue. Anne is cold. Anne is red. Anne is rough. Anne is round. Anne is young. Bob is blue. Bob is cold. Bob is nice. Bob is round. Bob is young. Erin is blue. Erin is cold. Erin is nice. Erin is young. If someone is round and cold then they are red.
Erin is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3 OR ((triple5 triple2) -> rule1))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is nice.[(triple9)] Bob is round.[(triple10)] Bob is young.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13)] Erin is nice.[(triple14)] Erin is young.[(triple15)] @1: Bob is red.[(((triple10 triple8) -> rule1))]