Anne is not furry. Anne is not nice. Anne is round. Anne is white. Charlie is not furry. Charlie is not nice. Charlie is red. Charlie is round. Dave is nice. Dave is not red. Dave is round. Dave is young. Gary is red. Gary is smart. Gary is white. Red, white people are young. All nice people are furry.
Anne is not young.
@0: Anne is not furry.[(triple1)] Anne is not nice.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is not furry.[(triple5)] Charlie is not nice.[(triple6)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Dave is nice.[(triple9)] Dave is not red.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Dave is furry.[(((triple9) -> rule2))] Gary is young.[(((triple13 triple15) -> rule1))]