Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is not white. Charlie is not nice. Charlie is round. Dave is red. Dave is round. Harry is nice. All nice, red things are not round. All round things are red. If something is round then it is red. If Anne is red and Anne is cold then Anne is nice. Nice things are cold. All kind things are nice. If something is kind and not cold then it is white. If something is white then it is furry.
Harry is round.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule6))] Anne is not white.[(triple5)] Charlie is not nice.[(triple6)] Charlie is round.[(triple7)] Dave is red.[(triple8 OR ((triple9) -> rule2) OR ((triple9) -> rule3))] Dave is round.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is red.[(((triple7) -> rule2) OR ((triple7) -> rule3))] Harry is cold.[(((triple10) -> rule5))]