Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is not kind. Charlie is round. Dave is not cold. Dave is furry. Dave is round. Dave is not white. Fiona is not furry. Fiona is kind. Fiona is white. Gary is blue. Gary is cold. Gary is kind. Gary is not smart. All cold, kind things are not smart. If something is smart and blue then it is cold. If something is kind then it is round. If something is cold and smart then it is not round. If Charlie is round and Charlie is furry then Charlie is not kind. If Gary is blue then Gary is kind.
Fiona is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is round.[(triple5)] Dave is furry.[(triple7)] Dave is not cold.[(triple6)] Dave is not white.[(triple9)] Dave is round.[(triple8)] Fiona is kind.[(triple11)] Fiona is not furry.[(triple10)] Fiona is white.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is kind.[(triple15 OR ((triple13) -> rule6))] Gary is not smart.[(triple16 OR ((triple14 triple15) -> rule1) OR ((triple14 ((triple13) -> rule6)) -> rule1))] @1: Fiona is round.[(((triple11) -> rule3))] Gary is round.[(((triple15) -> rule3) OR ((((triple13) -> rule6)) -> rule3))]