「そのネフローゼは御端折らないがしかし伸び易い」ということは成り立つ
fact1: もしも「その原資料は法定離婚事由だ一方で旨くない」ということは間違いなら綴り込まない fact2: 「この御清祥は水玉でおまけにそれはノスタルジーだ」ということは成り立たない fact3: そのネフローゼは伸び易い fact4: もしも「その原資料は何気無いけれど荷物検査であるということはない」ということは嘘ならばそのクイック起動バーは荷物検査だ fact5: もしなにがしかのものはノスタルジーでないとすれば「それは何気無い一方で荷物検査でない」ということは間違いである fact6: もし仮に何らかの物が綴り込まない一方で水玉であるとすればノスタルジーでない fact7: もしなんらかのものが呷らないなら伸び易い fact8: この二進数は呷らない fact9: もしなにかは何気無くないならそれは荷物検査でないけど御端折る fact10: 水っぽくないものは人間らしくないがしかし入院する fact11: もしもそのクイック起動バーが御端折るということはないとしたらそのネフローゼは複数台だということはない fact12: 仮にとある物は荷物検査であるならそれは呷る fact13: 仮に「そのクイック起動バーは複数台でない」ということは成り立たないとしたら「「そのネフローゼは御端折らないけどそれは伸び易い」ということは事実である」ということは偽だ fact14: もしなにかは複数台でないがそれが呷るとすると伸び易くない fact15: そのクイック起動バーは複数台でない fact16: 「その原資料は法定離婚事由だが旨くない」ということは誤りだ fact17: もし「そのネフローゼは呷らない」ということは偽だということはないならば伸び易い fact18: もしなにがしかの物が呷らないとすれば御端折らないがしかし伸び易い fact19: もし仮に「なにがしかのものは水玉であるしさらにノスタルジーだ」ということは真実であるということはないならば「それは何気無くない」ということは誤りでない fact20: もし仮にそのクイック起動バーが複数台でないならそのネフローゼは呷るということはない fact21: そのネフローゼは複数台だ
fact20 & fact15 -> int1: そのネフローゼは呷らない; fact18 -> int2: もしもそのネフローゼが呷らないならばそれは御端折らないけれど伸び易い; int1 & int2 -> hypothesis;
fact20 & fact15 -> int1: ¬{B}{b}; fact18 -> int2: ¬{B}{b} -> (¬{D}{b} & {C}{b}); int1 & int2 -> hypothesis;
「「そのネフローゼは御端折らないけれど伸び易い」ということは成り立たない」ということは正しい
fact26 -> int3: もし仮にそのクイック起動バーは荷物検査であるとしたら呷る; fact22 -> int4: もしもその原資料はノスタルジーだということはないなら「それは何気無いけれど荷物検査だということはない」ということは事実と異なる; fact24 -> int5: その原資料が綴り込むということはないけどそれは水玉であるとしたらそれはノスタルジーでない; fact23 & fact27 -> int6: その原資料は綴り込まない;
$facts$ = fact1: もしも「その原資料は法定離婚事由だ一方で旨くない」ということは間違いなら綴り込まない fact2: 「この御清祥は水玉でおまけにそれはノスタルジーだ」ということは成り立たない fact3: そのネフローゼは伸び易い fact4: もしも「その原資料は何気無いけれど荷物検査であるということはない」ということは嘘ならばそのクイック起動バーは荷物検査だ fact5: もしなにがしかのものはノスタルジーでないとすれば「それは何気無い一方で荷物検査でない」ということは間違いである fact6: もし仮に何らかの物が綴り込まない一方で水玉であるとすればノスタルジーでない fact7: もしなんらかのものが呷らないなら伸び易い fact8: この二進数は呷らない fact9: もしなにかは何気無くないならそれは荷物検査でないけど御端折る fact10: 水っぽくないものは人間らしくないがしかし入院する fact11: もしもそのクイック起動バーが御端折るということはないとしたらそのネフローゼは複数台だということはない fact12: 仮にとある物は荷物検査であるならそれは呷る fact13: 仮に「そのクイック起動バーは複数台でない」ということは成り立たないとしたら「「そのネフローゼは御端折らないけどそれは伸び易い」ということは事実である」ということは偽だ fact14: もしなにかは複数台でないがそれが呷るとすると伸び易くない fact15: そのクイック起動バーは複数台でない fact16: 「その原資料は法定離婚事由だが旨くない」ということは誤りだ fact17: もし「そのネフローゼは呷らない」ということは偽だということはないならば伸び易い fact18: もしなにがしかの物が呷らないとすれば御端折らないがしかし伸び易い fact19: もし仮に「なにがしかのものは水玉であるしさらにノスタルジーだ」ということは真実であるということはないならば「それは何気無くない」ということは誤りでない fact20: もし仮にそのクイック起動バーが複数台でないならそのネフローゼは呷るということはない fact21: そのネフローゼは複数台だ ; $hypothesis$ = 「そのネフローゼは御端折らないがしかし伸び易い」ということは成り立つ ; $proof$ = 
fact20 & fact15 -> int1: そのネフローゼは呷らない; fact18 -> int2: もしもそのネフローゼが呷らないならばそれは御端折らないけれど伸び易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「その原資料は法定離婚事由だ一方で旨くない」ということは間違いなら綴り込まない
事実2: 「この御清祥は水玉でおまけにそれはノスタルジーだ」ということは成り立たない
事実3: そのネフローゼは伸び易い
事実4: もしも「その原資料は何気無いけれど荷物検査であるということはない」ということは嘘ならばそのクイック起動バーは荷物検査だ
事実5: もしなにがしかのものはノスタルジーでないとすれば「それは何気無い一方で荷物検査でない」ということは間違いである
事実6: もし仮に何らかの物が綴り込まない一方で水玉であるとすればノスタルジーでない
事実7: もしなんらかのものが呷らないなら伸び易い
事実8: この二進数は呷らない
事実9: もしなにかは何気無くないならそれは荷物検査でないけど御端折る
事実10: 水っぽくないものは人間らしくないがしかし入院する
事実11: もしもそのクイック起動バーが御端折るということはないとしたらそのネフローゼは複数台だということはない
事実12: 仮にとある物は荷物検査であるならそれは呷る
事実13: 仮に「そのクイック起動バーは複数台でない」ということは成り立たないとしたら「「そのネフローゼは御端折らないけどそれは伸び易い」ということは事実である」ということは偽だ
事実14: もしなにかは複数台でないがそれが呷るとすると伸び易くない
事実15: そのクイック起動バーは複数台でない
事実16: 「その原資料は法定離婚事由だが旨くない」ということは誤りだ
事実17: もし「そのネフローゼは呷らない」ということは偽だということはないならば伸び易い
事実18: もしなにがしかの物が呷らないとすれば御端折らないがしかし伸び易い
事実19: もし仮に「なにがしかのものは水玉であるしさらにノスタルジーだ」ということは真実であるということはないならば「それは何気無くない」ということは誤りでない
事実20: もし仮にそのクイック起動バーが複数台でないならそのネフローゼは呷るということはない
事実21: そのネフローゼは複数台だ

仮説: 「そのネフローゼは御端折らないがしかし伸び易い」ということは成り立つ
1. 事実20と事実15から、推論1: "そのネフローゼは呷らない"が導かれる
2. 事実18から、推論2: "もしもそのネフローゼが呷らないならばそれは御端折らないけれど伸び易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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