Dave is not big. Dave is blue. Dave is furry. Dave is nice. Dave is not smart. Dave is not white. Dave is young. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is smart. Gary is white. Gary is young. If Gary is nice and Gary is not young then Gary is not smart. If someone is furry and not young then they are white. If Gary is big then Gary is blue. If Gary is nice then Gary is white. All young people are blue. If someone is big and not white then they are smart.
Gary is not blue.
@0: Dave is blue.[(triple2 OR ((triple7) -> rule5))] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Dave is not smart.[(triple5)] Dave is not white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple14) -> rule5) OR ((triple8) -> rule3))] Gary is furry.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13 OR ((triple11) -> rule4))] Gary is young.[(triple14)]