「もしこの家具調度が運び易いならばその生活障害は市場関係者だ」ということは誤りである
fact1: この家具調度はギルである fact2: 「この家具調度は二字である一方でそれは奇麗さでない」ということは成り立たない fact3: この四百字詰め原稿用紙は二字だ fact4: その生活障害は二字だ fact5: 仮になんらかの物は運び易いならば「それは解剖時だ一方で二字でない」ということは成り立つということはない fact6: 「仮に「この家具調度は解剖時であるがしかしそれは二字でない」ということは真実でないならその生活障害は市場関係者だ」ということは成り立つ fact7: もしとある物は市場関係者であるならば「「二字であるしそれに運び易い」ということは間違いであるということはない」ということは成り立たない fact8: もしその生活障害は地動説だとすると「置き易くて加えて市場関係者だ」ということは成り立つということはない fact9: この腹部不快感は市場関係者だ fact10: 「この家具調度は運び易い」ということは真実であるならばその生活障害は二字である fact11: その生活障害は解剖時である fact12: 仮に何かは引っ手繰るとすれば「それはアイラッシュだが市場関係者でない」ということは成り立つということはない fact13: 「その生活障害は市場関係者だが二字でない」ということは偽であるならこの家具調度は運び易い
fact5 -> int1: もしこの家具調度は運び易いとすれば「解剖時であるし更にそれは二字でない」ということは偽だ; void -> assump1: 以下のように仮定する。この家具調度は運び易い; int1 & assump1 -> int2: 「この家具調度は解剖時だがしかしそれは二字でない」ということは誤りである; int2 & fact6 -> int3: 「その生活障害は市場関係者である」ということは正しい; [assump1] & int3 -> hypothesis;
仮にあの女装趣味は引っ手繰るなら「それはアイラッシュであるけど市場関係者でない」ということは偽だ
fact14 -> hypothesis;
$facts$ = fact1: この家具調度はギルである fact2: 「この家具調度は二字である一方でそれは奇麗さでない」ということは成り立たない fact3: この四百字詰め原稿用紙は二字だ fact4: その生活障害は二字だ fact5: 仮になんらかの物は運び易いならば「それは解剖時だ一方で二字でない」ということは成り立つということはない fact6: 「仮に「この家具調度は解剖時であるがしかしそれは二字でない」ということは真実でないならその生活障害は市場関係者だ」ということは成り立つ fact7: もしとある物は市場関係者であるならば「「二字であるしそれに運び易い」ということは間違いであるということはない」ということは成り立たない fact8: もしその生活障害は地動説だとすると「置き易くて加えて市場関係者だ」ということは成り立つということはない fact9: この腹部不快感は市場関係者だ fact10: 「この家具調度は運び易い」ということは真実であるならばその生活障害は二字である fact11: その生活障害は解剖時である fact12: 仮に何かは引っ手繰るとすれば「それはアイラッシュだが市場関係者でない」ということは成り立つということはない fact13: 「その生活障害は市場関係者だが二字でない」ということは偽であるならこの家具調度は運び易い ; $hypothesis$ = 「もしこの家具調度が運び易いならばその生活障害は市場関係者だ」ということは誤りである ; $proof$ = 
fact5 -> int1: もしこの家具調度は運び易いとすれば「解剖時であるし更にそれは二字でない」ということは偽だ; void -> assump1: 以下のように仮定する。この家具調度は運び易い; int1 & assump1 -> int2: 「この家具調度は解剖時だがしかしそれは二字でない」ということは誤りである; int2 & fact6 -> int3: 「その生活障害は市場関係者である」ということは正しい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この家具調度はギルである
事実2: 「この家具調度は二字である一方でそれは奇麗さでない」ということは成り立たない
事実3: この四百字詰め原稿用紙は二字だ
事実4: その生活障害は二字だ
事実5: 仮になんらかの物は運び易いならば「それは解剖時だ一方で二字でない」ということは成り立つということはない
事実6: 「仮に「この家具調度は解剖時であるがしかしそれは二字でない」ということは真実でないならその生活障害は市場関係者だ」ということは成り立つ
事実7: もしとある物は市場関係者であるならば「「二字であるしそれに運び易い」ということは間違いであるということはない」ということは成り立たない
事実8: もしその生活障害は地動説だとすると「置き易くて加えて市場関係者だ」ということは成り立つということはない
事実9: この腹部不快感は市場関係者だ
事実10: 「この家具調度は運び易い」ということは真実であるならばその生活障害は二字である
事実11: その生活障害は解剖時である
事実12: 仮に何かは引っ手繰るとすれば「それはアイラッシュだが市場関係者でない」ということは成り立つということはない
事実13: 「その生活障害は市場関係者だが二字でない」ということは偽であるならこの家具調度は運び易い

仮説: 「もしこの家具調度が運び易いならばその生活障害は市場関係者だ」ということは誤りである
1. 事実5から、推論1: "もしこの家具調度は運び易いとすれば「解剖時であるし更にそれは二字でない」ということは偽だ"が導かれる
2. 仮定1: 以下のように仮定する。この家具調度は運び易い
3. 推論1と仮定1から、推論2: "「この家具調度は解剖時だがしかしそれは二字でない」ということは誤りである"が導かれる
4. 推論2と事実6から、推論3: "「その生活障害は市場関係者である」ということは正しい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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