「この階は柔らかい」ということは誤りだ
fact1: もしもその物量作戦は甘酸っぱいとすると「この場庭は差異化するがしかしそれは発病だということはない」ということは誤りだ fact2: もしもなんらかの物は剣師でないとすると仕事らしくない fact3: 「この場庭は差異化するしまたそれは発病である」ということは間違いである fact4: もし「何かは差異化するがしかし発病でない」ということは偽であるとすれば由々し fact5: この場庭は低賃金であるとしたらそれは発病である fact6: もしこの場庭が由々しならばこの階は柔らかい fact7: その物量作戦は低賃金であるし規律する fact8: もしそのイノベーターは罹患し易いとすると「あの灌漑調査が沈まないしさらに御通ぜない」ということは真実であるということはない fact9: もしその物量作戦は甘酸っぱいならば「この場庭は差異化するし発病だ」ということは嘘である fact10: 仮に何かは低賃金でないならそれは柔らかくない fact11: もし仮に何らかの物は仕事らしくないとすると「発病であるしかつ由々し」ということは成り立つということはない fact12: その司法機関は罹患し易いがしかし補助線でない fact13: 低賃金は甘酸っぱい fact14: 「「その物量作戦は柔らかいが規律しない」ということは成り立たない」ということは成り立つ fact15: もしその司法機関が罹患し易いけれど補助線でないとするとそのイノベーターは罹患し易い fact16: もしも「「沈まないしその上御通ぜない」ということは間違いである」ものがあるならあの関数Ｓは混戦でない fact17: もしも「何かは剣師だけれどすばしっこいということはない」ということは成り立たないとすればそれは剣師でない fact18: その物量作戦は差異化するということはないとすれば「この階は規律しないがそれは甘酸っぱい」ということは確かであるということはない fact19: もしもあの関数Ｓは混戦でないならば「この場庭は剣師であるがしかしすばしっこいということはない」ということは成り立たない
fact7 -> int1: その物量作戦は低賃金だ; fact13 -> int2: もしもその物量作戦が低賃金ならそれは甘酸っぱい; int1 & int2 -> int3: その物量作戦は甘酸っぱい; int3 & fact1 -> int4: 「この場庭は差異化するけれど発病でない」ということは真実でない; fact4 -> int5: もしも「「この場庭は差異化するがしかし発病でない」ということは真実だ」ということは成り立つということはないとすればそれは由々し; int4 & int5 -> int6: この場庭は由々し; int6 & fact6 -> hypothesis;
この階は柔らかくない
fact27 -> int7: 仮にこの階は低賃金でないならそれは柔らかくない; fact23 -> int8: 仮に「この場庭は仕事らしくない」ということは本当であるとすると「「それは発病だし由々し」ということは正しい」ということは間違っている; fact24 -> int9: 仮にこの場庭は剣師でないならばそれは仕事らしくない; fact28 -> int10: もし「この場庭は剣師であるけどすばしっこいということはない」ということは誤りであるとしたら剣師でない; fact20 & fact29 -> int11: そのイノベーターは罹患し易い; fact22 & int11 -> int12: 「「あの灌漑調査は沈むということはないしさらに御通ぜない」ということは間違っている」ということは確かだ; int12 -> int13: 「「沈まないしそれに御通ずるということはない」ということは嘘である」物はある; int13 & fact21 -> int14: あの関数Ｓは混戦でない; fact26 & int14 -> int15: 「この場庭は剣師であるがしかしそれはすばしっこくない」ということは偽である; int10 & int15 -> int16: この場庭は剣師でない; int9 & int16 -> int17: この場庭は仕事らしくない; int8 & int17 -> int18: 「「この場庭は発病だしそれに由々し」ということは確かである」ということは成り立たない; int18 -> int19: 「「発病でしかも由々し」ということは間違っている」物はある;
$facts$ = fact1: もしもその物量作戦は甘酸っぱいとすると「この場庭は差異化するがしかしそれは発病だということはない」ということは誤りだ fact2: もしもなんらかの物は剣師でないとすると仕事らしくない fact3: 「この場庭は差異化するしまたそれは発病である」ということは間違いである fact4: もし「何かは差異化するがしかし発病でない」ということは偽であるとすれば由々し fact5: この場庭は低賃金であるとしたらそれは発病である fact6: もしこの場庭が由々しならばこの階は柔らかい fact7: その物量作戦は低賃金であるし規律する fact8: もしそのイノベーターは罹患し易いとすると「あの灌漑調査が沈まないしさらに御通ぜない」ということは真実であるということはない fact9: もしその物量作戦は甘酸っぱいならば「この場庭は差異化するし発病だ」ということは嘘である fact10: 仮に何かは低賃金でないならそれは柔らかくない fact11: もし仮に何らかの物は仕事らしくないとすると「発病であるしかつ由々し」ということは成り立つということはない fact12: その司法機関は罹患し易いがしかし補助線でない fact13: 低賃金は甘酸っぱい fact14: 「「その物量作戦は柔らかいが規律しない」ということは成り立たない」ということは成り立つ fact15: もしその司法機関が罹患し易いけれど補助線でないとするとそのイノベーターは罹患し易い fact16: もしも「「沈まないしその上御通ぜない」ということは間違いである」ものがあるならあの関数Ｓは混戦でない fact17: もしも「何かは剣師だけれどすばしっこいということはない」ということは成り立たないとすればそれは剣師でない fact18: その物量作戦は差異化するということはないとすれば「この階は規律しないがそれは甘酸っぱい」ということは確かであるということはない fact19: もしもあの関数Ｓは混戦でないならば「この場庭は剣師であるがしかしすばしっこいということはない」ということは成り立たない ; $hypothesis$ = 「この階は柔らかい」ということは誤りだ ; $proof$ = 
fact7 -> int1: その物量作戦は低賃金だ; fact13 -> int2: もしもその物量作戦が低賃金ならそれは甘酸っぱい; int1 & int2 -> int3: その物量作戦は甘酸っぱい; int3 & fact1 -> int4: 「この場庭は差異化するけれど発病でない」ということは真実でない; fact4 -> int5: もしも「「この場庭は差異化するがしかし発病でない」ということは真実だ」ということは成り立つということはないとすればそれは由々し; int4 & int5 -> int6: この場庭は由々し; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもその物量作戦は甘酸っぱいとすると「この場庭は差異化するがしかしそれは発病だということはない」ということは誤りだ
事実2: もしもなんらかの物は剣師でないとすると仕事らしくない
事実3: 「この場庭は差異化するしまたそれは発病である」ということは間違いである
事実4: もし「何かは差異化するがしかし発病でない」ということは偽であるとすれば由々し
事実5: この場庭は低賃金であるとしたらそれは発病である
事実6: もしこの場庭が由々しならばこの階は柔らかい
事実7: その物量作戦は低賃金であるし規律する
事実8: もしそのイノベーターは罹患し易いとすると「あの灌漑調査が沈まないしさらに御通ぜない」ということは真実であるということはない
事実9: もしその物量作戦は甘酸っぱいならば「この場庭は差異化するし発病だ」ということは嘘である
事実10: 仮に何かは低賃金でないならそれは柔らかくない
事実11: もし仮に何らかの物は仕事らしくないとすると「発病であるしかつ由々し」ということは成り立つということはない
事実12: その司法機関は罹患し易いがしかし補助線でない
事実13: 低賃金は甘酸っぱい
事実14: 「「その物量作戦は柔らかいが規律しない」ということは成り立たない」ということは成り立つ
事実15: もしその司法機関が罹患し易いけれど補助線でないとするとそのイノベーターは罹患し易い
事実16: もしも「「沈まないしその上御通ぜない」ということは間違いである」ものがあるならあの関数Ｓは混戦でない
事実17: もしも「何かは剣師だけれどすばしっこいということはない」ということは成り立たないとすればそれは剣師でない
事実18: その物量作戦は差異化するということはないとすれば「この階は規律しないがそれは甘酸っぱい」ということは確かであるということはない
事実19: もしもあの関数Ｓは混戦でないならば「この場庭は剣師であるがしかしすばしっこいということはない」ということは成り立たない

仮説: 「この階は柔らかい」ということは誤りだ
1. 事実7から、推論1: "その物量作戦は低賃金だ"が導かれる
2. 事実13から、推論2: "もしもその物量作戦が低賃金ならそれは甘酸っぱい"が導かれる
3. 推論1と推論2から、推論3: "その物量作戦は甘酸っぱい"が導かれる
4. 推論3と事実1から、推論4: "「この場庭は差異化するけれど発病でない」ということは真実でない"が導かれる
5. 事実4から、推論5: "もしも「「この場庭は差異化するがしかし発病でない」ということは真実だ」ということは成り立つということはないとすればそれは由々し"が導かれる
6. 推論4と推論5から、推論6: "この場庭は由々し"が導かれる
7. 推論6と事実6から、仮説が否定される

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