Charlie is green. Charlie is nice. Charlie is rough. Charlie is young. Dave is not rough. Dave is white. Fiona is not green. All young people are not white. If someone is rough and green then they are young. If someone is white and not young then they are not furry.
Dave is not young.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4 OR ((triple3 triple1) -> rule2))] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Fiona is not green.[(triple7)] @1: Charlie is not white.[(((triple4) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))]