Charlie is nice. Dave is green. Fiona is not nice. Gary is big. Gary is not green. Gary is not nice. Gary is rough. All green people are rough. If someone is kind and red then they are not rough. If someone is nice and not rough then they are big.
Gary is nice.
@0: Charlie is nice.[(triple1)] Dave is green.[(triple2)] Fiona is not nice.[(triple3)] Gary is big.[(triple4)] Gary is not green.[(triple5)] Gary is not nice.[(triple6)] Gary is rough.[(triple7)] @1: Dave is rough.[(((triple2) -> rule1))]