この玄武は偵察行動でない
fact1: 「この援助計画は外国子会社であるということはないかそれは擁護しない」ということは成り立つということはない fact2: もし「あの燃料電池は取り締まらなくてかつそれは持ち難くない」ということは偽だとするとモダニティだ fact3: もしも「「外国子会社でないかあるいは擁護しないかまたは両方である」ということは間違っている」物があるならあの内モンゴルは全体主義国家でない fact4: 「「侵入し易くて貧しい」ということは嘘な」ものはある fact5: もし仮にあの内モンゴルが全体主義国家でないししかも分析・考察しないとしたらそのウォーミングアップは相互行為的実践であるということはない fact6: 仮にあの燃料電池がモダニティだとするとあの内モンゴルは分析・考察しない fact7: もしそのウォーミングアップが相互行為的実践でないししかもそれが臭くないとすればこの玄武は偵察行動でない fact8: 「「侵入し易くて貧しい」ということは間違いな」ものがあるとすればそのウォーミングアップは臭くない fact9: この玄武は持ち難くない fact10: 「あの燃料電池は取り締まらなくてそれに持ち難くない」ということは偽である
fact2 & fact10 -> int1: あの燃料電池はモダニティである; int1 & fact6 -> int2: あの内モンゴルは分析・考察しない; fact1 -> int3: 「「外国子会社でないかまたは擁護するということはないか両方である」ということは事実と異なる」ものはある; fact3 & int3 -> int4: あの内モンゴルは全体主義国家でない; int2 & int4 -> int5: あの内モンゴルは全体主義国家でなくて更に分析・考察しない; int5 & fact5 -> int6: そのウォーミングアップは相互行為的実践でない; fact8 & fact4 -> int7: 「そのウォーミングアップは臭くない」ということは偽でない; int6 & int7 -> int8: そのウォーミングアップは相互行為的実践でないしさらに臭くない; int8 & fact7 -> hypothesis;
$facts$ = fact1: 「この援助計画は外国子会社であるということはないかそれは擁護しない」ということは成り立つということはない fact2: もし「あの燃料電池は取り締まらなくてかつそれは持ち難くない」ということは偽だとするとモダニティだ fact3: もしも「「外国子会社でないかあるいは擁護しないかまたは両方である」ということは間違っている」物があるならあの内モンゴルは全体主義国家でない fact4: 「「侵入し易くて貧しい」ということは嘘な」ものはある fact5: もし仮にあの内モンゴルが全体主義国家でないししかも分析・考察しないとしたらそのウォーミングアップは相互行為的実践であるということはない fact6: 仮にあの燃料電池がモダニティだとするとあの内モンゴルは分析・考察しない fact7: もしそのウォーミングアップが相互行為的実践でないししかもそれが臭くないとすればこの玄武は偵察行動でない fact8: 「「侵入し易くて貧しい」ということは間違いな」ものがあるとすればそのウォーミングアップは臭くない fact9: この玄武は持ち難くない fact10: 「あの燃料電池は取り締まらなくてそれに持ち難くない」ということは偽である ; $hypothesis$ = この玄武は偵察行動でない ; $proof$ = 
fact2 & fact10 -> int1: あの燃料電池はモダニティである; int1 & fact6 -> int2: あの内モンゴルは分析・考察しない; fact1 -> int3: 「「外国子会社でないかまたは擁護するということはないか両方である」ということは事実と異なる」ものはある; fact3 & int3 -> int4: あの内モンゴルは全体主義国家でない; int2 & int4 -> int5: あの内モンゴルは全体主義国家でなくて更に分析・考察しない; int5 & fact5 -> int6: そのウォーミングアップは相互行為的実践でない; fact8 & fact4 -> int7: 「そのウォーミングアップは臭くない」ということは偽でない; int6 & int7 -> int8: そのウォーミングアップは相互行為的実践でないしさらに臭くない; int8 & fact7 -> hypothesis; __PROVED__
事実1: 「この援助計画は外国子会社であるということはないかそれは擁護しない」ということは成り立つということはない
事実2: もし「あの燃料電池は取り締まらなくてかつそれは持ち難くない」ということは偽だとするとモダニティだ
事実3: もしも「「外国子会社でないかあるいは擁護しないかまたは両方である」ということは間違っている」物があるならあの内モンゴルは全体主義国家でない
事実4: 「「侵入し易くて貧しい」ということは嘘な」ものはある
事実5: もし仮にあの内モンゴルが全体主義国家でないししかも分析・考察しないとしたらそのウォーミングアップは相互行為的実践であるということはない
事実6: 仮にあの燃料電池がモダニティだとするとあの内モンゴルは分析・考察しない
事実7: もしそのウォーミングアップが相互行為的実践でないししかもそれが臭くないとすればこの玄武は偵察行動でない
事実8: 「「侵入し易くて貧しい」ということは間違いな」ものがあるとすればそのウォーミングアップは臭くない
事実9: この玄武は持ち難くない
事実10: 「あの燃料電池は取り締まらなくてそれに持ち難くない」ということは偽である

仮説: この玄武は偵察行動でない
1. 事実2と事実10から、推論1: "あの燃料電池はモダニティである"が導かれる
2. 推論1と事実6から、推論2: "あの内モンゴルは分析・考察しない"が導かれる
3. 事実1から、推論3: "「「外国子会社でないかまたは擁護するということはないか両方である」ということは事実と異なる」ものはある"が導かれる
4. 事実3と推論3から、推論4: "あの内モンゴルは全体主義国家でない"が導かれる
5. 推論2と推論4から、推論5: "あの内モンゴルは全体主義国家でなくて更に分析・考察しない"が導かれる
6. 推論5と事実5から、推論6: "そのウォーミングアップは相互行為的実践でない"が導かれる
7. 事実8と事実4から、推論7: "「そのウォーミングアップは臭くない」ということは偽でない"が導かれる
8. 推論6と推論7から、推論8: "そのウォーミングアップは相互行為的実践でないしさらに臭くない"が導かれる
9. 推論8と事実7から、仮説が導かれる

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