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