Anne is cold. Anne is green. Anne is not quiet. Anne is red. Anne is not round. Charlie is furry. Charlie is not green. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is smart. Dave is cold. Dave is furry. Dave is not green. Dave is red. Dave is round. All smart people are furry. All smart people are not green. If someone is smart and green then they are round. Red, round people are quiet. If Anne is not furry then Anne is green. If Charlie is round and Charlie is not smart then Charlie is quiet.
Anne is not furry.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] Anne is not round.[(triple5)] Anne is red.[(triple4)] Charlie is furry.[(triple6 OR ((triple11) -> rule1))] Charlie is not green.[(triple7 OR ((triple11) -> rule2))] Charlie is not round.[(triple10)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is smart.[(triple11)] Dave is cold.[(triple12)] Dave is furry.[(triple13)] Dave is not green.[(triple14)] Dave is red.[(triple15)] Dave is round.[(triple16)] @1: Dave is quiet.[(((triple15 triple16) -> rule4))]