Anne is green. Anne is red. Anne is not round. Anne is smart. Anne is white. Bob is not furry. Bob is not green. Bob is not round. Bob is white. Charlie is cold. Charlie is furry. Charlie is not green. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Furry, green people are round. If someone is green and not smart then they are round. If someone is white and not round then they are not cold.
Charlie is red.
@0: Anne is green.[(triple1)] Anne is not round.[(triple3)] Anne is red.[(triple2)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is not furry.[(triple6)] Bob is not green.[(triple7)] Bob is not round.[(triple8)] Bob is white.[(triple9)] Charlie is cold.[(triple10)] Charlie is furry.[(triple11)] Charlie is not green.[(triple12)] Charlie is red.[(triple13)] Charlie is round.[(triple14)] Charlie is smart.[(triple15)] Charlie is white.[(triple16)] @1: Anne is not cold.[(((triple5 triple3) -> rule3))] Bob is not cold.[(((triple9 triple8) -> rule3))]