「この関連法はスタッカートだがしかし前著でない」ということは事実でない
fact1: 仮に「この関連法は権力欲でないしさらにそれは前著だということはない」ということは間違いならこの統合化は権力欲でない fact2: 「この関連法は仲直り出来るし加えて権力欲だ」ということは真実である fact3: もしもある物は権力欲でないならそれはスタッカートであるし仲直り出来る fact4: とあるものが仲直り出来るしその上拙著だとしたら前著でない fact5: この学童期は拙著である fact6: きったなくない物は権力欲で拙著である fact7: この学童期が拙著であるならこの関連法は拙著だ fact8: この関連法はきったない fact9: きったない物はスタッカートである fact10: もし仮に「なにがしかのものは仲直り出来ない」ということは本当であるとすると「スタッカートで更に前著でない」ということは成り立つということはない
fact2 -> int1: この関連法は仲直り出来る; fact7 & fact5 -> int2: この関連法は拙著だ; int1 & int2 -> int3: この関連法は仲直り出来るししかもそれは拙著だ; fact4 -> int4: もしもこの関連法が仲直り出来るしまた拙著だとすると前著でない; int3 & int4 -> int5: この関連法は前著でない; fact9 -> int6: もしもこの関連法はきったないなら「それはスタッカートだ」ということは真実だ; int6 & fact8 -> int7: この関連法はスタッカートである; int5 & int7 -> hypothesis;
「この関連法はスタッカートであるが前著でない」ということは成り立たない
fact11 -> int8: もしこの関連法は仲直り出来ないなら「スタッカートだが前著でない」ということは嘘である; fact12 -> int9: もしもこの学童期がきったなくないなら権力欲であるしおまけにそれは拙著だ;
$facts$ = fact1: 仮に「この関連法は権力欲でないしさらにそれは前著だということはない」ということは間違いならこの統合化は権力欲でない fact2: 「この関連法は仲直り出来るし加えて権力欲だ」ということは真実である fact3: もしもある物は権力欲でないならそれはスタッカートであるし仲直り出来る fact4: とあるものが仲直り出来るしその上拙著だとしたら前著でない fact5: この学童期は拙著である fact6: きったなくない物は権力欲で拙著である fact7: この学童期が拙著であるならこの関連法は拙著だ fact8: この関連法はきったない fact9: きったない物はスタッカートである fact10: もし仮に「なにがしかのものは仲直り出来ない」ということは本当であるとすると「スタッカートで更に前著でない」ということは成り立つということはない ; $hypothesis$ = 「この関連法はスタッカートだがしかし前著でない」ということは事実でない ; $proof$ = 
fact2 -> int1: この関連法は仲直り出来る; fact7 & fact5 -> int2: この関連法は拙著だ; int1 & int2 -> int3: この関連法は仲直り出来るししかもそれは拙著だ; fact4 -> int4: もしもこの関連法が仲直り出来るしまた拙著だとすると前著でない; int3 & int4 -> int5: この関連法は前著でない; fact9 -> int6: もしもこの関連法はきったないなら「それはスタッカートだ」ということは真実だ; int6 & fact8 -> int7: この関連法はスタッカートである; int5 & int7 -> hypothesis; __DISPROVED__
事実1: 仮に「この関連法は権力欲でないしさらにそれは前著だということはない」ということは間違いならこの統合化は権力欲でない
事実2: 「この関連法は仲直り出来るし加えて権力欲だ」ということは真実である
事実3: もしもある物は権力欲でないならそれはスタッカートであるし仲直り出来る
事実4: とあるものが仲直り出来るしその上拙著だとしたら前著でない
事実5: この学童期は拙著である
事実6: きったなくない物は権力欲で拙著である
事実7: この学童期が拙著であるならこの関連法は拙著だ
事実8: この関連法はきったない
事実9: きったない物はスタッカートである
事実10: もし仮に「なにがしかのものは仲直り出来ない」ということは本当であるとすると「スタッカートで更に前著でない」ということは成り立つということはない

仮説: 「この関連法はスタッカートだがしかし前著でない」ということは事実でない
1. 事実2から、推論1: "この関連法は仲直り出来る"が導かれる
2. 事実7と事実5から、推論2: "この関連法は拙著だ"が導かれる
3. 推論1と推論2から、推論3: "この関連法は仲直り出来るししかもそれは拙著だ"が導かれる
4. 事実4から、推論4: "もしもこの関連法が仲直り出来るしまた拙著だとすると前著でない"が導かれる
5. 推論3と推論4から、推論5: "この関連法は前著でない"が導かれる
6. 事実9から、推論6: "もしもこの関連法はきったないなら「それはスタッカートだ」ということは真実だ"が導かれる
7. 推論6と事実8から、推論7: "この関連法はスタッカートである"が導かれる
8. 推論5と推論7から、仮説が否定される

よって、仮説が否定されました。