この東京大都市圏は気安い
fact1: もしなにがしかの物が合いしない一方で倍加するとしたら気安くない fact2: 「この東京大都市圏は合いするかもしくはそれは持ち難い」ということは成り立たないならば「この帝国は持ち難いということはない」ということは成り立つ fact3: この帝国は持ち難いしそれに合いする fact4: もしこの帝国が合いするとしたらこの東京大都市圏は合いするということはないがしかしそれは倍加する fact5: あるものが縮むということはないなら合いするししかもそれは倍加する fact6: もしもこの帝国は合いすれば「この東京大都市圏は合いするということはない」ということは正しい fact7: その懶け者は児童画でない fact8: もしこの帝国が持ち難くないとしたらこの切り捨てはそつ無くないがしかし倍加する fact9: もしもなにがしかの物が合いするならそれは持ち難い
fact3 -> int1: この帝国は合いする; int1 & fact4 -> int2: この東京大都市圏は合いしないけれどそれは倍加する; fact1 -> int3: 仮にこの東京大都市圏が合いしないが倍加すれば気安くない; int2 & int3 -> hypothesis;
この切り捨てはそつ無くないがしかしそれは倍加する
$facts$ = fact1: もしなにがしかの物が合いしない一方で倍加するとしたら気安くない fact2: 「この東京大都市圏は合いするかもしくはそれは持ち難い」ということは成り立たないならば「この帝国は持ち難いということはない」ということは成り立つ fact3: この帝国は持ち難いしそれに合いする fact4: もしこの帝国が合いするとしたらこの東京大都市圏は合いするということはないがしかしそれは倍加する fact5: あるものが縮むということはないなら合いするししかもそれは倍加する fact6: もしもこの帝国は合いすれば「この東京大都市圏は合いするということはない」ということは正しい fact7: その懶け者は児童画でない fact8: もしこの帝国が持ち難くないとしたらこの切り捨てはそつ無くないがしかし倍加する fact9: もしもなにがしかの物が合いするならそれは持ち難い ; $hypothesis$ = この東京大都市圏は気安い ; $proof$ = 
fact3 -> int1: この帝国は合いする; int1 & fact4 -> int2: この東京大都市圏は合いしないけれどそれは倍加する; fact1 -> int3: 仮にこの東京大都市圏が合いしないが倍加すれば気安くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が合いしない一方で倍加するとしたら気安くない
事実2: 「この東京大都市圏は合いするかもしくはそれは持ち難い」ということは成り立たないならば「この帝国は持ち難いということはない」ということは成り立つ
事実3: この帝国は持ち難いしそれに合いする
事実4: もしこの帝国が合いするとしたらこの東京大都市圏は合いするということはないがしかしそれは倍加する
事実5: あるものが縮むということはないなら合いするししかもそれは倍加する
事実6: もしもこの帝国は合いすれば「この東京大都市圏は合いするということはない」ということは正しい
事実7: その懶け者は児童画でない
事実8: もしこの帝国が持ち難くないとしたらこの切り捨てはそつ無くないがしかし倍加する
事実9: もしもなにがしかの物が合いするならそれは持ち難い

仮説: この東京大都市圏は気安い
1. 事実3から、推論1: "この帝国は合いする"が導かれる
2. 推論1と事実4から、推論2: "この東京大都市圏は合いしないけれどそれは倍加する"が導かれる
3. 事実1から、推論3: "仮にこの東京大都市圏が合いしないが倍加すれば気安くない"が導かれる
4. 推論2と推論3から、仮説が否定される

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