Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is white. Dave is young. If Dave is red and Dave is kind then Dave is young. If something is quiet then it is smart.
Dave is big.
@0: Charlie is quiet.[(triple1)] Charlie is smart.[(triple2 OR ((triple1) -> rule2))] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8 OR ((triple6) -> rule2))] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple7 triple5) -> rule1))]