Anne is cold. Anne is green. Anne is red. Anne is smart. Anne is young. Dave is cold. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. If someone is cold and white then they are green. All red, green people are cold.
Anne is not rough.
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule2))] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple6 OR ((triple8 triple7) -> rule2))] Dave is green.[(triple7 OR ((triple6 triple11) -> rule1))] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)]