このマジックマッシュルームは話芸でない
fact1: もしもこのマジックマッシュルームが生じ難いなら酸化し難い fact2: このマジックマッシュルームは返答出来る fact3: あの政府補助金は酸化し難い fact4: もし「このマジックマッシュルームは試合開始時間でない」ということは成り立つとすると生じ難いかまたはそれは酸化し難いかまたはどちらもだ fact5: 仮に至り君が酸化し難いとすると話芸でない fact6: この西丸両番は篩い入れるし丹精である fact7: もしこの西丸両番が至り君であるが話芸でないとしたらこのマジックマッシュルームは至り君であるということはない fact8: 仮に「この注目箇所は篩い入れない」ということは事実であるとするとこの西丸両番は生じ難いしまた試合開始時間である fact9: このマジックマッシュルームは返答出来るし加えて至り君である fact10: もし仮に何らかの物は至り君でないとしたらそれは返答出来るしかつ話芸である fact11: このマジックマッシュルームは生じ難い fact12: もしこのマジックマッシュルームが返答出来なくて加えて酸化し難いということはないならばその追跡調査は返答出来る fact13: 「この西丸両番は話芸であるけれど返答出来ない」ということは事実と異なるとするとこのマジックマッシュルームは話芸だ fact14: この注目箇所は丹精だけれど篩い入れない
fact9 -> int1: このマジックマッシュルームは至り君だ; fact1 & fact11 -> int2: このマジックマッシュルームは酸化し難い; int1 & int2 -> int3: このマジックマッシュルームは至り君であるしその上酸化し難い; fact5 -> int4: このマジックマッシュルームは至り君で更に酸化し難いならばそれは話芸でない; int3 & int4 -> hypothesis;
fact9 -> int1: {B}{a}; fact1 & fact11 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact5 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
このマジックマッシュルームは話芸である
fact16 -> int5: もし仮にこのマジックマッシュルームは至り君でないとするとそれは返答出来るし加えて話芸である; fact17 -> int6: この西丸両番は篩い入れる; int6 -> int7: 「篩い入れる」物はある;
$facts$ = fact1: もしもこのマジックマッシュルームが生じ難いなら酸化し難い fact2: このマジックマッシュルームは返答出来る fact3: あの政府補助金は酸化し難い fact4: もし「このマジックマッシュルームは試合開始時間でない」ということは成り立つとすると生じ難いかまたはそれは酸化し難いかまたはどちらもだ fact5: 仮に至り君が酸化し難いとすると話芸でない fact6: この西丸両番は篩い入れるし丹精である fact7: もしこの西丸両番が至り君であるが話芸でないとしたらこのマジックマッシュルームは至り君であるということはない fact8: 仮に「この注目箇所は篩い入れない」ということは事実であるとするとこの西丸両番は生じ難いしまた試合開始時間である fact9: このマジックマッシュルームは返答出来るし加えて至り君である fact10: もし仮に何らかの物は至り君でないとしたらそれは返答出来るしかつ話芸である fact11: このマジックマッシュルームは生じ難い fact12: もしこのマジックマッシュルームが返答出来なくて加えて酸化し難いということはないならばその追跡調査は返答出来る fact13: 「この西丸両番は話芸であるけれど返答出来ない」ということは事実と異なるとするとこのマジックマッシュルームは話芸だ fact14: この注目箇所は丹精だけれど篩い入れない ; $hypothesis$ = このマジックマッシュルームは話芸でない ; $proof$ = 
fact9 -> int1: このマジックマッシュルームは至り君だ; fact1 & fact11 -> int2: このマジックマッシュルームは酸化し難い; int1 & int2 -> int3: このマジックマッシュルームは至り君であるしその上酸化し難い; fact5 -> int4: このマジックマッシュルームは至り君で更に酸化し難いならばそれは話芸でない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもこのマジックマッシュルームが生じ難いなら酸化し難い
事実2: このマジックマッシュルームは返答出来る
事実3: あの政府補助金は酸化し難い
事実4: もし「このマジックマッシュルームは試合開始時間でない」ということは成り立つとすると生じ難いかまたはそれは酸化し難いかまたはどちらもだ
事実5: 仮に至り君が酸化し難いとすると話芸でない
事実6: この西丸両番は篩い入れるし丹精である
事実7: もしこの西丸両番が至り君であるが話芸でないとしたらこのマジックマッシュルームは至り君であるということはない
事実8: 仮に「この注目箇所は篩い入れない」ということは事実であるとするとこの西丸両番は生じ難いしまた試合開始時間である
事実9: このマジックマッシュルームは返答出来るし加えて至り君である
事実10: もし仮に何らかの物は至り君でないとしたらそれは返答出来るしかつ話芸である
事実11: このマジックマッシュルームは生じ難い
事実12: もしこのマジックマッシュルームが返答出来なくて加えて酸化し難いということはないならばその追跡調査は返答出来る
事実13: 「この西丸両番は話芸であるけれど返答出来ない」ということは事実と異なるとするとこのマジックマッシュルームは話芸だ
事実14: この注目箇所は丹精だけれど篩い入れない

仮説: このマジックマッシュルームは話芸でない
1. 事実9から、推論1: "このマジックマッシュルームは至り君だ"が導かれる
2. 事実1と事実11から、推論2: "このマジックマッシュルームは酸化し難い"が導かれる
3. 推論1と推論2から、推論3: "このマジックマッシュルームは至り君であるしその上酸化し難い"が導かれる
4. 事実5から、推論4: "このマジックマッシュルームは至り君で更に酸化し難いならばそれは話芸でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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