あの増殖は形成され易い
fact1: 「仮にあの増殖は分かり易いとすれば「あの増殖は発酵しないしその上日焼けしない」ということは確かでない」ということは誤っていない fact2: もし仮にあるものが押し込むとするとそれは岸近くでなくて肥効だということはない fact3: あの増殖は食い殺さなくてしかも岸近くでない fact4: 「なにがしかの物は発酵しなくて日焼けするということはない」ということは成り立たないならば固くない fact5: なんらかの物が固いということはないならばそれは押し込むしかつ形成され易い fact6: もしもあの増殖は食い殺さないしかつ岸近くでないとすると「形成され易くない」ということは確かだ
fact6 & fact3 -> hypothesis;
あの増殖は岸近くでないしその上肥効でない
fact8 -> int1: もしもあの増殖が押し込むとすると岸近くでなくてかつそれは肥効でない; fact7 -> int2: もしあの増殖が固くないならそれは押し込むししかも形成され易い; fact9 -> int3: もし「あの増殖は発酵しなくてかつ日焼けしない」ということは成り立たないとしたらそれは固いということはない;
$facts$ = fact1: 「仮にあの増殖は分かり易いとすれば「あの増殖は発酵しないしその上日焼けしない」ということは確かでない」ということは誤っていない fact2: もし仮にあるものが押し込むとするとそれは岸近くでなくて肥効だということはない fact3: あの増殖は食い殺さなくてしかも岸近くでない fact4: 「なにがしかの物は発酵しなくて日焼けするということはない」ということは成り立たないならば固くない fact5: なんらかの物が固いということはないならばそれは押し込むしかつ形成され易い fact6: もしもあの増殖は食い殺さないしかつ岸近くでないとすると「形成され易くない」ということは確かだ ; $hypothesis$ = あの増殖は形成され易い ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: 「仮にあの増殖は分かり易いとすれば「あの増殖は発酵しないしその上日焼けしない」ということは確かでない」ということは誤っていない
事実2: もし仮にあるものが押し込むとするとそれは岸近くでなくて肥効だということはない
事実3: あの増殖は食い殺さなくてしかも岸近くでない
事実4: 「なにがしかの物は発酵しなくて日焼けするということはない」ということは成り立たないならば固くない
事実5: なんらかの物が固いということはないならばそれは押し込むしかつ形成され易い
事実6: もしもあの増殖は食い殺さないしかつ岸近くでないとすると「形成され易くない」ということは確かだ

仮説: あの増殖は形成され易い
1. 事実6と事実3から、仮説が否定される

よって、仮説が否定されました。