Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is white. Dave is young. Rough things are young. If something is red and furry then it is white. All white, young things are rough.
Dave is red.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple6 triple7) -> rule3) OR ((((triple4 triple1) -> rule2) triple7) -> rule3))] Charlie is white.[(triple6 OR ((triple4 triple1) -> rule2))] Charlie is young.[(triple7 OR ((triple5) -> rule1))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple13 triple14) -> rule3) OR ((((triple11 triple8) -> rule2) triple14) -> rule3))] Dave is white.[(triple13 OR ((triple11 triple8) -> rule2))] Dave is young.[(triple14 OR ((triple12) -> rule1))]