Anne is furry. Anne is not nice. Anne is round. Dave is kind. Gary is cold. Gary is kind. Harry is smart. If Gary is kind then Gary is smart. Round people are furry. If Anne is smart and Anne is nice then Anne is round. If someone is round and kind then they are nice. If Harry is furry and Harry is not round then Harry is kind. If Anne is cold and Anne is not nice then Anne is furry.
Anne is not round.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2))] Anne is not nice.[(triple2)] Anne is round.[(triple3)] Dave is kind.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Harry is smart.[(triple7)] @1: Gary is smart.[(((triple6) -> rule1))]