この戦争叙事詩は政府でない
fact1: この基礎訓練はＢ男さんでない fact2: 「この基礎訓練はＢ男さんであるか吹かし始める」ということは成り立たない fact3: 仮に「あの肌襦袢は荒くない」ということは本当であるならこの戦争叙事詩は政府でない fact4: この戦争叙事詩はＢ男さんでない fact5: 「あの肌襦袢は吹かし始めない」ということは確かだ fact6: もし何かはオーガナイズしないなら「荒いか政府であるか両方だ」ということは事実だ fact7: もしも「この基礎訓練はＢ男さんであるかあるいはそれは吹かし始める」ということは嘘であるならばあの肌襦袢は荒いということはない
fact7 & fact2 -> int1: 「あの肌襦袢は荒くない」ということは本当だ; int1 & fact3 -> hypothesis;
fact7 & fact2 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis;
「この戦争叙事詩は政府である」ということは真実だ
fact8 -> int2: もしもこの基礎訓練がオーガナイズしないとしたら荒いかまたは政府であるか両方ともだ;
$facts$ = fact1: この基礎訓練はＢ男さんでない fact2: 「この基礎訓練はＢ男さんであるか吹かし始める」ということは成り立たない fact3: 仮に「あの肌襦袢は荒くない」ということは本当であるならこの戦争叙事詩は政府でない fact4: この戦争叙事詩はＢ男さんでない fact5: 「あの肌襦袢は吹かし始めない」ということは確かだ fact6: もし何かはオーガナイズしないなら「荒いか政府であるか両方だ」ということは事実だ fact7: もしも「この基礎訓練はＢ男さんであるかあるいはそれは吹かし始める」ということは嘘であるならばあの肌襦袢は荒いということはない ; $hypothesis$ = この戦争叙事詩は政府でない ; $proof$ = 
fact7 & fact2 -> int1: 「あの肌襦袢は荒くない」ということは本当だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: この基礎訓練はＢ男さんでない
事実2: 「この基礎訓練はＢ男さんであるか吹かし始める」ということは成り立たない
事実3: 仮に「あの肌襦袢は荒くない」ということは本当であるならこの戦争叙事詩は政府でない
事実4: この戦争叙事詩はＢ男さんでない
事実5: 「あの肌襦袢は吹かし始めない」ということは確かだ
事実6: もし何かはオーガナイズしないなら「荒いか政府であるか両方だ」ということは事実だ
事実7: もしも「この基礎訓練はＢ男さんであるかあるいはそれは吹かし始める」ということは嘘であるならばあの肌襦袢は荒いということはない

仮説: この戦争叙事詩は政府でない
1. 事実7と事実2から、推論1: "「あの肌襦袢は荒くない」ということは本当だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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