Charlie is furry. Charlie is white. Dave is rough. Dave is round. Dave is young. Fiona is furry. Fiona is young. All rough people are white. Rough, blue people are big. Young people are round.
Charlie is young.
@0: Charlie is furry.[(triple1)] Charlie is white.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4 OR ((triple5) -> rule3))] Dave is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Dave is white.[(((triple3) -> rule1))] Fiona is round.[(((triple7) -> rule3))]