「この国費留学生はこそばゆいがしかし五十字でない」ということは成り立たない
fact1: あの寝泊まりは関連し合う fact2: もしもその昨夜来は単項制でないならば「この国費留学生はこそばゆい一方で五十字でない」ということは本当でない fact3: 仮にある物がタイトルらしくないならそれは伸ばし易いかまたは人らしいかあるいは両方ともだ fact4: 仮に何かは関連し合わないならばそれはこそばゆい一方で五十字でない fact5: その染め方は文庫化する fact6: もしもこの高家が人らしいとすればあの寝泊まりは奇襲する fact7: 単項制は関連し合わない fact8: 仮に「文庫化する」ものはあるとしたら「その昨夜来はタイトルらしくない一方でそれは結合定数だ」ということは誤っている fact9: 仮に「その昨夜来はタイトルらしくないけど結合定数だ」ということは間違いならばこの高家はタイトルらしくない fact10: もしもこの高家が伸ばし易いならばあの寝泊まりは奇襲する fact11: あの寝泊まりが関連し合うならばあの高家は細いけれど騒がしくない fact12: もし仮にこの高家が細いけれど騒がしいということはないとするとその昨夜来は単項制であるということはない
fact11 & fact1 -> int1: この高家は細いが騒がしくない; int1 & fact12 -> int2: その昨夜来は単項制でない; int2 & fact2 -> hypothesis;
この国費留学生はこそばゆい一方で五十字でない
fact18 -> int3: 仮にこの国費留学生が関連し合わないとしたらそれはこそばゆくてそれにそれは五十字だということはない; fact15 -> int4: もし仮にこの国費留学生が単項制なら関連し合わない; fact17 -> int5: この高家がタイトルらしいということはないとすればそれは伸ばし易いかそれは人らしいかもしくは両方ともだ; fact20 -> int6: とあるものは文庫化する; int6 & fact13 -> int7: 「その昨夜来はタイトルらしくないけど結合定数だ」ということは間違いだ; fact16 & int7 -> int8: この高家はタイトルらしいということはない; int5 & int8 -> int9: この高家は伸ばし易いかまたはそれは人らしいかあるいは両方である; int9 & fact14 & fact19 -> int10: 「あの寝泊まりは奇襲する」ということは確かだ; int10 -> int11: なにかは奇襲する;
$facts$ = fact1: あの寝泊まりは関連し合う fact2: もしもその昨夜来は単項制でないならば「この国費留学生はこそばゆい一方で五十字でない」ということは本当でない fact3: 仮にある物がタイトルらしくないならそれは伸ばし易いかまたは人らしいかあるいは両方ともだ fact4: 仮に何かは関連し合わないならばそれはこそばゆい一方で五十字でない fact5: その染め方は文庫化する fact6: もしもこの高家が人らしいとすればあの寝泊まりは奇襲する fact7: 単項制は関連し合わない fact8: 仮に「文庫化する」ものはあるとしたら「その昨夜来はタイトルらしくない一方でそれは結合定数だ」ということは誤っている fact9: 仮に「その昨夜来はタイトルらしくないけど結合定数だ」ということは間違いならばこの高家はタイトルらしくない fact10: もしもこの高家が伸ばし易いならばあの寝泊まりは奇襲する fact11: あの寝泊まりが関連し合うならばあの高家は細いけれど騒がしくない fact12: もし仮にこの高家が細いけれど騒がしいということはないとするとその昨夜来は単項制であるということはない ; $hypothesis$ = 「この国費留学生はこそばゆいがしかし五十字でない」ということは成り立たない ; $proof$ = 
fact11 & fact1 -> int1: この高家は細いが騒がしくない; int1 & fact12 -> int2: その昨夜来は単項制でない; int2 & fact2 -> hypothesis; __PROVED__
事実1: あの寝泊まりは関連し合う
事実2: もしもその昨夜来は単項制でないならば「この国費留学生はこそばゆい一方で五十字でない」ということは本当でない
事実3: 仮にある物がタイトルらしくないならそれは伸ばし易いかまたは人らしいかあるいは両方ともだ
事実4: 仮に何かは関連し合わないならばそれはこそばゆい一方で五十字でない
事実5: その染め方は文庫化する
事実6: もしもこの高家が人らしいとすればあの寝泊まりは奇襲する
事実7: 単項制は関連し合わない
事実8: 仮に「文庫化する」ものはあるとしたら「その昨夜来はタイトルらしくない一方でそれは結合定数だ」ということは誤っている
事実9: 仮に「その昨夜来はタイトルらしくないけど結合定数だ」ということは間違いならばこの高家はタイトルらしくない
事実10: もしもこの高家が伸ばし易いならばあの寝泊まりは奇襲する
事実11: あの寝泊まりが関連し合うならばあの高家は細いけれど騒がしくない
事実12: もし仮にこの高家が細いけれど騒がしいということはないとするとその昨夜来は単項制であるということはない

仮説: 「この国費留学生はこそばゆいがしかし五十字でない」ということは成り立たない
1. 事実11と事実1から、推論1: "この高家は細いが騒がしくない"が導かれる
2. 推論1と事実12から、推論2: "その昨夜来は単項制でない"が導かれる
3. 推論2と事実2から、仮説が導かれる

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