Bob is kind. Bob is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Dave is blue. Dave is quiet. All big people are young.
Dave is not young.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple3) -> rule1))] Dave is blue.[(triple9)] Dave is quiet.[(triple10)]