その宿主内は飲食するということはない
fact1: 「差し入れする」物はある fact2: もし仮に調査部門が生き難いとするとこの幅木は染み込み易くない fact3: 「仮に「この幅木がマーシャルしないしさらにそれは目覚ましくない」ということは偽だとすればこのラジオボタンコントロールは視交差である」ということは成り立つ fact4: もし仮にこの幅木が視交差だが染み込み易くないならこのだらし無さは調査部門だ fact5: 仮にこの幅木がフィーリングでないとすれば視交差でおまけにマーシャルする fact6: この幅木は生き難い fact7: 「このラジオボタンコントロールは目覚ましくないしおまけに生き難くない」ということは真実でない fact8: このラジオボタンコントロールは飲食する fact9: 何らかの物は赤ししそれにそれは差し入れする fact10: このだらし無さが調査部門であるならばその宿主内は飲食する fact11: 仮にこの幅木がフィーリングでないとすればそれはマーシャルする fact12: 「赤ししかつ差し入れする」物はあるとすれば「この幅木はフィーリングでない」ということは確かだ fact13: 「この幅木はマーシャルする」ということは真実だ fact14: もし仮にこの幅木がフォークソングで更にナイトドレスであるとすればそれは染み込み易くない fact15: もしある物は染み込み易いとしたら「それはフォークソングでなくてその上ナイトドレスでない」ということは偽である fact16: もし仮に「「このラジオボタンコントロールが目覚ましくないしさらに生き難くない」ということは真実である」ということは誤っているならこの幅木はフォークソングである fact17: とある物が不良数だけどスカイでない fact18: このラジオボタンコントロールはナイトドレスだ fact19: 不良数がスカイでないとしたらこの幅木はナイトドレスである
fact16 & fact7 -> int1: この幅木はフォークソングである; fact19 & fact17 -> int2: この幅木はナイトドレスだ; int1 & int2 -> int3: この幅木はフォークソングでしかもナイトドレスである; int3 & fact14 -> int4: この幅木は染み込み易くない; fact9 & fact12 -> int5: この幅木はフィーリングでない; int5 & fact5 -> int6: この幅木は視交差でまたそれはマーシャルする; int6 -> int7: この幅木は視交差だ; int4 & int7 -> int8: この幅木は視交差だがしかし染み込み易くない; int8 & fact4 -> int9: このだらし無さは調査部門だ; int9 & fact10 -> hypothesis;
その宿主内は飲食しない
fact20 -> int10: もし仮にこのラジオボタンコントロールは染み込み易いならば「それはフォークソングでなくてナイトドレスでない」ということは偽だ;
$facts$ = fact1: 「差し入れする」物はある fact2: もし仮に調査部門が生き難いとするとこの幅木は染み込み易くない fact3: 「仮に「この幅木がマーシャルしないしさらにそれは目覚ましくない」ということは偽だとすればこのラジオボタンコントロールは視交差である」ということは成り立つ fact4: もし仮にこの幅木が視交差だが染み込み易くないならこのだらし無さは調査部門だ fact5: 仮にこの幅木がフィーリングでないとすれば視交差でおまけにマーシャルする fact6: この幅木は生き難い fact7: 「このラジオボタンコントロールは目覚ましくないしおまけに生き難くない」ということは真実でない fact8: このラジオボタンコントロールは飲食する fact9: 何らかの物は赤ししそれにそれは差し入れする fact10: このだらし無さが調査部門であるならばその宿主内は飲食する fact11: 仮にこの幅木がフィーリングでないとすればそれはマーシャルする fact12: 「赤ししかつ差し入れする」物はあるとすれば「この幅木はフィーリングでない」ということは確かだ fact13: 「この幅木はマーシャルする」ということは真実だ fact14: もし仮にこの幅木がフォークソングで更にナイトドレスであるとすればそれは染み込み易くない fact15: もしある物は染み込み易いとしたら「それはフォークソングでなくてその上ナイトドレスでない」ということは偽である fact16: もし仮に「「このラジオボタンコントロールが目覚ましくないしさらに生き難くない」ということは真実である」ということは誤っているならこの幅木はフォークソングである fact17: とある物が不良数だけどスカイでない fact18: このラジオボタンコントロールはナイトドレスだ fact19: 不良数がスカイでないとしたらこの幅木はナイトドレスである ; $hypothesis$ = その宿主内は飲食するということはない ; $proof$ = 
fact16 & fact7 -> int1: この幅木はフォークソングである; fact19 & fact17 -> int2: この幅木はナイトドレスだ; int1 & int2 -> int3: この幅木はフォークソングでしかもナイトドレスである; int3 & fact14 -> int4: この幅木は染み込み易くない; fact9 & fact12 -> int5: この幅木はフィーリングでない; int5 & fact5 -> int6: この幅木は視交差でまたそれはマーシャルする; int6 -> int7: この幅木は視交差だ; int4 & int7 -> int8: この幅木は視交差だがしかし染み込み易くない; int8 & fact4 -> int9: このだらし無さは調査部門だ; int9 & fact10 -> hypothesis; __DISPROVED__
事実1: 「差し入れする」物はある
事実2: もし仮に調査部門が生き難いとするとこの幅木は染み込み易くない
事実3: 「仮に「この幅木がマーシャルしないしさらにそれは目覚ましくない」ということは偽だとすればこのラジオボタンコントロールは視交差である」ということは成り立つ
事実4: もし仮にこの幅木が視交差だが染み込み易くないならこのだらし無さは調査部門だ
事実5: 仮にこの幅木がフィーリングでないとすれば視交差でおまけにマーシャルする
事実6: この幅木は生き難い
事実7: 「このラジオボタンコントロールは目覚ましくないしおまけに生き難くない」ということは真実でない
事実8: このラジオボタンコントロールは飲食する
事実9: 何らかの物は赤ししそれにそれは差し入れする
事実10: このだらし無さが調査部門であるならばその宿主内は飲食する
事実11: 仮にこの幅木がフィーリングでないとすればそれはマーシャルする
事実12: 「赤ししかつ差し入れする」物はあるとすれば「この幅木はフィーリングでない」ということは確かだ
事実13: 「この幅木はマーシャルする」ということは真実だ
事実14: もし仮にこの幅木がフォークソングで更にナイトドレスであるとすればそれは染み込み易くない
事実15: もしある物は染み込み易いとしたら「それはフォークソングでなくてその上ナイトドレスでない」ということは偽である
事実16: もし仮に「「このラジオボタンコントロールが目覚ましくないしさらに生き難くない」ということは真実である」ということは誤っているならこの幅木はフォークソングである
事実17: とある物が不良数だけどスカイでない
事実18: このラジオボタンコントロールはナイトドレスだ
事実19: 不良数がスカイでないとしたらこの幅木はナイトドレスである

仮説: その宿主内は飲食するということはない
1. 事実16と事実7から、推論1: "この幅木はフォークソングである"が導かれる
2. 事実19と事実17から、推論2: "この幅木はナイトドレスだ"が導かれる
3. 推論1と推論2から、推論3: "この幅木はフォークソングでしかもナイトドレスである"が導かれる
4. 推論3と事実14から、推論4: "この幅木は染み込み易くない"が導かれる
5. 事実9と事実12から、推論5: "この幅木はフィーリングでない"が導かれる
6. 推論5と事実5から、推論6: "この幅木は視交差でまたそれはマーシャルする"が導かれる
7. 推論6から、推論7: "この幅木は視交差だ"が導かれる
8. 推論4と推論7から、推論8: "この幅木は視交差だがしかし染み込み易くない"が導かれる
9. 推論8と事実4から、推論9: "このだらし無さは調査部門だ"が導かれる
10. 推論9と事実10から、仮説が否定される

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