「そのスカイスクレーパーは汚らわしいしそれにそれは陸揚げする」ということは偽である
fact1: もしも何らかのものは行政マンでない一方でそれが悪しならばそのスカイスクレーパーは汚らわしい fact2: そのスカイスクレーパーは操作し易くないしおまけに超越性でないとすればそれは供与等でない fact3: なにがしかのものは行政マンでない fact4: 仮に行政マンが悪しならばあのスカイスクレーパーは汚らわしい fact5: 図々しかない物は切羽詰まらない一方で罰則だ fact6: この軍馬は行政マンでない fact7: もしもとあるものは売り始めるということはないとすると「汚らわしいしさらにそれは陸揚げする」ということは誤っている fact8: 「陸揚げするということはないけれど汚らわしい」物はある fact9: もし仮になんらかのものが供与等でないならば図々しいかあるいはそれは切羽詰まらない fact10: もしもなにがしかのものは汚らわしいとすれば「売り始める」ということは間違っていない fact11: この軍馬は売り始めない fact12: マッサージ器具は溶岩トンネルだ fact13: もしこの軍馬が超越性であるならばあのスカイスクレーパーは供与等である fact14: 仮にこの軍馬が売り始めるならばあの四病院は行政マンだ fact15: 罰則は陸揚げする fact16: その幼馴染みは切羽詰まる fact17: 「この軍馬は売り始めない」ということは確かであるならばそれは行政マンでないしそれにそれは悪し fact18: 仮にとあるものが切羽詰まるということはないけれど罰則ならばそれは売り始めない fact19: もしそのスカイスクレーパーが御寂しいならばそれは操作し易くないしさらに超越性でない fact20: この最後部は売り始めない fact21: もし何らかのものが切羽詰まるとすればそれは罰則である fact22: そのスカイスクレーパーは切羽詰まる fact23: そのスカイスクレーパーは御寂しい fact24: もしも何らかのものは供与等であるとすれば「図々しかない」ということは確かである
fact17 & fact11 -> int1: この軍馬は行政マンでないが悪し; int1 -> int2: 「行政マンだということはないし悪し」ものはある; int2 & fact1 -> int3: そのスカイスクレーパーは汚らわしい; fact15 -> int4: もし「そのスカイスクレーパーは罰則である」ということは間違っていないなら陸揚げする; fact21 -> int5: 仮にそのスカイスクレーパーが切羽詰まるなら罰則だ; fact22 & int5 -> int6: そのスカイスクレーパーは罰則である; int4 & int6 -> int7: そのスカイスクレーパーは陸揚げする; int3 & int7 -> hypothesis;
この四病院は行政マンだ
fact28 -> int8: 仮にこの軍馬が汚らわしいとするとそれは売り始める; fact30 -> int9: もしそのスカイスクレーパーが供与等でないとすると図々しいかもしくはそれは切羽詰まらない; fact26 & fact29 -> int10: そのスカイスクレーパーは操作し易くないし更に超越性でない; fact27 & int10 -> int11: 「そのスカイスクレーパーは供与等でない」ということは事実だ; int9 & int11 -> int12: そのスカイスクレーパーは図々しいか切羽詰まらないかまたは両方ともである;
$facts$ = fact1: もしも何らかのものは行政マンでない一方でそれが悪しならばそのスカイスクレーパーは汚らわしい fact2: そのスカイスクレーパーは操作し易くないしおまけに超越性でないとすればそれは供与等でない fact3: なにがしかのものは行政マンでない fact4: 仮に行政マンが悪しならばあのスカイスクレーパーは汚らわしい fact5: 図々しかない物は切羽詰まらない一方で罰則だ fact6: この軍馬は行政マンでない fact7: もしもとあるものは売り始めるということはないとすると「汚らわしいしさらにそれは陸揚げする」ということは誤っている fact8: 「陸揚げするということはないけれど汚らわしい」物はある fact9: もし仮になんらかのものが供与等でないならば図々しいかあるいはそれは切羽詰まらない fact10: もしもなにがしかのものは汚らわしいとすれば「売り始める」ということは間違っていない fact11: この軍馬は売り始めない fact12: マッサージ器具は溶岩トンネルだ fact13: もしこの軍馬が超越性であるならばあのスカイスクレーパーは供与等である fact14: 仮にこの軍馬が売り始めるならばあの四病院は行政マンだ fact15: 罰則は陸揚げする fact16: その幼馴染みは切羽詰まる fact17: 「この軍馬は売り始めない」ということは確かであるならばそれは行政マンでないしそれにそれは悪し fact18: 仮にとあるものが切羽詰まるということはないけれど罰則ならばそれは売り始めない fact19: もしそのスカイスクレーパーが御寂しいならばそれは操作し易くないしさらに超越性でない fact20: この最後部は売り始めない fact21: もし何らかのものが切羽詰まるとすればそれは罰則である fact22: そのスカイスクレーパーは切羽詰まる fact23: そのスカイスクレーパーは御寂しい fact24: もしも何らかのものは供与等であるとすれば「図々しかない」ということは確かである ; $hypothesis$ = 「そのスカイスクレーパーは汚らわしいしそれにそれは陸揚げする」ということは偽である ; $proof$ = 
fact17 & fact11 -> int1: この軍馬は行政マンでないが悪し; int1 -> int2: 「行政マンだということはないし悪し」ものはある; int2 & fact1 -> int3: そのスカイスクレーパーは汚らわしい; fact15 -> int4: もし「そのスカイスクレーパーは罰則である」ということは間違っていないなら陸揚げする; fact21 -> int5: 仮にそのスカイスクレーパーが切羽詰まるなら罰則だ; fact22 & int5 -> int6: そのスカイスクレーパーは罰則である; int4 & int6 -> int7: そのスカイスクレーパーは陸揚げする; int3 & int7 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものは行政マンでない一方でそれが悪しならばそのスカイスクレーパーは汚らわしい
事実2: そのスカイスクレーパーは操作し易くないしおまけに超越性でないとすればそれは供与等でない
事実3: なにがしかのものは行政マンでない
事実4: 仮に行政マンが悪しならばあのスカイスクレーパーは汚らわしい
事実5: 図々しかない物は切羽詰まらない一方で罰則だ
事実6: この軍馬は行政マンでない
事実7: もしもとあるものは売り始めるということはないとすると「汚らわしいしさらにそれは陸揚げする」ということは誤っている
事実8: 「陸揚げするということはないけれど汚らわしい」物はある
事実9: もし仮になんらかのものが供与等でないならば図々しいかあるいはそれは切羽詰まらない
事実10: もしもなにがしかのものは汚らわしいとすれば「売り始める」ということは間違っていない
事実11: この軍馬は売り始めない
事実12: マッサージ器具は溶岩トンネルだ
事実13: もしこの軍馬が超越性であるならばあのスカイスクレーパーは供与等である
事実14: 仮にこの軍馬が売り始めるならばあの四病院は行政マンだ
事実15: 罰則は陸揚げする
事実16: その幼馴染みは切羽詰まる
事実17: 「この軍馬は売り始めない」ということは確かであるならばそれは行政マンでないしそれにそれは悪し
事実18: 仮にとあるものが切羽詰まるということはないけれど罰則ならばそれは売り始めない
事実19: もしそのスカイスクレーパーが御寂しいならばそれは操作し易くないしさらに超越性でない
事実20: この最後部は売り始めない
事実21: もし何らかのものが切羽詰まるとすればそれは罰則である
事実22: そのスカイスクレーパーは切羽詰まる
事実23: そのスカイスクレーパーは御寂しい
事実24: もしも何らかのものは供与等であるとすれば「図々しかない」ということは確かである

仮説: 「そのスカイスクレーパーは汚らわしいしそれにそれは陸揚げする」ということは偽である
1. 事実17と事実11から、推論1: "この軍馬は行政マンでないが悪し"が導かれる
2. 推論1から、推論2: "「行政マンだということはないし悪し」ものはある"が導かれる
3. 推論2と事実1から、推論3: "そのスカイスクレーパーは汚らわしい"が導かれる
4. 事実15から、推論4: "もし「そのスカイスクレーパーは罰則である」ということは間違っていないなら陸揚げする"が導かれる
5. 事実21から、推論5: "仮にそのスカイスクレーパーが切羽詰まるなら罰則だ"が導かれる
6. 事実22と推論5から、推論6: "そのスカイスクレーパーは罰則である"が導かれる
7. 推論4と推論6から、推論7: "そのスカイスクレーパーは陸揚げする"が導かれる
8. 推論3と推論7から、仮説が否定される

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