Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Dave is young. Gary is not blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is white. Gary is young. Blue people are kind. If someone is young then they are white.
Gary is not quiet.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple1) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6 OR ((triple7) -> rule2))] Dave is young.[(triple7)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is not blue.[(triple8)] Gary is quiet.[(triple12)] Gary is white.[(triple13 OR ((triple14) -> rule2))] Gary is young.[(triple14)]