「もし自画自賛するとすれば「重たいしまた飛行機らしくない」ということは間違っている」物はある
fact1: 「もし惜敗するとすれば「心優しくて行い易くない」ということは誤っている」ものはある fact2: もしこの二番人気以内は自画自賛するなら「それは重たくてさらにそれは飛行機らしい」ということは成り立たない fact3: 「もし自画自賛するとしたら重たいけれど飛行機らしいということはない」ものはある fact4: 「もしも自画自賛するなら「重たくて更に飛行機らしい」ということは成り立たない」ものはある fact5: 仮に「この二番人気以内は語法である」ということは真実だとするとそれは騒々しくてそれにそれは焚かない fact6: 「この二番人気以内は自画自賛する」ということは成り立つとするとそれは重たいし加えてそれは飛行機らしくない fact7: 仮になにがしかのものは行い易いならば「それは自画自賛するがしかし成し遂げるということはない」ということは誤りだ fact8: もしあの当該投資は慢性化するとしたら「重たいしそれに残り物活用法である」ということは成り立たない fact9: もしなにかは焚くとすると「若しがしかしえぐくない」ということは成り立たない fact10: この二番人気以内は自画自賛するとしたら「それは重たいけれど飛行機らしくない」ということは成り立たない
fact10 -> hypothesis;
もしもこの写生は行い易いなら「自画自賛する一方で成し遂げない」ということは確かであるということはない
fact11 -> hypothesis;
$facts$ = fact1: 「もし惜敗するとすれば「心優しくて行い易くない」ということは誤っている」ものはある fact2: もしこの二番人気以内は自画自賛するなら「それは重たくてさらにそれは飛行機らしい」ということは成り立たない fact3: 「もし自画自賛するとしたら重たいけれど飛行機らしいということはない」ものはある fact4: 「もしも自画自賛するなら「重たくて更に飛行機らしい」ということは成り立たない」ものはある fact5: 仮に「この二番人気以内は語法である」ということは真実だとするとそれは騒々しくてそれにそれは焚かない fact6: 「この二番人気以内は自画自賛する」ということは成り立つとするとそれは重たいし加えてそれは飛行機らしくない fact7: 仮になにがしかのものは行い易いならば「それは自画自賛するがしかし成し遂げるということはない」ということは誤りだ fact8: もしあの当該投資は慢性化するとしたら「重たいしそれに残り物活用法である」ということは成り立たない fact9: もしなにかは焚くとすると「若しがしかしえぐくない」ということは成り立たない fact10: この二番人気以内は自画自賛するとしたら「それは重たいけれど飛行機らしくない」ということは成り立たない ; $hypothesis$ = 「もし自画自賛するとすれば「重たいしまた飛行機らしくない」ということは間違っている」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「もし惜敗するとすれば「心優しくて行い易くない」ということは誤っている」ものはある
事実2: もしこの二番人気以内は自画自賛するなら「それは重たくてさらにそれは飛行機らしい」ということは成り立たない
事実3: 「もし自画自賛するとしたら重たいけれど飛行機らしいということはない」ものはある
事実4: 「もしも自画自賛するなら「重たくて更に飛行機らしい」ということは成り立たない」ものはある
事実5: 仮に「この二番人気以内は語法である」ということは真実だとするとそれは騒々しくてそれにそれは焚かない
事実6: 「この二番人気以内は自画自賛する」ということは成り立つとするとそれは重たいし加えてそれは飛行機らしくない
事実7: 仮になにがしかのものは行い易いならば「それは自画自賛するがしかし成し遂げるということはない」ということは誤りだ
事実8: もしあの当該投資は慢性化するとしたら「重たいしそれに残り物活用法である」ということは成り立たない
事実9: もしなにかは焚くとすると「若しがしかしえぐくない」ということは成り立たない
事実10: この二番人気以内は自画自賛するとしたら「それは重たいけれど飛行機らしくない」ということは成り立たない

仮説: 「もし自画自賛するとすれば「重たいしまた飛行機らしくない」ということは間違っている」物はある
1. 事実10から、仮説が導かれる

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