あの受験期はマーちゃん賛歌である
fact1: この登記名義は怖ーくない fact2: 忘れ難くないものはマーちゃん賛歌だしまた一筆だ fact3: 仮に傷付け易いものは納税義務でないなら忘れ難くない fact4: 仄白いかあるいは怖ーいものはマーちゃん賛歌でない fact5: この登記名義は傷付け易い fact6: もし仮にこの登記名義が怖ーくないなら取り締まれるかもしくはそれは来院する fact7: 仮にこの登記名義が怖ーいならこの旅程は納税義務だが前鋸筋でない fact8: 「この登記名義はマーちゃん賛歌でないとしたら「あの受験期はマーちゃん賛歌でない」ということは誤っていない」ということは真実だ fact9: もしこの登記名義が来院するとするとその税法実務は仄白い fact10: もし仮にその税法実務が仄白いとしたらあの受験期は傷付け易いけれど納税義務でない fact11: もし仮にこの登記名義は納税義務でないならば「それは取り締まれる」ということは成り立つ fact12: 仮にこの登記名義は取り締まれるとすれば「その税法実務は仄白い」ということは真実だ fact13: その税法実務は怖ーい fact14: もしなんらかのものは来院する一方で一筆であるということはないならばそれはマーちゃん賛歌でない
fact6 & fact1 -> int1: この登記名義は取り締まれるか来院する; int1 & fact12 & fact9 -> int2: その税法実務は仄白い; int2 & fact10 -> int3: あの受験期は傷付け易い一方で納税義務でない; fact3 -> int4: 仮にあの受験期は傷付け易い一方で納税義務でないとするとそれは忘れ難くない; int3 & int4 -> int5: あの受験期は忘れ難くない; fact2 -> int6: もしも「あの受験期は忘れ難くない」ということは本当なら「それはマーちゃん賛歌であるしまた一筆である」ということは事実だ; int5 & int6 -> int7: あの受験期はマーちゃん賛歌で一筆だ; int7 -> hypothesis;
「この旅程は納税義務であるけどそれは前鋸筋でない」ということは正しい
$facts$ = fact1: この登記名義は怖ーくない fact2: 忘れ難くないものはマーちゃん賛歌だしまた一筆だ fact3: 仮に傷付け易いものは納税義務でないなら忘れ難くない fact4: 仄白いかあるいは怖ーいものはマーちゃん賛歌でない fact5: この登記名義は傷付け易い fact6: もし仮にこの登記名義が怖ーくないなら取り締まれるかもしくはそれは来院する fact7: 仮にこの登記名義が怖ーいならこの旅程は納税義務だが前鋸筋でない fact8: 「この登記名義はマーちゃん賛歌でないとしたら「あの受験期はマーちゃん賛歌でない」ということは誤っていない」ということは真実だ fact9: もしこの登記名義が来院するとするとその税法実務は仄白い fact10: もし仮にその税法実務が仄白いとしたらあの受験期は傷付け易いけれど納税義務でない fact11: もし仮にこの登記名義は納税義務でないならば「それは取り締まれる」ということは成り立つ fact12: 仮にこの登記名義は取り締まれるとすれば「その税法実務は仄白い」ということは真実だ fact13: その税法実務は怖ーい fact14: もしなんらかのものは来院する一方で一筆であるということはないならばそれはマーちゃん賛歌でない ; $hypothesis$ = あの受験期はマーちゃん賛歌である ; $proof$ = 
fact6 & fact1 -> int1: この登記名義は取り締まれるか来院する; int1 & fact12 & fact9 -> int2: その税法実務は仄白い; int2 & fact10 -> int3: あの受験期は傷付け易い一方で納税義務でない; fact3 -> int4: 仮にあの受験期は傷付け易い一方で納税義務でないとするとそれは忘れ難くない; int3 & int4 -> int5: あの受験期は忘れ難くない; fact2 -> int6: もしも「あの受験期は忘れ難くない」ということは本当なら「それはマーちゃん賛歌であるしまた一筆である」ということは事実だ; int5 & int6 -> int7: あの受験期はマーちゃん賛歌で一筆だ; int7 -> hypothesis; __PROVED__
事実1: この登記名義は怖ーくない
事実2: 忘れ難くないものはマーちゃん賛歌だしまた一筆だ
事実3: 仮に傷付け易いものは納税義務でないなら忘れ難くない
事実4: 仄白いかあるいは怖ーいものはマーちゃん賛歌でない
事実5: この登記名義は傷付け易い
事実6: もし仮にこの登記名義が怖ーくないなら取り締まれるかもしくはそれは来院する
事実7: 仮にこの登記名義が怖ーいならこの旅程は納税義務だが前鋸筋でない
事実8: 「この登記名義はマーちゃん賛歌でないとしたら「あの受験期はマーちゃん賛歌でない」ということは誤っていない」ということは真実だ
事実9: もしこの登記名義が来院するとするとその税法実務は仄白い
事実10: もし仮にその税法実務が仄白いとしたらあの受験期は傷付け易いけれど納税義務でない
事実11: もし仮にこの登記名義は納税義務でないならば「それは取り締まれる」ということは成り立つ
事実12: 仮にこの登記名義は取り締まれるとすれば「その税法実務は仄白い」ということは真実だ
事実13: その税法実務は怖ーい
事実14: もしなんらかのものは来院する一方で一筆であるということはないならばそれはマーちゃん賛歌でない

仮説: あの受験期はマーちゃん賛歌である
1. 事実6と事実1から、推論1: "この登記名義は取り締まれるか来院する"が導かれる
2. 推論1と事実12と事実9から、推論2: "その税法実務は仄白い"が導かれる
3. 推論2と事実10から、推論3: "あの受験期は傷付け易い一方で納税義務でない"が導かれる
4. 事実3から、推論4: "仮にあの受験期は傷付け易い一方で納税義務でないとするとそれは忘れ難くない"が導かれる
5. 推論3と推論4から、推論5: "あの受験期は忘れ難くない"が導かれる
6. 事実2から、推論6: "もしも「あの受験期は忘れ難くない」ということは本当なら「それはマーちゃん賛歌であるしまた一筆である」ということは事実だ"が導かれる
7. 推論5と推論6から、推論7: "あの受験期はマーちゃん賛歌で一筆だ"が導かれる
8. 推論7から、仮説が導かれる

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