この顆頭は運送保険料であるかもしくはそれはナイロン糸であるかまたは両方ともである
fact1: もしもこの不思議さが心弱くないとするとこの顆頭は採集しない fact2: この不思議さは思わしくない fact3: もしもあの保健・医療・福祉が甘ったるいならこの不思議さは両者間だが心弱くない fact4: 「この不思議さは奪い取らなくて纏め買いしない」ということは間違いである fact5: もし仮に何かは採集しないとすればそれは運送保険料であるしかつ冷え易い fact6: もし「この不思議さは奪い取らないしさらに纏め買いしない」ということは成り立たないとすれば「それは立論する」ということは確かである fact7: もし仮にこの不思議さが奪い取るがそれが纏め買いしないとすると甘ったるい fact8: もし「冷え易いということはないしまた採集する」ものがあるとしたらこの不思議さは心弱い fact9: 「「冷え易くないしおまけに採集する」ということは正しい」物はある fact10: 「この不思議さは奪い取らないがしかし纏め買いする」ということは確かだということはない fact11: もし「ある物は冷え易いかそれは採集するということはないかまたは両方だ」ということは事実と異なるとすると立論する fact12: 「この不思議さは奪い取るがそれは纏め買いしない」ということは成り立つということはない fact13: もし仮にあの保健・医療・福祉が疲れ易くないならばあの不思議さは奪い取るが纏め買いしない fact14: もしもなんらかのものが冷え易いし更に採集するとするとこの不思議さは心弱い fact15: もし心弱いものが立論するなら両者間だということはない fact16: 仮に「この不思議さは両者間でない」ということは本当であるとするとあの保健・医療・福祉は甘ったるくないしそれにそれは両者間でない fact17: この顆頭は浴せ掛けるし別掲する fact18: もし「あの保健・医療・福祉はぶら下がらなくてかつそれは干渉計でない」ということは偽であるとすると疲れ易くない fact19: 「もし「この不思議さは甘ったるい」ということは真実であるとすればこの不思議さは両者間でないかあるいは立論しないかまたは両方である」ということは真実である fact20: もしもあの保健・医療・福祉は両者間でないとしたら「この顆頭は運送保険料であるかナイロン糸である」ということは成り立たない
fact9 & fact8 -> int1: この不思議さは心弱い; fact6 & fact4 -> int2: この不思議さは立論する; int1 & int2 -> int3: この不思議さは心弱くてかつそれは立論する; fact15 -> int4: もしこの不思議さが心弱いしその上それが立論すればそれは両者間だということはない; int3 & int4 -> int5: この不思議さは両者間でない; int5 & fact16 -> int6: あの保健・医療・福祉は甘ったるくないし両者間でない; int6 -> int7: あの保健・医療・福祉は両者間でない; int7 & fact20 -> hypothesis;
この顆頭は運送保険料であるかまたはそれはナイロン糸であるかまたは両方ともである
fact21 -> int8: 仮にこの顆頭が採集しないとしたら運送保険料だしおまけに冷え易い;
$facts$ = fact1: もしもこの不思議さが心弱くないとするとこの顆頭は採集しない fact2: この不思議さは思わしくない fact3: もしもあの保健・医療・福祉が甘ったるいならこの不思議さは両者間だが心弱くない fact4: 「この不思議さは奪い取らなくて纏め買いしない」ということは間違いである fact5: もし仮に何かは採集しないとすればそれは運送保険料であるしかつ冷え易い fact6: もし「この不思議さは奪い取らないしさらに纏め買いしない」ということは成り立たないとすれば「それは立論する」ということは確かである fact7: もし仮にこの不思議さが奪い取るがそれが纏め買いしないとすると甘ったるい fact8: もし「冷え易いということはないしまた採集する」ものがあるとしたらこの不思議さは心弱い fact9: 「「冷え易くないしおまけに採集する」ということは正しい」物はある fact10: 「この不思議さは奪い取らないがしかし纏め買いする」ということは確かだということはない fact11: もし「ある物は冷え易いかそれは採集するということはないかまたは両方だ」ということは事実と異なるとすると立論する fact12: 「この不思議さは奪い取るがそれは纏め買いしない」ということは成り立つということはない fact13: もし仮にあの保健・医療・福祉が疲れ易くないならばあの不思議さは奪い取るが纏め買いしない fact14: もしもなんらかのものが冷え易いし更に採集するとするとこの不思議さは心弱い fact15: もし心弱いものが立論するなら両者間だということはない fact16: 仮に「この不思議さは両者間でない」ということは本当であるとするとあの保健・医療・福祉は甘ったるくないしそれにそれは両者間でない fact17: この顆頭は浴せ掛けるし別掲する fact18: もし「あの保健・医療・福祉はぶら下がらなくてかつそれは干渉計でない」ということは偽であるとすると疲れ易くない fact19: 「もし「この不思議さは甘ったるい」ということは真実であるとすればこの不思議さは両者間でないかあるいは立論しないかまたは両方である」ということは真実である fact20: もしもあの保健・医療・福祉は両者間でないとしたら「この顆頭は運送保険料であるかナイロン糸である」ということは成り立たない ; $hypothesis$ = この顆頭は運送保険料であるかもしくはそれはナイロン糸であるかまたは両方ともである ; $proof$ = 
fact9 & fact8 -> int1: この不思議さは心弱い; fact6 & fact4 -> int2: この不思議さは立論する; int1 & int2 -> int3: この不思議さは心弱くてかつそれは立論する; fact15 -> int4: もしこの不思議さが心弱いしその上それが立論すればそれは両者間だということはない; int3 & int4 -> int5: この不思議さは両者間でない; int5 & fact16 -> int6: あの保健・医療・福祉は甘ったるくないし両者間でない; int6 -> int7: あの保健・医療・福祉は両者間でない; int7 & fact20 -> hypothesis; __DISPROVED__
事実1: もしもこの不思議さが心弱くないとするとこの顆頭は採集しない
事実2: この不思議さは思わしくない
事実3: もしもあの保健・医療・福祉が甘ったるいならこの不思議さは両者間だが心弱くない
事実4: 「この不思議さは奪い取らなくて纏め買いしない」ということは間違いである
事実5: もし仮に何かは採集しないとすればそれは運送保険料であるしかつ冷え易い
事実6: もし「この不思議さは奪い取らないしさらに纏め買いしない」ということは成り立たないとすれば「それは立論する」ということは確かである
事実7: もし仮にこの不思議さが奪い取るがそれが纏め買いしないとすると甘ったるい
事実8: もし「冷え易いということはないしまた採集する」ものがあるとしたらこの不思議さは心弱い
事実9: 「「冷え易くないしおまけに採集する」ということは正しい」物はある
事実10: 「この不思議さは奪い取らないがしかし纏め買いする」ということは確かだということはない
事実11: もし「ある物は冷え易いかそれは採集するということはないかまたは両方だ」ということは事実と異なるとすると立論する
事実12: 「この不思議さは奪い取るがそれは纏め買いしない」ということは成り立つということはない
事実13: もし仮にあの保健・医療・福祉が疲れ易くないならばあの不思議さは奪い取るが纏め買いしない
事実14: もしもなんらかのものが冷え易いし更に採集するとするとこの不思議さは心弱い
事実15: もし心弱いものが立論するなら両者間だということはない
事実16: 仮に「この不思議さは両者間でない」ということは本当であるとするとあの保健・医療・福祉は甘ったるくないしそれにそれは両者間でない
事実17: この顆頭は浴せ掛けるし別掲する
事実18: もし「あの保健・医療・福祉はぶら下がらなくてかつそれは干渉計でない」ということは偽であるとすると疲れ易くない
事実19: 「もし「この不思議さは甘ったるい」ということは真実であるとすればこの不思議さは両者間でないかあるいは立論しないかまたは両方である」ということは真実である
事実20: もしもあの保健・医療・福祉は両者間でないとしたら「この顆頭は運送保険料であるかナイロン糸である」ということは成り立たない

仮説: この顆頭は運送保険料であるかもしくはそれはナイロン糸であるかまたは両方ともである
1. 事実9と事実8から、推論1: "この不思議さは心弱い"が導かれる
2. 事実6と事実4から、推論2: "この不思議さは立論する"が導かれる
3. 推論1と推論2から、推論3: "この不思議さは心弱くてかつそれは立論する"が導かれる
4. 事実15から、推論4: "もしこの不思議さが心弱いしその上それが立論すればそれは両者間だということはない"が導かれる
5. 推論3と推論4から、推論5: "この不思議さは両者間でない"が導かれる
6. 推論5と事実16から、推論6: "あの保健・医療・福祉は甘ったるくないし両者間でない"が導かれる
7. 推論6から、推論7: "あの保健・医療・福祉は両者間でない"が導かれる
8. 推論7と事実20から、仮説が否定される

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