Dave is furry. Dave is not red. Dave is white. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is smart. Gary is white. All red things are green. All round things are red. If something is green and not furry then it is not red.
Dave is not white.
@0: Dave is furry.[(triple1)] Dave is not red.[(triple2)] Dave is white.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5 OR ((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Gary is kind.[(triple6)] Gary is red.[(triple7 OR ((triple8) -> rule2))] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)]