そのＮＬＰは市内電話料金でないがしかし病床規模だ
fact1: もしこの宙博士が擦り剥かないとしたらそのＮＬＰは市内電話料金でないけど病床規模だ fact2: もし仮にこの比較検討が作り出せるとしたらあの十検体はカーポートである一方で待ち遠しくない fact3: 構内以外はブリティッシュだけど追放しない fact4: マンデーは艶めかしい fact5: 何かは擦り剥くならそれは艶めかしくないかもしくはブリティッシュであるかもしくは両方ともだ fact6: もしもあのゲーム・オーバーはブリティッシュであるなら「それは艶めかしいけど擦り剥かない」ということは成り立たない fact7: 「この宙博士は人体である」ということは本当だ fact8: もし仮に「その絶縁体は構内以外でない」ということは真実ならそれは擦り剥くしそれは追放する fact9: もしあの十検体がカーポートだけれど待ち遠しくないとしたらそれは欠失する fact10: この宙博士はテルペン類でない fact11: あの十検体が構内以外でないならばその絶縁体は構内以外だということはない fact12: もしあの十検体が欠失するとすると構内以外でないしそれは車両系建設機械でない fact13: 「その引き付けは車両系建設機械でないしさらに構内以外でない」ということは偽だ fact14: この宙博士は人体であるとするとテルペン類でない fact15: この宙博士は人体であるということはないならば「そのＮＬＰは市内電話料金でないけれど病床規模である」ということは偽である fact16: もしも「その引き付けは車両系建設機械でなくてその上構内以外であるということはない」ということは間違いであるとすれば構内以外である fact17: もし仮にその引き付けは構内以外であるならそれは追放しない fact18: そのＮＬＰは市内電話料金でない fact19: もし仮にこの宙博士が人体だとすればそれはテルペン類でなくてマンデーである fact20: 「艶めかしくないかもしくはブリティッシュであるかまたは両方ともな」物があるとするとその引き付けは艶めかしいということはない fact21: この比較検討は作り出せる fact22: もしこの宙博士が艶めかしいしまた擦り剥くとするとその引き付けはブリティッシュでない fact23: もしも何らかのものが人体だということはないならば市内電話料金だしかつ反転しない fact24: その引き付けはテルペン類である
fact19 & fact7 -> int1: この宙博士はテルペン類でないけどそれはマンデーだ; int1 -> int2: この宙博士はマンデーである; fact4 -> int3: もし仮にこの宙博士はマンデーだとすると「艶めかしい」ということは確かだ; int2 & int3 -> int4: この宙博士は艶めかしい; void -> assump1: 以下のように仮定する。この宙博士は擦り剥く; int4 & assump1 -> int5: 「この宙博士は艶めかしいし擦り剥く」ということは真実である; int5 & fact22 -> int6: 「その引き付けはブリティッシュだということはない」ということは成り立つ; fact13 & fact16 -> int7: その引き付けは構内以外だ; fact3 -> int8: 仮にその引き付けが構内以外であるならばそれはブリティッシュであるし追放しない; int7 & int8 -> int9: その引き付けはブリティッシュだけれど追放するということはない; int9 -> int10: その引き付けはブリティッシュだ; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: この宙博士は擦り剥くということはない; int12 & fact1 -> hypothesis;
「そのＮＬＰは市内電話料金でないけど病床規模だ」ということは間違っている
fact32 -> int13: もしも「その絶縁体は擦り剥く」ということは成り立つとすると艶めかしくないかあるいはブリティッシュだ; fact29 & fact31 -> int14: あの十検体はカーポートであるけれどそれは待ち遠しいということはない; fact25 & int14 -> int15: あの十検体は欠失する; fact28 & int15 -> int16: あの十検体は構内以外でなくてそれにそれは車両系建設機械でない; int16 -> int17: あの十検体は構内以外でない; fact30 & int17 -> int18: その絶縁体は構内以外でない; fact33 & int18 -> int19: その絶縁体は擦り剥くしおまけに追放する; int19 -> int20: その絶縁体は擦り剥く; int13 & int20 -> int21: その絶縁体は艶めかしいということはないかまたはそれはブリティッシュであるかどちらもである; int21 -> int22: 「艶めかしくないかブリティッシュであるか両方ともである」物はある; int22 & fact26 -> int23: その引き付けは艶めかしくない; int23 -> int24: 「艶めかしくない」物はある;
$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$ = 
fact19 & fact7 -> int1: この宙博士はテルペン類でないけどそれはマンデーだ; int1 -> int2: この宙博士はマンデーである; fact4 -> int3: もし仮にこの宙博士はマンデーだとすると「艶めかしい」ということは確かだ; int2 & int3 -> int4: この宙博士は艶めかしい; void -> assump1: 以下のように仮定する。この宙博士は擦り剥く; int4 & assump1 -> int5: 「この宙博士は艶めかしいし擦り剥く」ということは真実である; int5 & fact22 -> int6: 「その引き付けはブリティッシュだということはない」ということは成り立つ; fact13 & fact16 -> int7: その引き付けは構内以外だ; fact3 -> int8: 仮にその引き付けが構内以外であるならばそれはブリティッシュであるし追放しない; int7 & int8 -> int9: その引き付けはブリティッシュだけれど追放するということはない; int9 -> int10: その引き付けはブリティッシュだ; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: この宙博士は擦り剥くということはない; int12 & fact1 -> hypothesis; __PROVED__
事実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. 事実19と事実7から、推論1: "この宙博士はテルペン類でないけどそれはマンデーだ"が導かれる
2. 推論1から、推論2: "この宙博士はマンデーである"が導かれる
3. 事実4から、推論3: "もし仮にこの宙博士はマンデーだとすると「艶めかしい」ということは確かだ"が導かれる
4. 推論2と推論3から、推論4: "この宙博士は艶めかしい"が導かれる
5. 仮定1: 以下のように仮定する。この宙博士は擦り剥く
6. 推論4と仮定1から、推論5: "「この宙博士は艶めかしいし擦り剥く」ということは真実である"が導かれる
7. 推論5と事実22から、推論6: "「その引き付けはブリティッシュだということはない」ということは成り立つ"が導かれる
8. 事実13と事実16から、推論7: "その引き付けは構内以外だ"が導かれる
9. 事実3から、推論8: "仮にその引き付けが構内以外であるならばそれはブリティッシュであるし追放しない"が導かれる
10. 推論7と推論8から、推論9: "その引き付けはブリティッシュだけれど追放するということはない"が導かれる
11. 推論9から、推論10: "その引き付けはブリティッシュだ"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "この宙博士は擦り剥くということはない"が導かれる
14. 推論12と事実1から、仮説が導かれる

よって、仮説が証明されました。