Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is round. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Gary is big. Gary is green. Gary is quiet. Gary is round. If something is furry then it is nice.
Gary is not nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple2) -> rule1))] Bob is round.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple7) -> rule1))] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] Gary is round.[(triple16)]