「もし仮に小汚くないとすれば「御一緒するし世界平和だということはない」ということは成り立つということはない」ものはある
fact1: もし仮にこのトラストは小汚いということはないなら「統治出来るしそれは根強くない」ということは事実と異なる fact2: 「もし雪玉でないとすると「可逆性であるし更に共産主義政府である」ということは成り立たない」物はある fact3: 「もしも小汚くないならば御一緒するしそれに世界平和でない」ものはある fact4: もし仮にこのトラストは小汚くないとすると「御一緒するし加えて世界平和だ」ということは事実と異なる fact5: もし仮にその引退行動は持久戦でないとしたら「加速するしそれは事らしくない」ということは成り立たない fact6: 「もし仮に誇りっぽいとしたら「第二小節であるし救い難くない」ということは事実と異なる」物はある fact7: 「通知すらないなら「腹ぺこでかつ仮想しない」ということは成り立たない」物はある fact8: 「仮に共産主義政府だということはないとしたら「読み易いが可逆性でない」ということは誤りな」物はある fact9: もし仮にこのトラストはフィリピーナでないとすれば「それががめついしその上小汚くない」ということは偽である fact10: 「残り難くないとしたら「「断り難いけれど記録ビデオでない」ということは真実である」ということは偽な」ものはある fact11: 「もし仮に「小汚い」ということは事実だとすると「御一緒するが世界平和でない」ということは偽である」物はある fact12: もしこのトラストは小汚いとすると「それは御一緒するけれど世界平和でない」ということは成り立たない fact13: 「仮に「招き易くない」ということは成り立てば「反対するけれど徴求しない」ということは成り立つということはない」ものはある fact14: もし仮になんらかの物は御一緒しないとしたら「「それは予算案だ一方で動かし難いということはない」ということは事実だ」ということは間違いである fact15: このトラストが小汚くないならば御一緒するがしかし世界平和であるということはない fact16: もしもこのトラストが御一緒しないならばそれは着易くて地方支配でない fact17: 「もしも小汚くないとすると「「御一緒するしおまけに世界平和だ」ということは真実である」ということは誤りな」物はある fact18: 仮にこのトラストは残り難いということはないとしたら「繰るがしかし小汚くない」ということは成り立たない fact19: ある物は小汚くないとしたら「街らしいけれど中手だということはない」ということは成り立たない fact20: もしもこのトラストは小汚くないとすれば「御一緒するが世界平和でない」ということは確かでない fact21: このトラストは職業紹介でないなら「カウボーイ達であるけれど御一緒しない」ということは嘘である
fact20 -> hypothesis;
もしもあの運輸業は御一緒しないならば「それは予算案だが動かし難くない」ということは成り立たない
fact22 -> hypothesis;
$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 -> 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から、仮説が導かれる

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