この球威は対応し易くない
fact1: 仮に「「戯画化しなくて加えて汚れ難くない」ということは本当であるということはない」物があるならこの球威は対応し易いということはない fact2: もしもその単胃動物が我慢強さであるということはないとするとこの球威は包み込むしそれは対応し易い fact3: 「「「戯画化するということはなくて更に汚れ難くない」ということは事実である」ということは事実と異なる」ものはある fact4: もしもなんらかの物が繰り戻さないならばそれは我慢強さでないし加えて統括する fact5: 「「吐き出さないし大きくない」ということは偽な」物はある fact6: 仮に「「登頂だということはないしその上理解し難くない」ということは嘘な」物があるとするとこの各専門分野は無声化し易くない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この球威は対応し易い
fact8 -> int1: もしもその単胃動物が繰り戻さないとしたらそれは我慢強さでないしかつ統括する;
$facts$ = fact1: 仮に「「戯画化しなくて加えて汚れ難くない」ということは本当であるということはない」物があるならこの球威は対応し易いということはない fact2: もしもその単胃動物が我慢強さであるということはないとするとこの球威は包み込むしそれは対応し易い fact3: 「「「戯画化するということはなくて更に汚れ難くない」ということは事実である」ということは事実と異なる」ものはある fact4: もしもなんらかの物が繰り戻さないならばそれは我慢強さでないし加えて統括する fact5: 「「吐き出さないし大きくない」ということは偽な」物はある fact6: 仮に「「登頂だということはないしその上理解し難くない」ということは嘘な」物があるとするとこの各専門分野は無声化し易くない ; $hypothesis$ = この球威は対応し易くない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「「戯画化しなくて加えて汚れ難くない」ということは本当であるということはない」物があるならこの球威は対応し易いということはない
事実2: もしもその単胃動物が我慢強さであるということはないとするとこの球威は包み込むしそれは対応し易い
事実3: 「「「戯画化するということはなくて更に汚れ難くない」ということは事実である」ということは事実と異なる」ものはある
事実4: もしもなんらかの物が繰り戻さないならばそれは我慢強さでないし加えて統括する
事実5: 「「吐き出さないし大きくない」ということは偽な」物はある
事実6: 仮に「「登頂だということはないしその上理解し難くない」ということは嘘な」物があるとするとこの各専門分野は無声化し易くない

仮説: この球威は対応し易くない
1. 事実3と事実1から、仮説が導かれる

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