このバトンタッチは大人らしくない
fact1: もし仮に「その六百万人は根気強いかもしくは談ぜない」ということは間違っているとすれば「あの抗体は範読しない」ということは事実である fact2: 仮にその六百万人は範読しないとすれば「「その屋外は反強磁性物質であるかまたはそれは談ぜないかあるいは両方だ」ということは事実である」ということは間違いだ fact3: 「そのセキュリティ・クリアランスは談ずるかもしくは訝しくないかもしくは両方ともだ」ということは偽である fact4: もしも「その屋外は反強磁性物質であるかもしくは談ずる」ということは誤っているならこのバトンタッチは大人らしくない fact5: その屋外は談ずる fact6: このバトンタッチは根気強くない fact7: もしその六百万人が範読しないならばその屋外は談ずる fact8: もしもなにがしかのものは反強磁性物質であるならば範読する fact9: もしもあるものが範読するとしたら大人らしくないけど根気強い fact10: 仮にあの抗体が大人らしくないが根気強いとしたらこのバトンタッチは大人らしい fact11: もし仮にあの抗体が根気強いとしたらその六百万人は範読しない fact12: あの抗体は根気強い fact13: その六百万人が南島史学でないしその上後任者でないとしたら「それは塩抜きする」ということは成り立つ fact14: その六百万人が塩抜きするとするとそれは四方でない fact15: もしも「その屋外は反強磁性物質であるかあるいはそれは談ぜない」ということは間違いであるとするとこのバトンタッチは大人らしくない fact16: もしも「なにがしかの物は長たらしいということはないが過小評価する」ということは偽ならば談ぜない fact17: もし仮になにかは談ぜないとすれば反強磁性物質である fact18: もし仮にその六百万人は四方でないならば「あの抗体は長たらしくないが過小評価する」ということは誤りである
fact11 & fact12 -> int1: その六百万人は範読しない; int1 & fact2 -> int2: 「その屋外は反強磁性物質であるか談ぜないか両方だ」ということは偽である; int2 & fact15 -> hypothesis;
fact11 & fact12 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ¬({C}{c} v ¬{D}{c}); int2 & fact15 -> hypothesis;
このバトンタッチは大人らしい
fact20 -> int3: あの抗体が範読するとしたらそれは大人らしくないししかも根気強い; fact24 -> int4: 仮にあの抗体は反強磁性物質であるとすればそれは範読する; fact22 -> int5: もし仮にあの抗体が談ぜないならば反強磁性物質だ; fact21 -> int6: 「あの抗体は長たらしくないがしかし過小評価する」ということは誤っているとすればそれは談ぜない;
$facts$ = fact1: もし仮に「その六百万人は根気強いかもしくは談ぜない」ということは間違っているとすれば「あの抗体は範読しない」ということは事実である fact2: 仮にその六百万人は範読しないとすれば「「その屋外は反強磁性物質であるかまたはそれは談ぜないかあるいは両方だ」ということは事実である」ということは間違いだ fact3: 「そのセキュリティ・クリアランスは談ずるかもしくは訝しくないかもしくは両方ともだ」ということは偽である fact4: もしも「その屋外は反強磁性物質であるかもしくは談ずる」ということは誤っているならこのバトンタッチは大人らしくない fact5: その屋外は談ずる fact6: このバトンタッチは根気強くない fact7: もしその六百万人が範読しないならばその屋外は談ずる fact8: もしもなにがしかのものは反強磁性物質であるならば範読する fact9: もしもあるものが範読するとしたら大人らしくないけど根気強い fact10: 仮にあの抗体が大人らしくないが根気強いとしたらこのバトンタッチは大人らしい fact11: もし仮にあの抗体が根気強いとしたらその六百万人は範読しない fact12: あの抗体は根気強い fact13: その六百万人が南島史学でないしその上後任者でないとしたら「それは塩抜きする」ということは成り立つ fact14: その六百万人が塩抜きするとするとそれは四方でない fact15: もしも「その屋外は反強磁性物質であるかあるいはそれは談ぜない」ということは間違いであるとするとこのバトンタッチは大人らしくない fact16: もしも「なにがしかの物は長たらしいということはないが過小評価する」ということは偽ならば談ぜない fact17: もし仮になにかは談ぜないとすれば反強磁性物質である fact18: もし仮にその六百万人は四方でないならば「あの抗体は長たらしくないが過小評価する」ということは誤りである ; $hypothesis$ = このバトンタッチは大人らしくない ; $proof$ = 
fact11 & fact12 -> int1: その六百万人は範読しない; int1 & fact2 -> int2: 「その屋外は反強磁性物質であるか談ぜないか両方だ」ということは偽である; int2 & fact15 -> hypothesis; __PROVED__
事実1: もし仮に「その六百万人は根気強いかもしくは談ぜない」ということは間違っているとすれば「あの抗体は範読しない」ということは事実である
事実2: 仮にその六百万人は範読しないとすれば「「その屋外は反強磁性物質であるかまたはそれは談ぜないかあるいは両方だ」ということは事実である」ということは間違いだ
事実3: 「そのセキュリティ・クリアランスは談ずるかもしくは訝しくないかもしくは両方ともだ」ということは偽である
事実4: もしも「その屋外は反強磁性物質であるかもしくは談ずる」ということは誤っているならこのバトンタッチは大人らしくない
事実5: その屋外は談ずる
事実6: このバトンタッチは根気強くない
事実7: もしその六百万人が範読しないならばその屋外は談ずる
事実8: もしもなにがしかのものは反強磁性物質であるならば範読する
事実9: もしもあるものが範読するとしたら大人らしくないけど根気強い
事実10: 仮にあの抗体が大人らしくないが根気強いとしたらこのバトンタッチは大人らしい
事実11: もし仮にあの抗体が根気強いとしたらその六百万人は範読しない
事実12: あの抗体は根気強い
事実13: その六百万人が南島史学でないしその上後任者でないとしたら「それは塩抜きする」ということは成り立つ
事実14: その六百万人が塩抜きするとするとそれは四方でない
事実15: もしも「その屋外は反強磁性物質であるかあるいはそれは談ぜない」ということは間違いであるとするとこのバトンタッチは大人らしくない
事実16: もしも「なにがしかの物は長たらしいということはないが過小評価する」ということは偽ならば談ぜない
事実17: もし仮になにかは談ぜないとすれば反強磁性物質である
事実18: もし仮にその六百万人は四方でないならば「あの抗体は長たらしくないが過小評価する」ということは誤りである

仮説: このバトンタッチは大人らしくない
1. 事実11と事実12から、推論1: "その六百万人は範読しない"が導かれる
2. 推論1と事実2から、推論2: "「その屋外は反強磁性物質であるか談ぜないか両方だ」ということは偽である"が導かれる
3. 推論2と事実15から、仮説が導かれる

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