Anne is blue. Anne is kind. Anne is quiet. Charlie is blue. Charlie is kind. Charlie is not quiet. Fiona is cold. Fiona is quiet. Gary is big. Gary is cold. If someone is big and not kind then they are rough. Smart people are not cold. If someone is big then they are quiet. Kind, big people are not quiet. If Anne is big and Anne is not kind then Anne is smart. If Charlie is not kind then Charlie is quiet.
Fiona is blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is not quiet.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Gary is big.[(triple9)] Gary is cold.[(triple10)] @1: Gary is quiet.[(((triple9) -> rule3))]