「その総序は扇ぐがしかし長くない」ということは嘘である
fact1: 男装は錬成しなくて更にリバイバルしない fact2: 「「アメリカ兵であるけれど預け合わない」ということは成り立つということはない」ものはある fact3: その総序はカッターシャツでない fact4: もし仮にその総序がリバイバルするけれど大量摂取でないならこのフェンシングは男装でない fact5: もしもあのベーキングソーダが錬成しないしリバイバルしないならこの宿泊施設は錬成しない fact6: もし仮にこの宿泊施設がカッターシャツだとしたらその総序は扇ぐけどそれは長くない fact7: もしその総序はカッターシャツでないならば「それは扇ぐしおまけにそれは長い」ということは偽だ fact8: もしもその総序はカッターシャツでないとすると「扇ぐしかつ長くない」ということは成り立たない fact9: 仮に「「アメリカ兵だが預け合わない」ということは成り立たない」ものがあるとするとこの宿泊施設は着込む fact10: 「その総序は扇ぐしさらに長い」ということは正しくない fact11: もしあるものは着込むし更に胡散臭いならば請求基準であるということはない fact12: この宿泊施設が悄気るならそれは胡散臭い fact13: もしあるものは男装であるということはないなら錬成するし堪え難い fact14: あの御弁当仲間は長くない fact15: もしなんらかの物は堪え難いとしたら「それはカッターシャツだけど付着し易くない」ということは事実であるということはない fact16: もし仮になにがしかのものが錬成しないとしたらそれは堪え難くてそれにカッターシャツだ fact17: 仮に「あのベーキングソーダは染まない」ということは成り立つとするとこの宿泊施設は悄気るし押し過ぎる fact18: もしこの宿泊施設が請求基準でないとすればその総序はリバイバルする一方で大量摂取でない
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
その総序は扇ぐけどそれは長くない
fact20 -> int1: この宿泊施設が錬成しないとすると堪え難くて更にそれはカッターシャツである; fact22 -> int2: 仮にあのベーキングソーダが男装ならば錬成するということはなくて加えてそれはリバイバルしない;
$facts$ = fact1: 男装は錬成しなくて更にリバイバルしない fact2: 「「アメリカ兵であるけれど預け合わない」ということは成り立つということはない」ものはある fact3: その総序はカッターシャツでない fact4: もし仮にその総序がリバイバルするけれど大量摂取でないならこのフェンシングは男装でない fact5: もしもあのベーキングソーダが錬成しないしリバイバルしないならこの宿泊施設は錬成しない fact6: もし仮にこの宿泊施設がカッターシャツだとしたらその総序は扇ぐけどそれは長くない fact7: もしその総序はカッターシャツでないならば「それは扇ぐしおまけにそれは長い」ということは偽だ fact8: もしもその総序はカッターシャツでないとすると「扇ぐしかつ長くない」ということは成り立たない fact9: 仮に「「アメリカ兵だが預け合わない」ということは成り立たない」ものがあるとするとこの宿泊施設は着込む fact10: 「その総序は扇ぐしさらに長い」ということは正しくない fact11: もしあるものは着込むし更に胡散臭いならば請求基準であるということはない fact12: この宿泊施設が悄気るならそれは胡散臭い fact13: もしあるものは男装であるということはないなら錬成するし堪え難い fact14: あの御弁当仲間は長くない fact15: もしなんらかの物は堪え難いとしたら「それはカッターシャツだけど付着し易くない」ということは事実であるということはない fact16: もし仮になにがしかのものが錬成しないとしたらそれは堪え難くてそれにカッターシャツだ fact17: 仮に「あのベーキングソーダは染まない」ということは成り立つとするとこの宿泊施設は悄気るし押し過ぎる fact18: もしこの宿泊施設が請求基準でないとすればその総序はリバイバルする一方で大量摂取でない ; $hypothesis$ = 「その総序は扇ぐがしかし長くない」ということは嘘である ; $proof$ = 
fact8 & fact3 -> hypothesis; __PROVED__
事実1: 男装は錬成しなくて更にリバイバルしない
事実2: 「「アメリカ兵であるけれど預け合わない」ということは成り立つということはない」ものはある
事実3: その総序はカッターシャツでない
事実4: もし仮にその総序がリバイバルするけれど大量摂取でないならこのフェンシングは男装でない
事実5: もしもあのベーキングソーダが錬成しないしリバイバルしないならこの宿泊施設は錬成しない
事実6: もし仮にこの宿泊施設がカッターシャツだとしたらその総序は扇ぐけどそれは長くない
事実7: もしその総序はカッターシャツでないならば「それは扇ぐしおまけにそれは長い」ということは偽だ
事実8: もしもその総序はカッターシャツでないとすると「扇ぐしかつ長くない」ということは成り立たない
事実9: 仮に「「アメリカ兵だが預け合わない」ということは成り立たない」ものがあるとするとこの宿泊施設は着込む
事実10: 「その総序は扇ぐしさらに長い」ということは正しくない
事実11: もしあるものは着込むし更に胡散臭いならば請求基準であるということはない
事実12: この宿泊施設が悄気るならそれは胡散臭い
事実13: もしあるものは男装であるということはないなら錬成するし堪え難い
事実14: あの御弁当仲間は長くない
事実15: もしなんらかの物は堪え難いとしたら「それはカッターシャツだけど付着し易くない」ということは事実であるということはない
事実16: もし仮になにがしかのものが錬成しないとしたらそれは堪え難くてそれにカッターシャツだ
事実17: 仮に「あのベーキングソーダは染まない」ということは成り立つとするとこの宿泊施設は悄気るし押し過ぎる
事実18: もしこの宿泊施設が請求基準でないとすればその総序はリバイバルする一方で大量摂取でない

仮説: 「その総序は扇ぐがしかし長くない」ということは嘘である
1. 事実8と事実3から、仮説が導かれる

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