「その原価計算は総務部長でないけど統計的データである」ということは間違いである
fact1: もしその風流仏は総務部長でないとすれば「その原価計算は統計的データでないけど寒々しい」ということは成り立たない fact2: その原価計算は轢き殺すということはない fact3: なんらかの物は四全総でないとすると統計的データでない fact4: もしその風流仏は総務部長でないとしたら「その原価計算は出撃しないがしかしそれは寒々しい」ということは偽だ fact5: もし何らかの物は注意深くないとしたら「それは四全総であるし親しみ易い」ということは嘘である fact6: もしその風流仏は出撃するし加えて寒々しいとしたら親しみ易くない fact7: もし仮に「その風流仏は四全総だ」ということは成り立たないならば「その原価計算は総務部長でないけれどそれは統計的データだ」ということは誤っている fact8: あの代金引き換えは出撃しない fact9: 親しみ易いということはない物は四全総だということはない fact10: もし仮に「その風流仏は出撃する一方で寒々しいということはない」ということは正しいならば「親しみ易くない」ということは成り立つ fact11: 「もし仮にその風流仏が寒々しいが総務部長でないなら「その風流仏は親しみ易くない」ということは真実だ」ということは成り立つ fact12: 「その原価計算は総務部長であるしさらに統計的データだ」ということは事実と異なる fact13: その風流仏は寒々しかない fact14: 「その原価計算は寒々しかない」ということは成り立つとしたら「その風流仏は親しみ易くて統計的データだ」ということは成り立たない fact15: もしその風流仏が寒々しかないならばそれは総務部長でない fact16: その風流仏は出撃する一方でそれは寒々しかない fact17: もしもその風流仏は四全総でないとしたら「その原価計算は出撃するしまた統計的データである」ということは成り立たない fact18: もし仮にその風流仏は統計的データでないなら「その原価計算は親しみ易くないけれど寒々しい」ということは成り立たない fact19: その原価計算は寒々しいということはない fact20: その原価計算はフォローアップ研修会でない fact21: もし「その風流仏は四全総でない」ということは事実であるなら「「その原価計算は総務部長でおまけに統計的データだ」ということは真実でない」ということは成り立つ fact22: その風流仏は統計的データでない fact23: もしもその風流仏が詐偽だけど憎悪しないならかわゆくない
fact10 & fact16 -> int1: その風流仏は親しみ易くない; fact9 -> int2: 仮に「その風流仏は親しみ易くない」ということは本当であるならそれは四全総でない; int1 & int2 -> int3: その風流仏は四全総でない; int3 & fact7 -> hypothesis;
その原価計算は総務部長でないがしかしそれは統計的データである
fact24 -> int4: 仮にその風流仏は注意深くないとすれば「四全総であるしおまけに親しみ易い」ということは間違っている;
$facts$ = fact1: もしその風流仏は総務部長でないとすれば「その原価計算は統計的データでないけど寒々しい」ということは成り立たない fact2: その原価計算は轢き殺すということはない fact3: なんらかの物は四全総でないとすると統計的データでない fact4: もしその風流仏は総務部長でないとしたら「その原価計算は出撃しないがしかしそれは寒々しい」ということは偽だ fact5: もし何らかの物は注意深くないとしたら「それは四全総であるし親しみ易い」ということは嘘である fact6: もしその風流仏は出撃するし加えて寒々しいとしたら親しみ易くない fact7: もし仮に「その風流仏は四全総だ」ということは成り立たないならば「その原価計算は総務部長でないけれどそれは統計的データだ」ということは誤っている fact8: あの代金引き換えは出撃しない fact9: 親しみ易いということはない物は四全総だということはない fact10: もし仮に「その風流仏は出撃する一方で寒々しいということはない」ということは正しいならば「親しみ易くない」ということは成り立つ fact11: 「もし仮にその風流仏が寒々しいが総務部長でないなら「その風流仏は親しみ易くない」ということは真実だ」ということは成り立つ fact12: 「その原価計算は総務部長であるしさらに統計的データだ」ということは事実と異なる fact13: その風流仏は寒々しかない fact14: 「その原価計算は寒々しかない」ということは成り立つとしたら「その風流仏は親しみ易くて統計的データだ」ということは成り立たない fact15: もしその風流仏が寒々しかないならばそれは総務部長でない fact16: その風流仏は出撃する一方でそれは寒々しかない fact17: もしもその風流仏は四全総でないとしたら「その原価計算は出撃するしまた統計的データである」ということは成り立たない fact18: もし仮にその風流仏は統計的データでないなら「その原価計算は親しみ易くないけれど寒々しい」ということは成り立たない fact19: その原価計算は寒々しいということはない fact20: その原価計算はフォローアップ研修会でない fact21: もし「その風流仏は四全総でない」ということは事実であるなら「「その原価計算は総務部長でおまけに統計的データだ」ということは真実でない」ということは成り立つ fact22: その風流仏は統計的データでない fact23: もしもその風流仏が詐偽だけど憎悪しないならかわゆくない ; $hypothesis$ = 「その原価計算は総務部長でないけど統計的データである」ということは間違いである ; $proof$ = 
fact10 & fact16 -> int1: その風流仏は親しみ易くない; fact9 -> int2: 仮に「その風流仏は親しみ易くない」ということは本当であるならそれは四全総でない; int1 & int2 -> int3: その風流仏は四全総でない; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしその風流仏は総務部長でないとすれば「その原価計算は統計的データでないけど寒々しい」ということは成り立たない
事実2: その原価計算は轢き殺すということはない
事実3: なんらかの物は四全総でないとすると統計的データでない
事実4: もしその風流仏は総務部長でないとしたら「その原価計算は出撃しないがしかしそれは寒々しい」ということは偽だ
事実5: もし何らかの物は注意深くないとしたら「それは四全総であるし親しみ易い」ということは嘘である
事実6: もしその風流仏は出撃するし加えて寒々しいとしたら親しみ易くない
事実7: もし仮に「その風流仏は四全総だ」ということは成り立たないならば「その原価計算は総務部長でないけれどそれは統計的データだ」ということは誤っている
事実8: あの代金引き換えは出撃しない
事実9: 親しみ易いということはない物は四全総だということはない
事実10: もし仮に「その風流仏は出撃する一方で寒々しいということはない」ということは正しいならば「親しみ易くない」ということは成り立つ
事実11: 「もし仮にその風流仏が寒々しいが総務部長でないなら「その風流仏は親しみ易くない」ということは真実だ」ということは成り立つ
事実12: 「その原価計算は総務部長であるしさらに統計的データだ」ということは事実と異なる
事実13: その風流仏は寒々しかない
事実14: 「その原価計算は寒々しかない」ということは成り立つとしたら「その風流仏は親しみ易くて統計的データだ」ということは成り立たない
事実15: もしその風流仏が寒々しかないならばそれは総務部長でない
事実16: その風流仏は出撃する一方でそれは寒々しかない
事実17: もしもその風流仏は四全総でないとしたら「その原価計算は出撃するしまた統計的データである」ということは成り立たない
事実18: もし仮にその風流仏は統計的データでないなら「その原価計算は親しみ易くないけれど寒々しい」ということは成り立たない
事実19: その原価計算は寒々しいということはない
事実20: その原価計算はフォローアップ研修会でない
事実21: もし「その風流仏は四全総でない」ということは事実であるなら「「その原価計算は総務部長でおまけに統計的データだ」ということは真実でない」ということは成り立つ
事実22: その風流仏は統計的データでない
事実23: もしもその風流仏が詐偽だけど憎悪しないならかわゆくない

仮説: 「その原価計算は総務部長でないけど統計的データである」ということは間違いである
1. 事実10と事実16から、推論1: "その風流仏は親しみ易くない"が導かれる
2. 事実9から、推論2: "仮に「その風流仏は親しみ易くない」ということは本当であるならそれは四全総でない"が導かれる
3. 推論1と推論2から、推論3: "その風流仏は四全総でない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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