Charlie is green. Charlie is not kind. Charlie is quiet. Charlie is round. Fiona is not blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is round. Fiona is young. If Fiona is round and Fiona is kind then Fiona is quiet. If Fiona is not kind then Fiona is quiet. If someone is kind then they are young. Young, blue people are round. If Fiona is blue then Fiona is young. If Charlie is not round then Charlie is green.
Charlie is cold.
@0: Charlie is green.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is not blue.[(triple5)] Fiona is round.[(triple9)] Fiona is young.[(triple10 OR ((triple8) -> rule3))] @1: Fiona is quiet.[(((triple9 triple8) -> rule1))]