Charlie is not cold. Charlie is furry. Charlie is green. Charlie is red. Dave is cold. Dave is quiet. Dave is white. Fiona is not cold. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is white. If something is cold and furry then it is green. All smart, red things are green. All red, smart things are not furry. If something is green then it is not cold. If something is cold and quiet then it is white. If Dave is green then Dave is white.
Charlie is furry.
@0: Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not cold.[(triple1 OR ((triple3) -> rule4))] Charlie is red.[(triple4)] Dave is cold.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7 OR ((triple5 triple6) -> rule5))] Fiona is not cold.[(triple8)] Fiona is not furry.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple12)]