Anne is green. Anne is kind. Anne is nice. Bob is cold. Bob is green. Bob is kind. Bob is round. Bob is white. Charlie is nice. Charlie is round. Charlie is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. If Anne is round then Anne is furry. If something is cold then it is round. If something is furry and green then it is nice. If something is white then it is kind. All furry, nice things are white. If something is nice and kind then it is furry.
Bob is not round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6 OR ((triple8) -> rule4))] Bob is round.[(triple7 OR ((triple4) -> rule2))] Bob is white.[(triple8)] Charlie is nice.[(triple9)] Charlie is round.[(triple10)] Charlie is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is round.[(triple15 OR ((triple12) -> rule2))] Fiona is white.[(triple16)] @1: Anne is furry.[(((triple3 triple2) -> rule6))] Charlie is kind.[(((triple11) -> rule4))] Fiona is kind.[(((triple16) -> rule4))] @2: Anne is white.[(((((triple3 triple2) -> rule6) triple3) -> rule5))] Charlie is furry.[(((triple9 ((triple11) -> rule4)) -> rule6))] Fiona is furry.[(((triple14 ((triple16) -> rule4)) -> rule6))]