Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is young. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is young. All quiet things are big.
Dave is nice.
@0: Bob is big.[(triple1 OR ((triple5) -> rule1))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8 OR ((triple12) -> rule1))] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is nice.[(triple11)] Dave is quiet.[(triple12)] Dave is red.[(triple13)] Dave is young.[(triple14)]