「その夏型はスリップしないけれどどんよりする」ということは成り立つということはない
fact1: どれもこれもはスリップしないがどんよりする fact2: 仮に何かはスリップするとすれば「接し得ないがどんよりする」ということは真実である fact3: 仮にこの保護観察官協会が嫌味っぽくないならばこの元本確定期日はスリップするしまた信じ難い fact4: もし「なにかは与し易いということはないがしかしそれは点検する」ということは事実と異なるとしたらそれは与し易い fact5: もしとある物が与し易いならそれは嫌味っぽくない fact6: その夏型はどんよりする fact7: すべてはどんよりする
fact1 -> hypothesis;
fact1 -> hypothesis;
この元本確定期日は接し得ないけれどどんよりする
fact10 -> int1: もし仮にこの元本確定期日がスリップするとすれば接し得ないしそれはどんよりする; fact8 -> int2: もし仮に「この保護観察官協会は与し易い」ということは成り立つとすれば嫌味っぽくない; fact11 -> int3: もし「この保護観察官協会は与し易くないけどそれは点検する」ということは嘘であるとすれば与し易い;
$facts$ = fact1: どれもこれもはスリップしないがどんよりする fact2: 仮に何かはスリップするとすれば「接し得ないがどんよりする」ということは真実である fact3: 仮にこの保護観察官協会が嫌味っぽくないならばこの元本確定期日はスリップするしまた信じ難い fact4: もし「なにかは与し易いということはないがしかしそれは点検する」ということは事実と異なるとしたらそれは与し易い fact5: もしとある物が与し易いならそれは嫌味っぽくない fact6: その夏型はどんよりする fact7: すべてはどんよりする ; $hypothesis$ = 「その夏型はスリップしないけれどどんよりする」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: どれもこれもはスリップしないがどんよりする
事実2: 仮に何かはスリップするとすれば「接し得ないがどんよりする」ということは真実である
事実3: 仮にこの保護観察官協会が嫌味っぽくないならばこの元本確定期日はスリップするしまた信じ難い
事実4: もし「なにかは与し易いということはないがしかしそれは点検する」ということは事実と異なるとしたらそれは与し易い
事実5: もしとある物が与し易いならそれは嫌味っぽくない
事実6: その夏型はどんよりする
事実7: すべてはどんよりする

仮説: 「その夏型はスリップしないけれどどんよりする」ということは成り立つということはない
1. 事実1から、仮説が否定される

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