Charlie is quiet. Fiona is nice. Gary is not quiet. Kind people are not white. If someone is rough then they are white. Nice people are kind. If Fiona is quiet then Fiona is rough. Kind, white people are round. If someone is big and kind then they are nice.
Fiona is not round.
@0: Charlie is quiet.[(triple1)] Fiona is nice.[(triple2)] Gary is not quiet.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule3))] @2: Fiona is not white.[(((((triple2) -> rule3)) -> rule1))]