そのホラー番長は鬱陶しいということはないがしかし商人らしい
fact1: 仮に「そのホラー番長は商人らしくないがしかし鬱陶しい」ということは成り立たないとすればそれは無力感でない fact2: もし仮に「無力感な」ものがあるとすればそのホラー番長は鬱陶しかないけど商人らしい fact3: もしその泥状が落ち着き為さるとするとそれは商人らしい fact4: 「あるものは落ち着き為さるしそれは無力感である」ということは成り立つということはないとすると無力感でない fact5: あるものは無力感でないならばそれは給付する fact6: 「「無力感だ」ということは事実な」ものはある fact7: もしも「なんらかのものは表しないけどそれはδ関数である」ということは事実と異なるとしたらそれは落ち着き為さる
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
「そのホラー番長は鬱陶しかないけど商人らしい」ということは確かだということはない
fact8 -> int1: 仮に「そのホラー番長は落ち着き為さるし無力感である」ということは成り立つということはないとすればそれは無力感だということはない;
$facts$ = fact1: 仮に「そのホラー番長は商人らしくないがしかし鬱陶しい」ということは成り立たないとすればそれは無力感でない fact2: もし仮に「無力感な」ものがあるとすればそのホラー番長は鬱陶しかないけど商人らしい fact3: もしその泥状が落ち着き為さるとするとそれは商人らしい fact4: 「あるものは落ち着き為さるしそれは無力感である」ということは成り立つということはないとすると無力感でない fact5: あるものは無力感でないならばそれは給付する fact6: 「「無力感だ」ということは事実な」ものはある fact7: もしも「なんらかのものは表しないけどそれはδ関数である」ということは事実と異なるとしたらそれは落ち着き為さる ; $hypothesis$ = そのホラー番長は鬱陶しいということはないがしかし商人らしい ; $proof$ = 
fact6 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「そのホラー番長は商人らしくないがしかし鬱陶しい」ということは成り立たないとすればそれは無力感でない
事実2: もし仮に「無力感な」ものがあるとすればそのホラー番長は鬱陶しかないけど商人らしい
事実3: もしその泥状が落ち着き為さるとするとそれは商人らしい
事実4: 「あるものは落ち着き為さるしそれは無力感である」ということは成り立つということはないとすると無力感でない
事実5: あるものは無力感でないならばそれは給付する
事実6: 「「無力感だ」ということは事実な」ものはある
事実7: もしも「なんらかのものは表しないけどそれはδ関数である」ということは事実と異なるとしたらそれは落ち着き為さる

仮説: そのホラー番長は鬱陶しいということはないがしかし商人らしい
1. 事実6と事実2から、仮説が導かれる

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