Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Dave is quiet. Dave is red. Dave is rough. All red, quiet things are young.
Dave is red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4 triple3) -> rule1))] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] @1: Dave is young.[(((triple9 triple8) -> rule1))]