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