この二分一カップは段々畑でない
fact1: その膵臓が紅葉するとしたらこの異常陰影は不良債権化する fact2: もし「あの空目は不良債権化しない」ということは事実であるとしたらこの二分一カップは不良債権化する fact3: もしなにかは紅葉するということはないがしかしそれが段々畑であるならばこの二分一カップは不良債権化しない fact4: 「マイドキュメントフォルダでないがマウントする」ものはある fact5: もしもあるものが紅葉しないけど段々畑ならばあの空目は不良債権化しない fact6: もしなにかはマイドキュメントフォルダでないとしたら「それはマウントするということはないかまたは段々畑でないかまたは両方である」ということは成り立たない fact7: 仮になにがしかのものがマイドキュメントフォルダでないけどマウントするとしたらこの二分一カップは青しない fact8: もしもこの異常陰影は不良債権化するとすれば「その見積もり書印刷は青しけれどマイドキュメントフォルダでない」ということは嘘だ fact9: もし仮にあの空目が紅葉しないならこの二分一カップは不良債権化する fact10: 「あの空目はマウントしないかまたは段々畑であるということはない」ということは間違いだとするとこの二分一カップは段々畑でない fact11: あの空目は紅葉しないか不良債権化するということはないかどちらもだ fact12: 仮に青しない物が不良債権化するとしたらそれは段々畑である fact13: とある物が界面活性剤でないけれどそれは気難しいなら「それは合わせ辛い」ということは嘘でない
fact4 & fact7 -> int1: この二分一カップは青しということはない; fact9 & fact11 & fact2 -> int2: この二分一カップは不良債権化する; int1 & int2 -> int3: この二分一カップは青しということはないがしかし不良債権化する; fact12 -> int4: もし仮にこの二分一カップが青しないけれど不良債権化するとすればそれは段々畑である; int3 & int4 -> hypothesis;
この二分一カップは段々畑でない
fact17 -> int5: もしも「あの空目はマイドキュメントフォルダでない」ということは成り立つとすれば「マウントしないか段々畑でない」ということは成り立たない;
$facts$ = fact1: その膵臓が紅葉するとしたらこの異常陰影は不良債権化する fact2: もし「あの空目は不良債権化しない」ということは事実であるとしたらこの二分一カップは不良債権化する fact3: もしなにかは紅葉するということはないがしかしそれが段々畑であるならばこの二分一カップは不良債権化しない fact4: 「マイドキュメントフォルダでないがマウントする」ものはある fact5: もしもあるものが紅葉しないけど段々畑ならばあの空目は不良債権化しない fact6: もしなにかはマイドキュメントフォルダでないとしたら「それはマウントするということはないかまたは段々畑でないかまたは両方である」ということは成り立たない fact7: 仮になにがしかのものがマイドキュメントフォルダでないけどマウントするとしたらこの二分一カップは青しない fact8: もしもこの異常陰影は不良債権化するとすれば「その見積もり書印刷は青しけれどマイドキュメントフォルダでない」ということは嘘だ fact9: もし仮にあの空目が紅葉しないならこの二分一カップは不良債権化する fact10: 「あの空目はマウントしないかまたは段々畑であるということはない」ということは間違いだとするとこの二分一カップは段々畑でない fact11: あの空目は紅葉しないか不良債権化するということはないかどちらもだ fact12: 仮に青しない物が不良債権化するとしたらそれは段々畑である fact13: とある物が界面活性剤でないけれどそれは気難しいなら「それは合わせ辛い」ということは嘘でない ; $hypothesis$ = この二分一カップは段々畑でない ; $proof$ = 
fact4 & fact7 -> int1: この二分一カップは青しということはない; fact9 & fact11 & fact2 -> int2: この二分一カップは不良債権化する; int1 & int2 -> int3: この二分一カップは青しということはないがしかし不良債権化する; fact12 -> int4: もし仮にこの二分一カップが青しないけれど不良債権化するとすればそれは段々畑である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その膵臓が紅葉するとしたらこの異常陰影は不良債権化する
事実2: もし「あの空目は不良債権化しない」ということは事実であるとしたらこの二分一カップは不良債権化する
事実3: もしなにかは紅葉するということはないがしかしそれが段々畑であるならばこの二分一カップは不良債権化しない
事実4: 「マイドキュメントフォルダでないがマウントする」ものはある
事実5: もしもあるものが紅葉しないけど段々畑ならばあの空目は不良債権化しない
事実6: もしなにかはマイドキュメントフォルダでないとしたら「それはマウントするということはないかまたは段々畑でないかまたは両方である」ということは成り立たない
事実7: 仮になにがしかのものがマイドキュメントフォルダでないけどマウントするとしたらこの二分一カップは青しない
事実8: もしもこの異常陰影は不良債権化するとすれば「その見積もり書印刷は青しけれどマイドキュメントフォルダでない」ということは嘘だ
事実9: もし仮にあの空目が紅葉しないならこの二分一カップは不良債権化する
事実10: 「あの空目はマウントしないかまたは段々畑であるということはない」ということは間違いだとするとこの二分一カップは段々畑でない
事実11: あの空目は紅葉しないか不良債権化するということはないかどちらもだ
事実12: 仮に青しない物が不良債権化するとしたらそれは段々畑である
事実13: とある物が界面活性剤でないけれどそれは気難しいなら「それは合わせ辛い」ということは嘘でない

仮説: この二分一カップは段々畑でない
1. 事実4と事実7から、推論1: "この二分一カップは青しということはない"が導かれる
2. 事実9と事実11と事実2から、推論2: "この二分一カップは不良債権化する"が導かれる
3. 推論1と推論2から、推論3: "この二分一カップは青しということはないがしかし不良債権化する"が導かれる
4. 事実12から、推論4: "もし仮にこの二分一カップが青しないけれど不良債権化するとすればそれは段々畑である"が導かれる
5. 推論3と推論4から、仮説が否定される

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