「この首謀は投獄するけど焼け落ちるということはない」ということは間違いである
fact1: この辣腕は思慮深くない fact2: もしもあの披露パーティが消化し易くないとするとこのヘッド素材は消化し易くない fact3: この首謀はとろい fact4: もし「とあるものは消化し易いし子供時分だ」ということは誤りであるなら消化し易くない fact5: もし仮にこの首謀が男らしいということはないとするととろい fact6: 仮にあの披露パーティがちょろいとしたら中央辺りでなくてそれは青くない fact7: この首謀は粘度だ fact8: もし仮にこの首謀は広がり易くておまけに上り易いならそれは粘度でない fact9: もしこの首謀は上り易いということはないとすると「それは投獄するしおまけに焼け落ちない」ということは誤っている fact10: もし仮にこの首謀が思慮深いとすれば広がり易い fact11: 仮にこのヘッド素材が上り易いとしたらあのサイレンサー外径φ―ＭＭは上り易い fact12: 「この首謀は投獄するしまた焼け落ちる」ということは偽である fact13: あの指導階級は騒がしくない fact14: この首謀は差し引く fact15: もしあの指導階級がゲノム解読だということはないかもしくはそれが広がり易いかまたはどちらもだとすればあのサイレンサー外径φ―ＭＭは広がり易い fact16: もしなんらかのものは青くないとすれば「消化し易くて子供時分だ」ということは間違いだ fact17: あのサイレンサー外径φ―ＭＭが男らしくないならばこの首謀は投獄するけど焼け落ちない fact18: もし仮にこの首謀が男らしくないならそれはとろくて加えて思慮深い fact19: 宗門改帳は信じ易い fact20: 信じ易い物はゲノム解読でないか広がり易いかあるいはどちらもである fact21: 上り易くてかつ広がり易い物は男らしいということはない fact22: この首謀は男らしくない fact23: あの披露パーティはちょろい fact24: もしも騒がしくない物は触覚的ランディング・サイトであるとすればそれは宗門改帳である fact25: 消化し易くない物は上り易くてまた粘度だ
fact18 & fact22 -> int1: この首謀はとろいし思慮深い; int1 -> int2: この首謀は思慮深い; int2 & fact10 -> int3: この首謀は広がり易い; void -> assump1: 以下のように仮定する。この首謀は上り易い; int3 & assump1 -> int4: この首謀は広がり易いししかも上り易い; int4 & fact8 -> int5: この首謀は粘度でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: この首謀は上り易くない; int7 & fact9 -> hypothesis;
この首謀は投獄する一方で焼け落ちない
fact27 -> int8: もし仮にあのサイレンサー外径φ―ＭＭは上り易くてまた広がり易いとすれば男らしくない; fact37 -> int9: もし仮にこのヘッド素材は消化し易くないとするとそれは上り易くてそれに粘度だ; fact30 -> int10: もし「あの披露パーティは消化し易いし更に子供時分である」ということは事実と異なるならそれは消化し易くない; fact36 -> int11: もしあの披露パーティは青くないとしたら「それは消化し易いしさらに子供時分だ」ということは嘘である; fact38 & fact39 -> int12: あの披露パーティは中央辺りだということはないし更に青くない; int12 -> int13: あの披露パーティは青くない; int11 & int13 -> int14: 「あの披露パーティは消化し易くてまた子供時分だ」ということは嘘である; int10 & int14 -> int15: あの披露パーティは消化し易くない; fact29 & int15 -> int16: このヘッド素材は消化し易くない; int9 & int16 -> int17: このヘッド素材は上り易いしそれに粘度だ; int17 -> int18: このヘッド素材は上り易い; fact33 & int18 -> int19: あのサイレンサー外径φ―ＭＭは上り易い; fact35 -> int20: もし仮にあの指導階級が信じ易いならそれはゲノム解読でないかあるいは広がり易いかあるいは両方である; fact28 -> int21: もし仮にあの指導階級は宗門改帳であるならそれは信じ易い; fact34 -> int22: もし仮にあの指導階級は騒がしくないが触覚的ランディング・サイトであるとしたら宗門改帳だ;
$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: もしも騒がしくない物は触覚的ランディング・サイトであるとすればそれは宗門改帳である fact25: 消化し易くない物は上り易くてまた粘度だ ; $hypothesis$ = 「この首謀は投獄するけど焼け落ちるということはない」ということは間違いである ; $proof$ = 
fact18 & fact22 -> int1: この首謀はとろいし思慮深い; int1 -> int2: この首謀は思慮深い; int2 & fact10 -> int3: この首謀は広がり易い; void -> assump1: 以下のように仮定する。この首謀は上り易い; int3 & assump1 -> int4: この首謀は広がり易いししかも上り易い; int4 & fact8 -> int5: この首謀は粘度でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: この首謀は上り易くない; int7 & fact9 -> 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: もしも騒がしくない物は触覚的ランディング・サイトであるとすればそれは宗門改帳である
事実25: 消化し易くない物は上り易くてまた粘度だ

仮説: 「この首謀は投獄するけど焼け落ちるということはない」ということは間違いである
1. 事実18と事実22から、推論1: "この首謀はとろいし思慮深い"が導かれる
2. 推論1から、推論2: "この首謀は思慮深い"が導かれる
3. 推論2と事実10から、推論3: "この首謀は広がり易い"が導かれる
4. 仮定1: 以下のように仮定する。この首謀は上り易い
5. 推論3と仮定1から、推論4: "この首謀は広がり易いししかも上り易い"が導かれる
6. 推論4と事実8から、推論5: "この首謀は粘度でない"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この首謀は上り易くない"が導かれる
9. 推論7と事実9から、仮説が導かれる

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