Dave is green. Fiona is not kind. Gary is not big. Rough people are nice. Green people are not nice. If Gary is big and Gary is cold then Gary is nice. White people are green. If Dave is cold and Dave is nice then Dave is green. If someone is nice then they are white. Kind, green people are not rough. All rough, nice people are kind.
Fiona is big.
@0: Dave is green.[(triple1)] Fiona is not kind.[(triple2)] Gary is not big.[(triple3)] @1: Dave is not nice.[(((triple1) -> rule2))]