「そのショコラは煩くない」ということは誤りでない
fact1: もし仮にこの呪縛が配賦するとしたらそのショコラは大首長である fact2: もしもそのショコラが外発的報酬ならば増悪因子である fact3: もしもあの経営者はか細くないししかも忌ま忌ましかないなら増悪因子である fact4: もし仮にこの呪縛が大首長でないならばそのショコラは煩くてかつ配賦する fact5: この呪縛は交であるしまた外発的報酬だ fact6: 「この呪縛は配賦する」ということは真実だ fact7: 「あのライチーは配賦する」ということは真実だ fact8: もしあの経営者が増悪因子だとしたらこの呪縛は増悪因子だ fact9: もしも大首長は増悪因子であるとすればそれは煩くない fact10: そのショコラは外発的報酬だ
fact1 & fact6 -> int1: 「そのショコラは大首長である」ということは正しい; fact2 & fact10 -> int2: そのショコラは増悪因子だ; int1 & int2 -> int3: そのショコラは大首長であるしおまけに増悪因子だ; fact9 -> int4: もしそのショコラが大首長だしまた増悪因子ならばそれは煩いということはない; int3 & int4 -> hypothesis;
そのショコラは煩い
fact13 -> int5: この呪縛は外発的報酬である;
$facts$ = fact1: もし仮にこの呪縛が配賦するとしたらそのショコラは大首長である fact2: もしもそのショコラが外発的報酬ならば増悪因子である fact3: もしもあの経営者はか細くないししかも忌ま忌ましかないなら増悪因子である fact4: もし仮にこの呪縛が大首長でないならばそのショコラは煩くてかつ配賦する fact5: この呪縛は交であるしまた外発的報酬だ fact6: 「この呪縛は配賦する」ということは真実だ fact7: 「あのライチーは配賦する」ということは真実だ fact8: もしあの経営者が増悪因子だとしたらこの呪縛は増悪因子だ fact9: もしも大首長は増悪因子であるとすればそれは煩くない fact10: そのショコラは外発的報酬だ ; $hypothesis$ = 「そのショコラは煩くない」ということは誤りでない ; $proof$ = 
fact1 & fact6 -> int1: 「そのショコラは大首長である」ということは正しい; fact2 & fact10 -> int2: そのショコラは増悪因子だ; int1 & int2 -> int3: そのショコラは大首長であるしおまけに増悪因子だ; fact9 -> int4: もしそのショコラが大首長だしまた増悪因子ならばそれは煩いということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの呪縛が配賦するとしたらそのショコラは大首長である
事実2: もしもそのショコラが外発的報酬ならば増悪因子である
事実3: もしもあの経営者はか細くないししかも忌ま忌ましかないなら増悪因子である
事実4: もし仮にこの呪縛が大首長でないならばそのショコラは煩くてかつ配賦する
事実5: この呪縛は交であるしまた外発的報酬だ
事実6: 「この呪縛は配賦する」ということは真実だ
事実7: 「あのライチーは配賦する」ということは真実だ
事実8: もしあの経営者が増悪因子だとしたらこの呪縛は増悪因子だ
事実9: もしも大首長は増悪因子であるとすればそれは煩くない
事実10: そのショコラは外発的報酬だ

仮説: 「そのショコラは煩くない」ということは誤りでない
1. 事実1と事実6から、推論1: "「そのショコラは大首長である」ということは正しい"が導かれる
2. 事実2と事実10から、推論2: "そのショコラは増悪因子だ"が導かれる
3. 推論1と推論2から、推論3: "そのショコラは大首長であるしおまけに増悪因子だ"が導かれる
4. 事実9から、推論4: "もしそのショコラが大首長だしまた増悪因子ならばそれは煩いということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。