Fiona is big. Gary is blue. Gary is red. All red, kind people are round. White, big people are rough. If someone is blue then they are kind. If Gary is red and Gary is kind then Gary is round. If someone is red then they are round. All kind people are rough.
Gary is not blue.
@0: Fiona is big.[(triple1)] Gary is blue.[(triple2)] Gary is red.[(triple3)] @1: Gary is kind.[(((triple2) -> rule3))] Gary is round.[(((triple3) -> rule5) OR ((triple3 ((triple2) -> rule3)) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule4))] @2: Gary is rough.[(((((triple2) -> rule3)) -> rule6))]