「その伸び悩みはけばけばしくない」ということは成り立つ
fact1: 「このトンガン人は来日するということはないかあるいは入れ易いかもしくは両方である」ということは成り立つということはないとすると「その伸び悩みはけばけばしいということはない」ということは真実だ fact2: もしも「このゆとり株は覚え込むということはないがしかし修道士である」ということは誤りならその一度限りは修道士でない fact3: 「このトンガン人は来日しないかあるいは入れ易いかまたは両方である」ということは成り立たない fact4: なんらかの物はどぎついということはないとしたら「それは毒々しかないかもしくはそれは来日するかあるいは両方だ」ということは成り立たない fact5: このトンガン人はけばけばしくない fact6: もし仮に「バランス良いということはない」物があるとするとこのコンテキストは女らしくない fact7: もしなんらかの物がちょろくないしそれがけばけばしくないとするとあの名詞類はどぎつかない fact8: もしもその一度限りが女らしくないし加えてそれが修道士でないならこのトンガン人は見え出すということはない fact9: 「なんらかのものはちょろいか初恋するかあるいは両方ともだ」ということは間違っているとしたらそれはどぎついということはない fact10: もしある物が初恋するならちょろくなくて加えてけばけばしくない fact11: 「このゆとり株は覚え込まないけれどそれは修道士である」ということは成り立たない fact12: 何もかもは俯けるししかも十四歳未満だ fact13: もし仮に「その伸び悩みは来日しないかあるいは入れ易いか両方だ」ということは誤っているとするとこのトンガン人はけばけばしくない fact14: 仮にその伸び悩みが修道士でないならばこのトンガン人は初恋するし見え出す fact15: もしとある物はどぎつかないとすればけばけばしい fact16: このトンガン人は来日する fact17: 仮に「このコンテキストは女らしい」ということは誤りだとするとその一度限りは女らしくない fact18: もしある物が俯ければバランス良くない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
「あの名詞類は毒々しかないかまたは来日するかもしくはどちらもだ」ということは成り立つということはない
fact21 -> int1: 仮にあの名詞類はどぎついということはないとしたら「毒々しかないかまたは来日するかまたは両方ともだ」ということは間違いである; fact20 -> int2: もしもこのトンガン人が初恋するとすればそれはちょろいということはなくてそれはけばけばしくない;
$facts$ = fact1: 「このトンガン人は来日するということはないかあるいは入れ易いかもしくは両方である」ということは成り立つということはないとすると「その伸び悩みはけばけばしいということはない」ということは真実だ fact2: もしも「このゆとり株は覚え込むということはないがしかし修道士である」ということは誤りならその一度限りは修道士でない fact3: 「このトンガン人は来日しないかあるいは入れ易いかまたは両方である」ということは成り立たない fact4: なんらかの物はどぎついということはないとしたら「それは毒々しかないかもしくはそれは来日するかあるいは両方だ」ということは成り立たない fact5: このトンガン人はけばけばしくない fact6: もし仮に「バランス良いということはない」物があるとするとこのコンテキストは女らしくない fact7: もしなんらかの物がちょろくないしそれがけばけばしくないとするとあの名詞類はどぎつかない fact8: もしもその一度限りが女らしくないし加えてそれが修道士でないならこのトンガン人は見え出すということはない fact9: 「なんらかのものはちょろいか初恋するかあるいは両方ともだ」ということは間違っているとしたらそれはどぎついということはない fact10: もしある物が初恋するならちょろくなくて加えてけばけばしくない fact11: 「このゆとり株は覚え込まないけれどそれは修道士である」ということは成り立たない fact12: 何もかもは俯けるししかも十四歳未満だ fact13: もし仮に「その伸び悩みは来日しないかあるいは入れ易いか両方だ」ということは誤っているとするとこのトンガン人はけばけばしくない fact14: 仮にその伸び悩みが修道士でないならばこのトンガン人は初恋するし見え出す fact15: もしとある物はどぎつかないとすればけばけばしい fact16: このトンガン人は来日する fact17: 仮に「このコンテキストは女らしい」ということは誤りだとするとその一度限りは女らしくない fact18: もしある物が俯ければバランス良くない ; $hypothesis$ = 「その伸び悩みはけばけばしくない」ということは成り立つ ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 「このトンガン人は来日するということはないかあるいは入れ易いかもしくは両方である」ということは成り立つということはないとすると「その伸び悩みはけばけばしいということはない」ということは真実だ
事実2: もしも「このゆとり株は覚え込むということはないがしかし修道士である」ということは誤りならその一度限りは修道士でない
事実3: 「このトンガン人は来日しないかあるいは入れ易いかまたは両方である」ということは成り立たない
事実4: なんらかの物はどぎついということはないとしたら「それは毒々しかないかもしくはそれは来日するかあるいは両方だ」ということは成り立たない
事実5: このトンガン人はけばけばしくない
事実6: もし仮に「バランス良いということはない」物があるとするとこのコンテキストは女らしくない
事実7: もしなんらかの物がちょろくないしそれがけばけばしくないとするとあの名詞類はどぎつかない
事実8: もしもその一度限りが女らしくないし加えてそれが修道士でないならこのトンガン人は見え出すということはない
事実9: 「なんらかのものはちょろいか初恋するかあるいは両方ともだ」ということは間違っているとしたらそれはどぎついということはない
事実10: もしある物が初恋するならちょろくなくて加えてけばけばしくない
事実11: 「このゆとり株は覚え込まないけれどそれは修道士である」ということは成り立たない
事実12: 何もかもは俯けるししかも十四歳未満だ
事実13: もし仮に「その伸び悩みは来日しないかあるいは入れ易いか両方だ」ということは誤っているとするとこのトンガン人はけばけばしくない
事実14: 仮にその伸び悩みが修道士でないならばこのトンガン人は初恋するし見え出す
事実15: もしとある物はどぎつかないとすればけばけばしい
事実16: このトンガン人は来日する
事実17: 仮に「このコンテキストは女らしい」ということは誤りだとするとその一度限りは女らしくない
事実18: もしある物が俯ければバランス良くない

仮説: 「その伸び悩みはけばけばしくない」ということは成り立つ
1. 事実1と事実3から、仮説が導かれる

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