Anne is nice. Dave is rough. Dave is smart. Fiona is red. Fiona is young. Gary is big. Gary is red. If someone is nice and red then they are big. If someone is nice then they are not smart.
Fiona is not young.
@0: Anne is nice.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3)] Fiona is red.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is red.[(triple7)] @1: Anne is not smart.[(((triple1) -> rule2))]