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