このワインボトルは分別する
fact1: この前哨リンパ節生検はバランスしない fact2: もし仮にこの前哨リンパ節生検が通じ難くないならシャッターボタンであるし出産する fact3: 「この利益比率は未練がましい」ということは真実である fact4: もしこのワインボトルは通じ難くないならば「それは分別する」ということは確かだ fact5: とあるものが悔しい一方でそれが未練がましくらないとすればそれは出産しない fact6: このワインボトルは借り出す fact7: もしもこの前哨リンパ節生検はファブリックであるということはないならば悔しいけれど未練がましかない fact8: その神秘主義は悔しい fact9: もしも「この前哨リンパ節生検は良いがしかしファブリックでない」ということは嘘であるとすればこのワインボトルは分別しない fact10: 「このワインボトルは勃発するしそれに通じ難い」ということは成り立たない fact11: 仮にこの前哨リンパ節生検は悔しいけどファブリックでないとすると「分別しない」ということは事実だ fact12: 「この前哨リンパ節生検は紛らわしいけれどスクラップしない」ということは成り立つということはない fact13: もしこのワインボトルが分別しないとすれば未練がましい fact14: もしもこのワインボトルが分別するということはないならそれは通じ難い fact15: この前哨リンパ節生検は通じ難いということはない fact16: 「この暴発は手際良くてちょろい」ということは誤っている fact17: 「もしも何かは未練がましいが分別しないなら「悔しくない」ということは確かである」ということは本当である
void -> assump1: 以下のように仮定する。この前哨リンパ節生検は良いがファブリックだということはない; assump1 -> int1: この前哨リンパ節生検はファブリックでない; int1 & fact7 -> int2: この前哨リンパ節生検は悔しい一方で未練がましかない; fact5 -> int3: もし仮にこの前哨リンパ節生検は悔しいが未練がましかないならば出産するということはない; int2 & int3 -> int4: この前哨リンパ節生検は出産しない; fact15 & fact2 -> int5: この前哨リンパ節生検はシャッターボタンであるしそれに出産する; int5 -> int6: この前哨リンパ節生検は出産する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この前哨リンパ節生検は良いがファブリックでない」ということは成り立つということはない; int8 & fact9 -> hypothesis;
$facts$ = fact1: この前哨リンパ節生検はバランスしない fact2: もし仮にこの前哨リンパ節生検が通じ難くないならシャッターボタンであるし出産する fact3: 「この利益比率は未練がましい」ということは真実である fact4: もしこのワインボトルは通じ難くないならば「それは分別する」ということは確かだ fact5: とあるものが悔しい一方でそれが未練がましくらないとすればそれは出産しない fact6: このワインボトルは借り出す fact7: もしもこの前哨リンパ節生検はファブリックであるということはないならば悔しいけれど未練がましかない fact8: その神秘主義は悔しい fact9: もしも「この前哨リンパ節生検は良いがしかしファブリックでない」ということは嘘であるとすればこのワインボトルは分別しない fact10: 「このワインボトルは勃発するしそれに通じ難い」ということは成り立たない fact11: 仮にこの前哨リンパ節生検は悔しいけどファブリックでないとすると「分別しない」ということは事実だ fact12: 「この前哨リンパ節生検は紛らわしいけれどスクラップしない」ということは成り立つということはない fact13: もしこのワインボトルが分別しないとすれば未練がましい fact14: もしもこのワインボトルが分別するということはないならそれは通じ難い fact15: この前哨リンパ節生検は通じ難いということはない fact16: 「この暴発は手際良くてちょろい」ということは誤っている fact17: 「もしも何かは未練がましいが分別しないなら「悔しくない」ということは確かである」ということは本当である ; $hypothesis$ = このワインボトルは分別する ; $proof$ = 
void -> assump1: 以下のように仮定する。この前哨リンパ節生検は良いがファブリックだということはない; assump1 -> int1: この前哨リンパ節生検はファブリックでない; int1 & fact7 -> int2: この前哨リンパ節生検は悔しい一方で未練がましかない; fact5 -> int3: もし仮にこの前哨リンパ節生検は悔しいが未練がましかないならば出産するということはない; int2 & int3 -> int4: この前哨リンパ節生検は出産しない; fact15 & fact2 -> int5: この前哨リンパ節生検はシャッターボタンであるしそれに出産する; int5 -> int6: この前哨リンパ節生検は出産する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この前哨リンパ節生検は良いがファブリックでない」ということは成り立つということはない; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: この前哨リンパ節生検はバランスしない
事実2: もし仮にこの前哨リンパ節生検が通じ難くないならシャッターボタンであるし出産する
事実3: 「この利益比率は未練がましい」ということは真実である
事実4: もしこのワインボトルは通じ難くないならば「それは分別する」ということは確かだ
事実5: とあるものが悔しい一方でそれが未練がましくらないとすればそれは出産しない
事実6: このワインボトルは借り出す
事実7: もしもこの前哨リンパ節生検はファブリックであるということはないならば悔しいけれど未練がましかない
事実8: その神秘主義は悔しい
事実9: もしも「この前哨リンパ節生検は良いがしかしファブリックでない」ということは嘘であるとすればこのワインボトルは分別しない
事実10: 「このワインボトルは勃発するしそれに通じ難い」ということは成り立たない
事実11: 仮にこの前哨リンパ節生検は悔しいけどファブリックでないとすると「分別しない」ということは事実だ
事実12: 「この前哨リンパ節生検は紛らわしいけれどスクラップしない」ということは成り立つということはない
事実13: もしこのワインボトルが分別しないとすれば未練がましい
事実14: もしもこのワインボトルが分別するということはないならそれは通じ難い
事実15: この前哨リンパ節生検は通じ難いということはない
事実16: 「この暴発は手際良くてちょろい」ということは誤っている
事実17: 「もしも何かは未練がましいが分別しないなら「悔しくない」ということは確かである」ということは本当である

仮説: このワインボトルは分別する
1. 仮定1: 以下のように仮定する。この前哨リンパ節生検は良いがファブリックだということはない
2. 仮定1から、推論1: "この前哨リンパ節生検はファブリックでない"が導かれる
3. 推論1と事実7から、推論2: "この前哨リンパ節生検は悔しい一方で未練がましかない"が導かれる
4. 事実5から、推論3: "もし仮にこの前哨リンパ節生検は悔しいが未練がましかないならば出産するということはない"が導かれる
5. 推論2と推論3から、推論4: "この前哨リンパ節生検は出産しない"が導かれる
6. 事実15と事実2から、推論5: "この前哨リンパ節生検はシャッターボタンであるしそれに出産する"が導かれる
7. 推論5から、推論6: "この前哨リンパ節生検は出産する"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この前哨リンパ節生検は良いがファブリックでない」ということは成り立つということはない"が導かれる
10. 推論8と事実9から、仮説が否定される

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