あのインクルードＳは要約するけれど至れない
fact1: 「この犬飼工務店はあしらうし晴れがましい」ということは真実でない fact2: 「なんらかのものは面白おかしくないがしかし久しい」ということは嘘であるとしたらそれはちぎれ易い fact3: もし仮になにかは久しいとしたら「要約する一方で至れるということはない」ということは誤っている fact4: 仮に街らしい物が結節なら至れない fact5: あのインクルードＳは街らしい fact6: 「その男の子・女の子其々は久しくない」ということは間違いだとしたらあのインクルードＳは要約する fact7: もしも「「あのインクルードＳは鞣さないけどそれは要約する」ということは成り立たない」ということは本当であるならば「その男の子・女の子其々は鞣す」ということは成り立つ fact8: 仮に「この犬飼工務店はあしらうしそれに晴れがましい」ということは成り立たないならぎこちなくない fact9: 「あの白肌は結節であるがしかし味わい深くない」ということは事実と異なる fact10: ある物は至れるとしたら「鞣すということはないしそれに要約する」ということは成り立たない fact11: もし仮に「結節でないが味わい深い」物があるとしたらその男の子・女の子其々は街らしい fact12: その男の子・女の子其々が久しいしその上面白おかしい fact13: もし仮に「面白おかしい」ものはあるとすれば「その男の子・女の子其々は面白おかしくないものであってまた久しい」ということは真実でない fact14: この犬飼工務店が貝独楽でないとしたらあのインクルードＳは至れるし加えて街らしい fact15: あのインクルードＳは結節である fact16: もし仮にこの景気対策が貝独楽だけどそれが親しくないならばあの犬飼工務店は貝独楽でない fact17: もしもその初音が貝独楽なら結節でないが味わい深い fact18: その男の子・女の子其々は面白おかしい fact19: もし「「結節だけど味わい深いということはない」ということは誤りである」ものはあるとすれば「その初音は面白おかしい」ということは確かだ fact20: この犬飼工務店がぎこちなくないとするとその初音は貝独楽であるしおまけにそれは親しい
fact12 -> int1: その男の子・女の子其々は久しい; int1 & fact6 -> int2: あのインクルードＳは要約する; fact15 & fact5 -> int3: 「あのインクルードＳは街らしいしかつ結節である」ということは事実だ; fact4 -> int4: もしあのインクルードＳが街らしいしまたそれは結節であるとすればそれは至れない; int3 & int4 -> int5: あのインクルードＳは至れない; int2 & int5 -> hypothesis;
fact12 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; fact15 & fact5 -> int3: ({E}{b} & {F}{b}); fact4 -> int4: ({E}{b} & {F}{b}) -> ¬{D}{b}; int3 & int4 -> int5: ¬{D}{b}; int2 & int5 -> hypothesis;
「「あのインクルードＳは要約するがしかし至れない」ということは成り立つ」ということは間違っている
fact23 -> int6: 仮にあのインクルードＳは久しいとしたら「それは要約するしそれは至れるということはない」ということは事実でない; fact24 & fact25 -> int7: この犬飼工務店はぎこちなくない; fact22 & int7 -> int8: その初音は貝独楽であるしかつそれは親しい; int8 -> int9: その初音は貝独楽である; fact21 & int9 -> int10: その初音は結節でない一方で味わい深い; int10 -> int11: 「なにかは結節でないが味わい深い」ということは偽でない; int11 & fact26 -> int12: 「その男の子・女の子其々は街らしい」ということは確かである; int12 -> int13: その男の子・女の子其々は街らしいかもしくはそれは面白おかしい; int13 -> int14: ある物は街らしいかあるいは面白おかしいかもしくはどちらもだ;
$facts$ = fact1: 「この犬飼工務店はあしらうし晴れがましい」ということは真実でない fact2: 「なんらかのものは面白おかしくないがしかし久しい」ということは嘘であるとしたらそれはちぎれ易い fact3: もし仮になにかは久しいとしたら「要約する一方で至れるということはない」ということは誤っている fact4: 仮に街らしい物が結節なら至れない fact5: あのインクルードＳは街らしい fact6: 「その男の子・女の子其々は久しくない」ということは間違いだとしたらあのインクルードＳは要約する fact7: もしも「「あのインクルードＳは鞣さないけどそれは要約する」ということは成り立たない」ということは本当であるならば「その男の子・女の子其々は鞣す」ということは成り立つ fact8: 仮に「この犬飼工務店はあしらうしそれに晴れがましい」ということは成り立たないならぎこちなくない fact9: 「あの白肌は結節であるがしかし味わい深くない」ということは事実と異なる fact10: ある物は至れるとしたら「鞣すということはないしそれに要約する」ということは成り立たない fact11: もし仮に「結節でないが味わい深い」物があるとしたらその男の子・女の子其々は街らしい fact12: その男の子・女の子其々が久しいしその上面白おかしい fact13: もし仮に「面白おかしい」ものはあるとすれば「その男の子・女の子其々は面白おかしくないものであってまた久しい」ということは真実でない fact14: この犬飼工務店が貝独楽でないとしたらあのインクルードＳは至れるし加えて街らしい fact15: あのインクルードＳは結節である fact16: もし仮にこの景気対策が貝独楽だけどそれが親しくないならばあの犬飼工務店は貝独楽でない fact17: もしもその初音が貝独楽なら結節でないが味わい深い fact18: その男の子・女の子其々は面白おかしい fact19: もし「「結節だけど味わい深いということはない」ということは誤りである」ものはあるとすれば「その初音は面白おかしい」ということは確かだ fact20: この犬飼工務店がぎこちなくないとするとその初音は貝独楽であるしおまけにそれは親しい ; $hypothesis$ = あのインクルードＳは要約するけれど至れない ; $proof$ = 
fact12 -> int1: その男の子・女の子其々は久しい; int1 & fact6 -> int2: あのインクルードＳは要約する; fact15 & fact5 -> int3: 「あのインクルードＳは街らしいしかつ結節である」ということは事実だ; fact4 -> int4: もしあのインクルードＳが街らしいしまたそれは結節であるとすればそれは至れない; int3 & int4 -> int5: あのインクルードＳは至れない; int2 & int5 -> hypothesis; __PROVED__
事実1: 「この犬飼工務店はあしらうし晴れがましい」ということは真実でない
事実2: 「なんらかのものは面白おかしくないがしかし久しい」ということは嘘であるとしたらそれはちぎれ易い
事実3: もし仮になにかは久しいとしたら「要約する一方で至れるということはない」ということは誤っている
事実4: 仮に街らしい物が結節なら至れない
事実5: あのインクルードＳは街らしい
事実6: 「その男の子・女の子其々は久しくない」ということは間違いだとしたらあのインクルードＳは要約する
事実7: もしも「「あのインクルードＳは鞣さないけどそれは要約する」ということは成り立たない」ということは本当であるならば「その男の子・女の子其々は鞣す」ということは成り立つ
事実8: 仮に「この犬飼工務店はあしらうしそれに晴れがましい」ということは成り立たないならぎこちなくない
事実9: 「あの白肌は結節であるがしかし味わい深くない」ということは事実と異なる
事実10: ある物は至れるとしたら「鞣すということはないしそれに要約する」ということは成り立たない
事実11: もし仮に「結節でないが味わい深い」物があるとしたらその男の子・女の子其々は街らしい
事実12: その男の子・女の子其々が久しいしその上面白おかしい
事実13: もし仮に「面白おかしい」ものはあるとすれば「その男の子・女の子其々は面白おかしくないものであってまた久しい」ということは真実でない
事実14: この犬飼工務店が貝独楽でないとしたらあのインクルードＳは至れるし加えて街らしい
事実15: あのインクルードＳは結節である
事実16: もし仮にこの景気対策が貝独楽だけどそれが親しくないならばあの犬飼工務店は貝独楽でない
事実17: もしもその初音が貝独楽なら結節でないが味わい深い
事実18: その男の子・女の子其々は面白おかしい
事実19: もし「「結節だけど味わい深いということはない」ということは誤りである」ものはあるとすれば「その初音は面白おかしい」ということは確かだ
事実20: この犬飼工務店がぎこちなくないとするとその初音は貝独楽であるしおまけにそれは親しい

仮説: あのインクルードＳは要約するけれど至れない
1. 事実12から、推論1: "その男の子・女の子其々は久しい"が導かれる
2. 推論1と事実6から、推論2: "あのインクルードＳは要約する"が導かれる
3. 事実15と事実5から、推論3: "「あのインクルードＳは街らしいしかつ結節である」ということは事実だ"が導かれる
4. 事実4から、推論4: "もしあのインクルードＳが街らしいしまたそれは結節であるとすればそれは至れない"が導かれる
5. 推論3と推論4から、推論5: "あのインクルードＳは至れない"が導かれる
6. 推論2と推論5から、仮説が導かれる

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