Fiona is kind. Gary is blue. Harry is round. If someone is kind and not white then they are round. All kind, rough people are big. All round people are blue. If someone is white and not big then they are blue. If someone is nice and not round then they are not blue. If someone is blue then they are not nice. If someone is big and not round then they are nice. All big, white people are nice.
Gary is not nice.
@0: Fiona is kind.[(triple1)] Gary is blue.[(triple2)] Harry is round.[(triple3)] @1: Gary is not nice.[(((triple2) -> rule6))] Harry is blue.[(((triple3) -> rule3))] @2: Harry is not nice.[(((((triple3) -> rule3)) -> rule6))]