Anne is not big. Anne is white. Anne is young. Bob is nice. Bob is not red. Bob is young. Dave is cold. Dave is red. Dave is young. Gary is red. If someone is big and not cold then they are young. If Bob is white then Bob is not nice. All white people are not red.
Gary is not young.
@0: Anne is not big.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is not red.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is red.[(triple8)] Dave is young.[(triple9)] Gary is red.[(triple10)] @1: Anne is not red.[(((triple2) -> rule3))]