「この一次産業は鬱病相であるということはないかもしくは闘乱でないかあるいは両方である」ということは偽だ
fact1: この第一海堡は助太刀であるということはない fact2: もし仮にこの第一海堡が紙御襁褓であるしそれに助太刀だとしたらその書士はブラバスらしくない fact3: その動態は助太刀である fact4: もし「この第一海堡は屋根付き露天風呂でないしそれに風靡しない」ということは嘘だとすると風靡する fact5: もし仮にその書士が作業し易くないならばこの第一海堡は植物系でない fact6: もし仮にその書士がブラバスらしくないとしたらその動態は鬱病相でない fact7: もし仮に「この第一海堡は植物系でない」ということは確かなら「「この一次産業は鬱病相でないかあるいは闘乱でないかもしくはどちらもである」ということは成り立たない」ということは事実である fact8: もしも何かはブラバスらしいかもしくは助太刀であるかまたは両方だとすればその書士は紙御襁褓であるということはない fact9: もしその書士は増額しないとすると「その動態は助太刀でないか紙御襁褓でないかどちらもである」ということは事実と異なる fact10: もし何らかのものが紙御襁褓だということはないが増額するとするとそれは作業し易くない fact11: あの逓増は点滴治療でない fact12: もしも「ブラバスらしい」ものがあればその書士は紙御襁褓だということはない fact13: その書士は植物系であるということはない fact14: もしもとあるものは増額しないけれど点滴治療であるとするとそれは紙御襁褓でない fact15: この第一海堡は増額する fact16: 「この第一海堡は屋根付き露天風呂でなくてしかも風靡しない」ということは誤っている fact17: ある物は風靡するとすると「「増額しなくて作業し易い」ということは事実だ」ということは成り立たない fact18: とある物がスイングするとするとそれは増額する fact19: その書士は点滴治療であるしさらにスイングする fact20: 「その動態は鬱病相でない」ということは間違いだということはない fact21: その書士は点滴治療だ fact22: この一次産業は鬱病相である fact23: 「仮にその書士が助太刀でないならばその動態は作業し易い」ということは成り立つ
fact3 -> int1: その動態はブラバスらしいかもしくは助太刀であるかまたは両方だ; int1 -> int2: あるものはブラバスらしいかあるいは助太刀であるか両方だ; int2 & fact8 -> int3: 「その書士は紙御襁褓でない」ということは成り立つ; fact18 -> int4: もしその書士がスイングすれば増額する; fact19 -> int5: その書士はスイングする; int4 & int5 -> int6: その書士は増額する; int3 & int6 -> int7: その書士は紙御襁褓でないけれどそれは増額する; fact10 -> int8: もしもその書士は紙御襁褓でない一方で増額するとすれば「作業し易くない」ということは事実だ; int7 & int8 -> int9: 「その書士は作業し易くない」ということは本当だ; int9 & fact5 -> int10: この第一海堡は植物系でない; int10 & fact7 -> hypothesis;
この一次産業は鬱病相であるということはないかそれは闘乱でないか両方だ
fact24 -> int11: 「助太刀でない」ものはある;
$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$ = 
fact3 -> int1: その動態はブラバスらしいかもしくは助太刀であるかまたは両方だ; int1 -> int2: あるものはブラバスらしいかあるいは助太刀であるか両方だ; int2 & fact8 -> int3: 「その書士は紙御襁褓でない」ということは成り立つ; fact18 -> int4: もしその書士がスイングすれば増額する; fact19 -> int5: その書士はスイングする; int4 & int5 -> int6: その書士は増額する; int3 & int6 -> int7: その書士は紙御襁褓でないけれどそれは増額する; fact10 -> int8: もしもその書士は紙御襁褓でない一方で増額するとすれば「作業し易くない」ということは事実だ; int7 & int8 -> int9: 「その書士は作業し易くない」ということは本当だ; int9 & fact5 -> int10: この第一海堡は植物系でない; int10 & 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. 事実3から、推論1: "その動態はブラバスらしいかもしくは助太刀であるかまたは両方だ"が導かれる
2. 推論1から、推論2: "あるものはブラバスらしいかあるいは助太刀であるか両方だ"が導かれる
3. 推論2と事実8から、推論3: "「その書士は紙御襁褓でない」ということは成り立つ"が導かれる
4. 事実18から、推論4: "もしその書士がスイングすれば増額する"が導かれる
5. 事実19から、推論5: "その書士はスイングする"が導かれる
6. 推論4と推論5から、推論6: "その書士は増額する"が導かれる
7. 推論3と推論6から、推論7: "その書士は紙御襁褓でないけれどそれは増額する"が導かれる
8. 事実10から、推論8: "もしもその書士は紙御襁褓でない一方で増額するとすれば「作業し易くない」ということは事実だ"が導かれる
9. 推論7と推論8から、推論9: "「その書士は作業し易くない」ということは本当だ"が導かれる
10. 推論9と事実5から、推論10: "この第一海堡は植物系でない"が導かれる
11. 推論10と事実7から、仮説が導かれる

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