Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is quiet. Bob is red. Bob is rough. Bob is young. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is young. If Bob is kind and Bob is red then Bob is young. If someone is rough and not furry then they are not cold. If Dave is kind and Dave is furry then Dave is not cold.
Anne is cold.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is quiet.[(triple6)] Bob is red.[(triple7)] Bob is rough.[(triple8)] Bob is young.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is quiet.[(triple12)] Dave is red.[(triple13)] Dave is rough.[(triple14)] Dave is young.[(triple15)] @1: Dave is not cold.[(((triple11 triple10) -> rule3))]