Erin is rough. Fiona is cold. Harry is big. All blue, big people are green. If someone is white and cold then they are big. Blue, white people are green. All nice people are blue. Rough people are green. If someone is blue then they are rough. If Harry is big and Harry is nice then Harry is white. All rough, nice people are big.
Erin is not blue.
@0: Erin is rough.[(triple1)] Fiona is cold.[(triple2)] Harry is big.[(triple3)] @1: Erin is green.[(((triple1) -> rule5))]