Dave is not furry. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is furry. Erin is not smart. Gary is not furry. Gary is green. Gary is not red. Gary is not round. Gary is smart. Gary is white. Gary is young. If Erin is not round then Erin is not young. Smart things are green. If something is white and furry then it is green. If something is smart and furry then it is green. All furry things are young. If Dave is not green then Dave is young.
Dave is not round.
@0: Dave is not furry.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Erin is furry.[(triple7)] Erin is not smart.[(triple8)] Gary is green.[(triple10 OR ((triple13) -> rule2))] Gary is not furry.[(triple9)] Gary is not red.[(triple11)] Gary is not round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Dave is green.[(((triple4) -> rule2))] Erin is young.[(((triple7) -> rule5))]