Anne is blue. Charlie is rough. Charlie is young. Dave is kind. Dave is rough. Fiona is not kind. Fiona is nice. If something is big then it is red. All rough, young things are not big.
Fiona is not red.
@0: Anne is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Fiona is nice.[(triple7)] Fiona is not kind.[(triple6)] @1: Charlie is not big.[(((triple2 triple3) -> rule2))]