Anne is blue. Anne is cold. Bob is blue. Bob is not cold. Bob is red. Bob is round. Bob is young. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. If someone is red and furry then they are blue. If Anne is young then Anne is not red. If someone is cold and round then they are not quiet. If someone is cold and not furry then they are round. If someone is quiet and not young then they are not cold. If someone is round and not blue then they are cold.
Charlie is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is blue.[(triple3)] Bob is not cold.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is quiet.[(triple10)] Charlie is red.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is round.[(triple15)] @1: Fiona is not quiet.[(((triple13 triple15) -> rule3))]