この師弟は女らしくてさらにチャンスタイムである
fact1: その気疲れはプッシュするということはない fact2: 何かはプッシュしないとするとそれは垣間見であるかもしくは引き起こし易いかまたは両方ともだ fact3: この師弟はチャンスタイムである fact4: もし仮にあの特別借り入れ金が煙突周りでないししかもそれが天然痘ウイルスでないとするとこの師弟は女らしい fact5: もし仮にその滅菌がチャンスタイムならばあの師弟は引き出し易いかもしくは女らしくないかあるいはどちらもだ fact6: 仮にあの企業主が垣間見だとすればあの旧軍人は破産する fact7: この隷属は引き出し易い fact8: もしこの隷属が引き出し易くないならあの特別借り入れ金は引き出し易い fact9: もし仮にその気疲れが垣間見だとするとあの企業主は垣間見である fact10: もしもこの隷属が引き出し易いとしたらあの特別借り入れ金は煙突周りであるということはなくてそれに天然痘ウイルスでない fact11: この隷属が引き出し易いとすればあの特別借り入れ金は天然痘ウイルスでない fact12: 何かは造花だということはないなら「それは制限すらなくてまたルーツでない」ということは成り立たない fact13: あの特別借り入れ金は女らしい fact14: 「あの特別借り入れ金は天然痘ウイルスでない」ということは成り立つ fact15: もしもなにかは破産すればえげつなくないものであってそれに造花だということはない fact16: ルーツはチャンスタイムである fact17: もしも「あの旧軍人は制限すらないしルーツでない」ということは嘘だとすればその滅菌はルーツだ fact18: もし仮にあの特別借り入れ金が煙突周りでないがしかしそれが天然痘ウイルスだとすればあの師弟は女らしい
fact10 & fact7 -> int1: あの特別借り入れ金は煙突周りでなくてしかも天然痘ウイルスでない; int1 & fact4 -> int2: この師弟は女らしい; int2 & fact3 -> hypothesis;
あの特別借り入れ金は引き出し易い
fact23 -> int3: もしその滅菌はルーツだとしたら「それはチャンスタイムである」ということは成り立つ; fact22 -> int4: もしあの旧軍人は造花でないとしたら「それは制限すらなくてかつルーツでない」ということは誤っている; fact20 -> int5: あの旧軍人が破産するとしたらえげつなくないしおまけに造花でない; fact27 -> int6: もし仮にその気疲れがプッシュしないとしたら垣間見であるか引き起こし易いかまたはどちらもだ; int6 & fact24 -> int7: その気疲れは垣間見であるかそれは引き起こし易いかもしくはどちらもである;
$facts$ = fact1: その気疲れはプッシュするということはない fact2: 何かはプッシュしないとするとそれは垣間見であるかもしくは引き起こし易いかまたは両方ともだ fact3: この師弟はチャンスタイムである fact4: もし仮にあの特別借り入れ金が煙突周りでないししかもそれが天然痘ウイルスでないとするとこの師弟は女らしい fact5: もし仮にその滅菌がチャンスタイムならばあの師弟は引き出し易いかもしくは女らしくないかあるいはどちらもだ fact6: 仮にあの企業主が垣間見だとすればあの旧軍人は破産する fact7: この隷属は引き出し易い fact8: もしこの隷属が引き出し易くないならあの特別借り入れ金は引き出し易い fact9: もし仮にその気疲れが垣間見だとするとあの企業主は垣間見である fact10: もしもこの隷属が引き出し易いとしたらあの特別借り入れ金は煙突周りであるということはなくてそれに天然痘ウイルスでない fact11: この隷属が引き出し易いとすればあの特別借り入れ金は天然痘ウイルスでない fact12: 何かは造花だということはないなら「それは制限すらなくてまたルーツでない」ということは成り立たない fact13: あの特別借り入れ金は女らしい fact14: 「あの特別借り入れ金は天然痘ウイルスでない」ということは成り立つ fact15: もしもなにかは破産すればえげつなくないものであってそれに造花だということはない fact16: ルーツはチャンスタイムである fact17: もしも「あの旧軍人は制限すらないしルーツでない」ということは嘘だとすればその滅菌はルーツだ fact18: もし仮にあの特別借り入れ金が煙突周りでないがしかしそれが天然痘ウイルスだとすればあの師弟は女らしい ; $hypothesis$ = この師弟は女らしくてさらにチャンスタイムである ; $proof$ = 
fact10 & fact7 -> int1: あの特別借り入れ金は煙突周りでなくてしかも天然痘ウイルスでない; int1 & fact4 -> int2: この師弟は女らしい; int2 & fact3 -> hypothesis; __PROVED__
事実1: その気疲れはプッシュするということはない
事実2: 何かはプッシュしないとするとそれは垣間見であるかもしくは引き起こし易いかまたは両方ともだ
事実3: この師弟はチャンスタイムである
事実4: もし仮にあの特別借り入れ金が煙突周りでないししかもそれが天然痘ウイルスでないとするとこの師弟は女らしい
事実5: もし仮にその滅菌がチャンスタイムならばあの師弟は引き出し易いかもしくは女らしくないかあるいはどちらもだ
事実6: 仮にあの企業主が垣間見だとすればあの旧軍人は破産する
事実7: この隷属は引き出し易い
事実8: もしこの隷属が引き出し易くないならあの特別借り入れ金は引き出し易い
事実9: もし仮にその気疲れが垣間見だとするとあの企業主は垣間見である
事実10: もしもこの隷属が引き出し易いとしたらあの特別借り入れ金は煙突周りであるということはなくてそれに天然痘ウイルスでない
事実11: この隷属が引き出し易いとすればあの特別借り入れ金は天然痘ウイルスでない
事実12: 何かは造花だということはないなら「それは制限すらなくてまたルーツでない」ということは成り立たない
事実13: あの特別借り入れ金は女らしい
事実14: 「あの特別借り入れ金は天然痘ウイルスでない」ということは成り立つ
事実15: もしもなにかは破産すればえげつなくないものであってそれに造花だということはない
事実16: ルーツはチャンスタイムである
事実17: もしも「あの旧軍人は制限すらないしルーツでない」ということは嘘だとすればその滅菌はルーツだ
事実18: もし仮にあの特別借り入れ金が煙突周りでないがしかしそれが天然痘ウイルスだとすればあの師弟は女らしい

仮説: この師弟は女らしくてさらにチャンスタイムである
1. 事実10と事実7から、推論1: "あの特別借り入れ金は煙突周りでなくてしかも天然痘ウイルスでない"が導かれる
2. 推論1と事実4から、推論2: "この師弟は女らしい"が導かれる
3. 推論2と事実3から、仮説が導かれる

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