あの踏み場は聖別するということはない
fact1: もし仮に「あの踏み場はとろ臭い」ということは成り立つとすると聖別する fact2: この就労時間は軽ーいということはない fact3: もしあのドナー細胞は了解しないとすると「それはとろ臭いしまた目まぐるしい」ということは誤っている fact4: 「その酒石酸塩は移し替えるが聖別しない」ということは真実でない fact5: 「あの踏み場は目まぐるしいししかもそれはとろ臭い」ということは確かでない fact6: もしその酒石酸塩は目まぐるしいならば「あの踏み場は目まぐるしいけどそれはとろ臭くない」ということは事実と異なる fact7: もし「「とろ臭いししかも目まぐるしい」ということは間違っている」物があるならあの映画作りは目まぐるしいということはない fact8: あのドナー細胞は了解しない fact9: もしもある物が軽ーくないならばあの酒石酸塩は飲み尽くすがそれは移し替えない fact10: 「もし仮にあの映画作りが飲み尽くせばその酒石酸塩は軽ーい」ということは事実だ fact11: もし「あの踏み場はとろ臭いけれど飲み尽くすということはない」ということは誤っていれば移し替える fact12: もし何かは飲み尽くす一方でそれは移し替えないなら「それは目まぐるしい」ということは成り立つ fact13: とろ臭い物は聖別する fact14: もしもその酒石酸塩は目まぐるしいとすると「「あの踏み場は目まぐるしくて更にとろ臭い」ということは成り立つ」ということは間違っている fact15: もし仮に「軽ーくない」ものがあるとしたらその酒石酸塩は飲み尽くす fact16: 「その酒石酸塩は飲み尽くす」ということは成り立つ fact17: 「軽ーい」ものはある fact18: もしも「なにがしかの物は目まぐるしいがしかしそれはとろ臭くない」ということは偽ならば聖別する
fact2 -> int1: 軽ーくない物はある; int1 & fact9 -> int2: その酒石酸塩は飲み尽くすけれどそれは移し替えない; fact12 -> int3: もしその酒石酸塩は飲み尽くすが移し替えないなら目まぐるしい; int2 & int3 -> int4: その酒石酸塩は目まぐるしい; int4 & fact6 -> int5: 「「あの踏み場は目まぐるしいがとろ臭くない」ということは嘘である」ということは事実だ; fact18 -> int6: もし仮に「あの踏み場は目まぐるしい一方でとろ臭いということはない」ということは成り立つということはないとすると「聖別する」ということは真実である; int5 & int6 -> hypothesis;
あの踏み場は聖別しない
fact21 & fact22 -> int7: 「あのドナー細胞はとろ臭くてそれは目まぐるしい」ということは間違っている; int7 -> int8: 「「とろ臭いしかつ目まぐるしい」ということは偽な」物はある; int8 & fact19 -> int9: あの映画作りは目まぐるしかない;
$facts$ = fact1: もし仮に「あの踏み場はとろ臭い」ということは成り立つとすると聖別する fact2: この就労時間は軽ーいということはない fact3: もしあのドナー細胞は了解しないとすると「それはとろ臭いしまた目まぐるしい」ということは誤っている fact4: 「その酒石酸塩は移し替えるが聖別しない」ということは真実でない fact5: 「あの踏み場は目まぐるしいししかもそれはとろ臭い」ということは確かでない fact6: もしその酒石酸塩は目まぐるしいならば「あの踏み場は目まぐるしいけどそれはとろ臭くない」ということは事実と異なる fact7: もし「「とろ臭いししかも目まぐるしい」ということは間違っている」物があるならあの映画作りは目まぐるしいということはない fact8: あのドナー細胞は了解しない fact9: もしもある物が軽ーくないならばあの酒石酸塩は飲み尽くすがそれは移し替えない fact10: 「もし仮にあの映画作りが飲み尽くせばその酒石酸塩は軽ーい」ということは事実だ fact11: もし「あの踏み場はとろ臭いけれど飲み尽くすということはない」ということは誤っていれば移し替える fact12: もし何かは飲み尽くす一方でそれは移し替えないなら「それは目まぐるしい」ということは成り立つ fact13: とろ臭い物は聖別する fact14: もしもその酒石酸塩は目まぐるしいとすると「「あの踏み場は目まぐるしくて更にとろ臭い」ということは成り立つ」ということは間違っている fact15: もし仮に「軽ーくない」ものがあるとしたらその酒石酸塩は飲み尽くす fact16: 「その酒石酸塩は飲み尽くす」ということは成り立つ fact17: 「軽ーい」ものはある fact18: もしも「なにがしかの物は目まぐるしいがしかしそれはとろ臭くない」ということは偽ならば聖別する ; $hypothesis$ = あの踏み場は聖別するということはない ; $proof$ = 
fact2 -> int1: 軽ーくない物はある; int1 & fact9 -> int2: その酒石酸塩は飲み尽くすけれどそれは移し替えない; fact12 -> int3: もしその酒石酸塩は飲み尽くすが移し替えないなら目まぐるしい; int2 & int3 -> int4: その酒石酸塩は目まぐるしい; int4 & fact6 -> int5: 「「あの踏み場は目まぐるしいがとろ臭くない」ということは嘘である」ということは事実だ; fact18 -> int6: もし仮に「あの踏み場は目まぐるしい一方でとろ臭いということはない」ということは成り立つということはないとすると「聖別する」ということは真実である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの踏み場はとろ臭い」ということは成り立つとすると聖別する
事実2: この就労時間は軽ーいということはない
事実3: もしあのドナー細胞は了解しないとすると「それはとろ臭いしまた目まぐるしい」ということは誤っている
事実4: 「その酒石酸塩は移し替えるが聖別しない」ということは真実でない
事実5: 「あの踏み場は目まぐるしいししかもそれはとろ臭い」ということは確かでない
事実6: もしその酒石酸塩は目まぐるしいならば「あの踏み場は目まぐるしいけどそれはとろ臭くない」ということは事実と異なる
事実7: もし「「とろ臭いししかも目まぐるしい」ということは間違っている」物があるならあの映画作りは目まぐるしいということはない
事実8: あのドナー細胞は了解しない
事実9: もしもある物が軽ーくないならばあの酒石酸塩は飲み尽くすがそれは移し替えない
事実10: 「もし仮にあの映画作りが飲み尽くせばその酒石酸塩は軽ーい」ということは事実だ
事実11: もし「あの踏み場はとろ臭いけれど飲み尽くすということはない」ということは誤っていれば移し替える
事実12: もし何かは飲み尽くす一方でそれは移し替えないなら「それは目まぐるしい」ということは成り立つ
事実13: とろ臭い物は聖別する
事実14: もしもその酒石酸塩は目まぐるしいとすると「「あの踏み場は目まぐるしくて更にとろ臭い」ということは成り立つ」ということは間違っている
事実15: もし仮に「軽ーくない」ものがあるとしたらその酒石酸塩は飲み尽くす
事実16: 「その酒石酸塩は飲み尽くす」ということは成り立つ
事実17: 「軽ーい」ものはある
事実18: もしも「なにがしかの物は目まぐるしいがしかしそれはとろ臭くない」ということは偽ならば聖別する

仮説: あの踏み場は聖別するということはない
1. 事実2から、推論1: "軽ーくない物はある"が導かれる
2. 推論1と事実9から、推論2: "その酒石酸塩は飲み尽くすけれどそれは移し替えない"が導かれる
3. 事実12から、推論3: "もしその酒石酸塩は飲み尽くすが移し替えないなら目まぐるしい"が導かれる
4. 推論2と推論3から、推論4: "その酒石酸塩は目まぐるしい"が導かれる
5. 推論4と事実6から、推論5: "「「あの踏み場は目まぐるしいがとろ臭くない」ということは嘘である」ということは事実だ"が導かれる
6. 事実18から、推論6: "もし仮に「あの踏み場は目まぐるしい一方でとろ臭いということはない」ということは成り立つということはないとすると「聖別する」ということは真実である"が導かれる
7. 推論5と推論6から、仮説が否定される

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