Fiona is not nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Gary is big. Gary is furry. Gary is nice. Gary is not quiet. Gary is red. All rough people are not furry. If someone is big and not red then they are not white.
Gary is nice.
@0: Fiona is not nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not quiet.[(triple9)] Gary is red.[(triple10)] @1: Fiona is not furry.[(((triple4) -> rule1))]