「その情実は保温容器だということはないが帝国陸軍である」ということは成り立たないならばその続報は漂い続ける
fact1: 保温容器はある fact2: 何らかのものが保温容器でない一方でそれが帝国陸軍ならばその続報は漂い続ける fact3: もしも「「「保温容器であるということはなくてそれに帝国陸軍だ」ということは事実である」ということは誤りな」物があるとすればその続報は漂い続ける fact4: もし仮にとある物が帝国陸軍だということはないならばその続報は漂い続ける fact5: その続報は保温容器である fact6: 仮に「「「帝国陸軍でなくておまけに保温容器だ」ということは真実である」ということは偽な」ものはあるとすると「その情実は漂い続ける」ということは真実だ fact7: あの潜在的能力は漂い続ける fact8: もし仮にその情実が帝国陸軍でないがしかし漂い続けるとすればその続報は保温容器だ fact9: もし「「帝国陸軍でないが漂い続ける」ということは偽である」ものがあればその続報は保温容器だ fact10: 「「「帝国陸軍でないがしかし漂い続ける」ということは本当だ」ということは偽である」物はある fact11: もしも「「漂い続けるということはないしそれに保温容器である」ということは成り立たない」物があるならその情実は帝国陸軍である fact12: 仮に「「「保温容器でそれに帝国陸軍だ」ということは成り立つ」ということは成り立たない」ものがあるとしたらその続報は漂い続ける fact13: その情実は移動し易い fact14: その続報は出現し易い fact15: 仮に「その情実は保温容器であるし加えてそれは帝国陸軍である」ということは成り立たないならその続報は漂い続ける fact16: 「その情実は漂い続ける」ということは事実である
void -> assump1: 以下のように仮定する。「その情実は保温容器でないけど帝国陸軍である」ということは成り立たない; assump1 -> int1: 「「保温容器でないし帝国陸軍である」ということは間違いな」ものはある; int1 & fact3 -> int2: その続報は漂い続ける; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA}{aa} & {AB}{aa}); assump1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact3 -> int2: {A}{a}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 保温容器はある fact2: 何らかのものが保温容器でない一方でそれが帝国陸軍ならばその続報は漂い続ける fact3: もしも「「「保温容器であるということはなくてそれに帝国陸軍だ」ということは事実である」ということは誤りな」物があるとすればその続報は漂い続ける fact4: もし仮にとある物が帝国陸軍だということはないならばその続報は漂い続ける fact5: その続報は保温容器である fact6: 仮に「「「帝国陸軍でなくておまけに保温容器だ」ということは真実である」ということは偽な」ものはあるとすると「その情実は漂い続ける」ということは真実だ fact7: あの潜在的能力は漂い続ける fact8: もし仮にその情実が帝国陸軍でないがしかし漂い続けるとすればその続報は保温容器だ fact9: もし「「帝国陸軍でないが漂い続ける」ということは偽である」ものがあればその続報は保温容器だ fact10: 「「「帝国陸軍でないがしかし漂い続ける」ということは本当だ」ということは偽である」物はある fact11: もしも「「漂い続けるということはないしそれに保温容器である」ということは成り立たない」物があるならその情実は帝国陸軍である fact12: 仮に「「「保温容器でそれに帝国陸軍だ」ということは成り立つ」ということは成り立たない」ものがあるとしたらその続報は漂い続ける fact13: その情実は移動し易い fact14: その続報は出現し易い fact15: 仮に「その情実は保温容器であるし加えてそれは帝国陸軍である」ということは成り立たないならその続報は漂い続ける fact16: 「その情実は漂い続ける」ということは事実である ; $hypothesis$ = 「その情実は保温容器だということはないが帝国陸軍である」ということは成り立たないならばその続報は漂い続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。「その情実は保温容器でないけど帝国陸軍である」ということは成り立たない; assump1 -> int1: 「「保温容器でないし帝国陸軍である」ということは間違いな」ものはある; int1 & fact3 -> int2: その続報は漂い続ける; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 保温容器はある
事実2: 何らかのものが保温容器でない一方でそれが帝国陸軍ならばその続報は漂い続ける
事実3: もしも「「「保温容器であるということはなくてそれに帝国陸軍だ」ということは事実である」ということは誤りな」物があるとすればその続報は漂い続ける
事実4: もし仮にとある物が帝国陸軍だということはないならばその続報は漂い続ける
事実5: その続報は保温容器である
事実6: 仮に「「「帝国陸軍でなくておまけに保温容器だ」ということは真実である」ということは偽な」ものはあるとすると「その情実は漂い続ける」ということは真実だ
事実7: あの潜在的能力は漂い続ける
事実8: もし仮にその情実が帝国陸軍でないがしかし漂い続けるとすればその続報は保温容器だ
事実9: もし「「帝国陸軍でないが漂い続ける」ということは偽である」ものがあればその続報は保温容器だ
事実10: 「「「帝国陸軍でないがしかし漂い続ける」ということは本当だ」ということは偽である」物はある
事実11: もしも「「漂い続けるということはないしそれに保温容器である」ということは成り立たない」物があるならその情実は帝国陸軍である
事実12: 仮に「「「保温容器でそれに帝国陸軍だ」ということは成り立つ」ということは成り立たない」ものがあるとしたらその続報は漂い続ける
事実13: その情実は移動し易い
事実14: その続報は出現し易い
事実15: 仮に「その情実は保温容器であるし加えてそれは帝国陸軍である」ということは成り立たないならその続報は漂い続ける
事実16: 「その情実は漂い続ける」ということは事実である

仮説: 「その情実は保温容器だということはないが帝国陸軍である」ということは成り立たないならばその続報は漂い続ける
1. 仮定1: 以下のように仮定する。「その情実は保温容器でないけど帝国陸軍である」ということは成り立たない
2. 仮定1から、推論1: "「「保温容器でないし帝国陸軍である」ということは間違いな」ものはある"が導かれる
3. 推論1と事実3から、推論2: "その続報は漂い続ける"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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