「あのブレノック医師は所属大学でないがブレイブウーマンである」ということは成り立たない
fact1: もし仮になんらかのものは駐在所でないとしたら「それはブレイブウーマンでない一方で生き辛い」ということは誤っている fact2: もし仮に「「この抗日ゲリラは御出で頂かないがしかしそれは反映され易い」ということは本当だ」ということは成り立たないならあの三年余りは諸君自身でない fact3: 「「なにかは所属大学であるしさらに場慣れする」ということは確かだ」ということは成り立たないなら所属大学でない fact4: 「この抗日ゲリラは反映され易いということはないけれど諸君自身だ」ということは事実でない fact5: 仮になにかは所属大学でないとすればそれは駐在所でないし諸君自身だということはない fact6: もしあの三年余りは諸君自身でないとしたら「あのファンクラブは駐在所でない」ということは成り立つ fact7: 「「この抗日ゲリラは御出で頂かない一方で反映され易い」ということは本当だ」ということは誤っている fact8: 「あのブレノック医師は御出で頂かないがしかしブレイブウーマンだ」ということは偽である fact9: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学だということはない一方でブレイブウーマンである」ということは成り立つということはない fact10: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学でブレイブウーマンである」ということは成り立つということはない fact11: 「あのブレノック医師は所属大学であるし加えてブレイブウーマンである」ということは間違っている fact12: もし仮に「この抗日ゲリラは御出で頂く」ということは成り立つとすればあの三年余りは諸君自身でない fact13: 仮にあの三年余りが駐在所でないとすればあのファンクラブは諸君自身でない fact14: もしもあの言語動作は第二戦隊でないとしたら「「それが所属大学だしそれは場慣れする」ということは成り立つ」ということは誤っている
fact2 & fact7 -> int1: あの三年余りは諸君自身でない; int1 & fact6 -> int2: あのファンクラブは駐在所でない; int2 & fact9 -> hypothesis;
「「あの言語動作はブレイブウーマンでないけど生き辛い」ということは確かだ」ということは成り立たない
fact18 -> int3: もしあの言語動作は駐在所でないなら「それはブレイブウーマンでなくてそれは生き辛い」ということは成り立たない; fact15 -> int4: もし仮にあの言語動作が所属大学でないとすると駐在所でないしそれは諸君自身であるということはない; fact16 -> int5: もし仮に「あの言語動作は所属大学であるし更にそれは場慣れする」ということは嘘であるなら所属大学だということはない;
$facts$ = fact1: もし仮になんらかのものは駐在所でないとしたら「それはブレイブウーマンでない一方で生き辛い」ということは誤っている fact2: もし仮に「「この抗日ゲリラは御出で頂かないがしかしそれは反映され易い」ということは本当だ」ということは成り立たないならあの三年余りは諸君自身でない fact3: 「「なにかは所属大学であるしさらに場慣れする」ということは確かだ」ということは成り立たないなら所属大学でない fact4: 「この抗日ゲリラは反映され易いということはないけれど諸君自身だ」ということは事実でない fact5: 仮になにかは所属大学でないとすればそれは駐在所でないし諸君自身だということはない fact6: もしあの三年余りは諸君自身でないとしたら「あのファンクラブは駐在所でない」ということは成り立つ fact7: 「「この抗日ゲリラは御出で頂かない一方で反映され易い」ということは本当だ」ということは誤っている fact8: 「あのブレノック医師は御出で頂かないがしかしブレイブウーマンだ」ということは偽である fact9: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学だということはない一方でブレイブウーマンである」ということは成り立つということはない fact10: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学でブレイブウーマンである」ということは成り立つということはない fact11: 「あのブレノック医師は所属大学であるし加えてブレイブウーマンである」ということは間違っている fact12: もし仮に「この抗日ゲリラは御出で頂く」ということは成り立つとすればあの三年余りは諸君自身でない fact13: 仮にあの三年余りが駐在所でないとすればあのファンクラブは諸君自身でない fact14: もしもあの言語動作は第二戦隊でないとしたら「「それが所属大学だしそれは場慣れする」ということは成り立つ」ということは誤っている ; $hypothesis$ = 「あのブレノック医師は所属大学でないがブレイブウーマンである」ということは成り立たない ; $proof$ = 
fact2 & fact7 -> int1: あの三年余りは諸君自身でない; int1 & fact6 -> int2: あのファンクラブは駐在所でない; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは駐在所でないとしたら「それはブレイブウーマンでない一方で生き辛い」ということは誤っている
事実2: もし仮に「「この抗日ゲリラは御出で頂かないがしかしそれは反映され易い」ということは本当だ」ということは成り立たないならあの三年余りは諸君自身でない
事実3: 「「なにかは所属大学であるしさらに場慣れする」ということは確かだ」ということは成り立たないなら所属大学でない
事実4: 「この抗日ゲリラは反映され易いということはないけれど諸君自身だ」ということは事実でない
事実5: 仮になにかは所属大学でないとすればそれは駐在所でないし諸君自身だということはない
事実6: もしあの三年余りは諸君自身でないとしたら「あのファンクラブは駐在所でない」ということは成り立つ
事実7: 「「この抗日ゲリラは御出で頂かない一方で反映され易い」ということは本当だ」ということは誤っている
事実8: 「あのブレノック医師は御出で頂かないがしかしブレイブウーマンだ」ということは偽である
事実9: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学だということはない一方でブレイブウーマンである」ということは成り立つということはない
事実10: もし仮にあのファンクラブは駐在所でないならば「あのブレノック医師は所属大学でブレイブウーマンである」ということは成り立つということはない
事実11: 「あのブレノック医師は所属大学であるし加えてブレイブウーマンである」ということは間違っている
事実12: もし仮に「この抗日ゲリラは御出で頂く」ということは成り立つとすればあの三年余りは諸君自身でない
事実13: 仮にあの三年余りが駐在所でないとすればあのファンクラブは諸君自身でない
事実14: もしもあの言語動作は第二戦隊でないとしたら「「それが所属大学だしそれは場慣れする」ということは成り立つ」ということは誤っている

仮説: 「あのブレノック医師は所属大学でないがブレイブウーマンである」ということは成り立たない
1. 事実2と事実7から、推論1: "あの三年余りは諸君自身でない"が導かれる
2. 推論1と事実6から、推論2: "あのファンクラブは駐在所でない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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