Dave is quiet. Dave is smart. Fiona is big. Fiona is rough. Gary is big. Gary is red. Gary is smart. If something is rough and big then it is quiet.
Gary is not quiet.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Fiona is big.[(triple3)] Fiona is rough.[(triple4)] Gary is big.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is quiet.[(((triple4 triple3) -> rule1))]