あの塗装は二反余りでなくてしかもそれは共起しない
fact1: 「「滑り難い」ということは真実な」ものはある fact2: もしなんらかの物は滑り難いならば「二反余りでないし共起しない」ということは間違いだ fact3: あの塗装は共起するということはない fact4: もしも「なにかは蒼むないがしかしそれは著しい」ということは成り立つということはないならばそれは著しかない fact5: あるものは二反余りだ fact6: もし何かは著しかないならば滑り難いしさらにこっ酷い fact7: もしも「滑り難い」ものがあるならあの塗装は共起しない fact8: もし何らかの物はこっ酷くないとすると「それは二反余りでおまけに共起する」ということは本当だ fact9: あの塗装は夕方以降でない fact10: もし仮に「あの塗装はこっ酷くないかまたはそれは著しい」ということは間違っているとするとあの二百六十一号機はこっ酷くない fact11: 二反余りは五人連れでないしまた滑り難くない fact12: もし仮に滑り難いものがあるとするとあの塗装は二反余りであるということはなくて共起しない
fact1 & fact12 -> hypothesis;
fact1 & fact12 -> hypothesis;
あの二百六十一号機は五人連れでなくておまけに滑り難くない
fact14 -> int1: あの二百六十一号機が二反余りならそれは五人連れでなくてそれは滑り難いということはない; fact13 -> int2: もし「あの二百六十一号機はこっ酷くない」ということは正しいとすればそれは二反余りでまたそれは共起する;
$facts$ = fact1: 「「滑り難い」ということは真実な」ものはある fact2: もしなんらかの物は滑り難いならば「二反余りでないし共起しない」ということは間違いだ fact3: あの塗装は共起するということはない fact4: もしも「なにかは蒼むないがしかしそれは著しい」ということは成り立つということはないならばそれは著しかない fact5: あるものは二反余りだ fact6: もし何かは著しかないならば滑り難いしさらにこっ酷い fact7: もしも「滑り難い」ものがあるならあの塗装は共起しない fact8: もし何らかの物はこっ酷くないとすると「それは二反余りでおまけに共起する」ということは本当だ fact9: あの塗装は夕方以降でない fact10: もし仮に「あの塗装はこっ酷くないかまたはそれは著しい」ということは間違っているとするとあの二百六十一号機はこっ酷くない fact11: 二反余りは五人連れでないしまた滑り難くない fact12: もし仮に滑り難いものがあるとするとあの塗装は二反余りであるということはなくて共起しない ; $hypothesis$ = あの塗装は二反余りでなくてしかもそれは共起しない ; $proof$ = 
fact1 & fact12 -> hypothesis; __PROVED__
事実1: 「「滑り難い」ということは真実な」ものはある
事実2: もしなんらかの物は滑り難いならば「二反余りでないし共起しない」ということは間違いだ
事実3: あの塗装は共起するということはない
事実4: もしも「なにかは蒼むないがしかしそれは著しい」ということは成り立つということはないならばそれは著しかない
事実5: あるものは二反余りだ
事実6: もし何かは著しかないならば滑り難いしさらにこっ酷い
事実7: もしも「滑り難い」ものがあるならあの塗装は共起しない
事実8: もし何らかの物はこっ酷くないとすると「それは二反余りでおまけに共起する」ということは本当だ
事実9: あの塗装は夕方以降でない
事実10: もし仮に「あの塗装はこっ酷くないかまたはそれは著しい」ということは間違っているとするとあの二百六十一号機はこっ酷くない
事実11: 二反余りは五人連れでないしまた滑り難くない
事実12: もし仮に滑り難いものがあるとするとあの塗装は二反余りであるということはなくて共起しない

仮説: あの塗装は二反余りでなくてしかもそれは共起しない
1. 事実1と事実12から、仮説が導かれる

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