Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is young. All blue things are green. If Charlie is green then Charlie is round. Round things are rough.
Charlie is rough.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple1) -> rule1))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5 OR ((triple6) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule2)) -> rule3))] Charlie is round.[(triple6 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is young.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9 OR ((triple8) -> rule1))] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is rough.[(triple12 OR ((triple13) -> rule3))] Dave is round.[(triple13)] Dave is young.[(triple14)]