Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is not young. Dave is cold. Dave is kind. Dave is red. Dave is young. Gary is not big. Gary is cold. Gary is furry. If Gary is not young then Gary is big. Big things are red. Young, rough things are big. If Gary is not red then Gary is kind. If something is big and not kind then it is not furry. If Gary is rough and Gary is not kind then Gary is cold. All kind, furry things are cold. If something is furry and young then it is not cold.
Anne is not kind.
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule7))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not young.[(triple5)] Anne is rough.[(triple4)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Dave is young.[(triple9)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is not big.[(triple10)]