Anne is cold. Anne is young. Dave is not cold. Dave is furry. Dave is quiet. Dave is rough. Erin is quiet. Erin is not young. Gary is not quiet. Gary is young. Furry, nice people are not rough. If someone is young and rough then they are nice. If someone is furry then they are big. If someone is young and not cold then they are big. If someone is furry and not young then they are big. Nice, big people are furry.
Dave is not furry.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Dave is furry.[(triple4)] Dave is not cold.[(triple3)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Erin is not young.[(triple8)] Erin is quiet.[(triple7)] Gary is not quiet.[(triple9)] Gary is young.[(triple10)] @1: Dave is big.[(((triple4) -> rule3))]