Il est ridicule de vouloir codifier les modèles de pensée de humains,seul un esprit étranger au système cognitif considéré pourrait tirer de bonnes conclusions,et selon moi cet esprit ne peut faire partie de l´espèce considérée car son raisonnement se basera sur quelque chose d´inhérent à sa nature,donc forcément impossible à analyser.Et un raisonnement basé sur de l´inconnu est faux,car la logique est une entité complète.