その協力活動は基準期間であるということはない
fact1: 「仮にその明治以後は性分化異常でないとすると「その協力活動は無声化し易いが非正社員でない」ということは誤りである」ということは確かである fact2: 仮にその協力活動は基準期間でないとすると「それは筒袖でないししかも縁会でない」ということは嘘である fact3: もし仮に「このＭ―φモデルは長ったらしくない」ということは本当であるとすれば「冷凍パイシートだししかも御挨拶する」ということは嘘である fact4: 仮に他愛無いということはないし犯し易い物があるならばあの協力活動は非正社員だということはない fact5: もしも「とある物は筒袖でないし加えてそれは縁会だということはない」ということは誤りであるとしたらそれは意識レベルだ fact6: もし何らかのものは基準期間だとしたら「それはＨＯＳＴでなくて加えて馴れ親しまない」ということは間違っている fact7: 仮に「「基準期間であるということはないし無声化し易くない」ということは偽な」物はあるとすれば「その身柄は基準期間である」ということは事実だ fact8: 犯し易いものはある fact9: もし仮に「このＭ―φモデルは冷凍パイシートであるしまた御挨拶する」ということは正しくないとしたらその明治以後は性分化異常でない fact10: 「他愛無くないし犯し易い」ものはある fact11: このＭ―φモデルは長ったらしくない fact12: もしその協力活動が意識レベルならばそれは無声化し易い
void -> assump1: 以下のように仮定する。その協力活動は基準期間でない; fact2 & assump1 -> int1: 「その協力活動は筒袖であるということはないし更に縁会でない」ということは成り立たない; fact5 -> int2: 「「その協力活動は筒袖でないしおまけにそれは縁会でない」ということは正しい」ということは誤りだとするとそれは意識レベルだ; int1 & int2 -> int3: その協力活動は意識レベルだ; int3 & fact12 -> int4: その協力活動は無声化し易い; fact10 & fact4 -> int5: 「その協力活動は非正社員でない」ということは本当だ; int4 & int5 -> int6: その協力活動は無声化し易い一方で非正社員でない; fact11 & fact3 -> int7: 「このＭ―φモデルは冷凍パイシートであるし御挨拶する」ということは成り立たない; int7 & fact9 -> int8: その明治以後は性分化異常であるということはない; int8 & fact1 -> int9: 「その協力活動は無声化し易いけど非正社員であるということはない」ということは偽だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「その身柄はＨＯＳＴでないしそれは馴れ親しまない」ということは嘘だ
fact15 -> int11: もし仮にその身柄は基準期間であるならば「それはＨＯＳＴでないししかも馴れ親しむということはない」ということは間違いだ;
$facts$ = fact1: 「仮にその明治以後は性分化異常でないとすると「その協力活動は無声化し易いが非正社員でない」ということは誤りである」ということは確かである fact2: 仮にその協力活動は基準期間でないとすると「それは筒袖でないししかも縁会でない」ということは嘘である fact3: もし仮に「このＭ―φモデルは長ったらしくない」ということは本当であるとすれば「冷凍パイシートだししかも御挨拶する」ということは嘘である fact4: 仮に他愛無いということはないし犯し易い物があるならばあの協力活動は非正社員だということはない fact5: もしも「とある物は筒袖でないし加えてそれは縁会だということはない」ということは誤りであるとしたらそれは意識レベルだ fact6: もし何らかのものは基準期間だとしたら「それはＨＯＳＴでなくて加えて馴れ親しまない」ということは間違っている fact7: 仮に「「基準期間であるということはないし無声化し易くない」ということは偽な」物はあるとすれば「その身柄は基準期間である」ということは事実だ fact8: 犯し易いものはある fact9: もし仮に「このＭ―φモデルは冷凍パイシートであるしまた御挨拶する」ということは正しくないとしたらその明治以後は性分化異常でない fact10: 「他愛無くないし犯し易い」ものはある fact11: このＭ―φモデルは長ったらしくない fact12: もしその協力活動が意識レベルならばそれは無声化し易い ; $hypothesis$ = その協力活動は基準期間であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その協力活動は基準期間でない; fact2 & assump1 -> int1: 「その協力活動は筒袖であるということはないし更に縁会でない」ということは成り立たない; fact5 -> int2: 「「その協力活動は筒袖でないしおまけにそれは縁会でない」ということは正しい」ということは誤りだとするとそれは意識レベルだ; int1 & int2 -> int3: その協力活動は意識レベルだ; int3 & fact12 -> int4: その協力活動は無声化し易い; fact10 & fact4 -> int5: 「その協力活動は非正社員でない」ということは本当だ; int4 & int5 -> int6: その協力活動は無声化し易い一方で非正社員でない; fact11 & fact3 -> int7: 「このＭ―φモデルは冷凍パイシートであるし御挨拶する」ということは成り立たない; int7 & fact9 -> int8: その明治以後は性分化異常であるということはない; int8 & fact1 -> int9: 「その協力活動は無声化し易いけど非正社員であるということはない」ということは偽だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: 「仮にその明治以後は性分化異常でないとすると「その協力活動は無声化し易いが非正社員でない」ということは誤りである」ということは確かである
事実2: 仮にその協力活動は基準期間でないとすると「それは筒袖でないししかも縁会でない」ということは嘘である
事実3: もし仮に「このＭ―φモデルは長ったらしくない」ということは本当であるとすれば「冷凍パイシートだししかも御挨拶する」ということは嘘である
事実4: 仮に他愛無いということはないし犯し易い物があるならばあの協力活動は非正社員だということはない
事実5: もしも「とある物は筒袖でないし加えてそれは縁会だということはない」ということは誤りであるとしたらそれは意識レベルだ
事実6: もし何らかのものは基準期間だとしたら「それはＨＯＳＴでなくて加えて馴れ親しまない」ということは間違っている
事実7: 仮に「「基準期間であるということはないし無声化し易くない」ということは偽な」物はあるとすれば「その身柄は基準期間である」ということは事実だ
事実8: 犯し易いものはある
事実9: もし仮に「このＭ―φモデルは冷凍パイシートであるしまた御挨拶する」ということは正しくないとしたらその明治以後は性分化異常でない
事実10: 「他愛無くないし犯し易い」ものはある
事実11: このＭ―φモデルは長ったらしくない
事実12: もしその協力活動が意識レベルならばそれは無声化し易い

仮説: その協力活動は基準期間であるということはない
1. 仮定1: 以下のように仮定する。その協力活動は基準期間でない
2. 事実2と仮定1から、推論1: "「その協力活動は筒袖であるということはないし更に縁会でない」ということは成り立たない"が導かれる
3. 事実5から、推論2: "「「その協力活動は筒袖でないしおまけにそれは縁会でない」ということは正しい」ということは誤りだとするとそれは意識レベルだ"が導かれる
4. 推論1と推論2から、推論3: "その協力活動は意識レベルだ"が導かれる
5. 推論3と事実12から、推論4: "その協力活動は無声化し易い"が導かれる
6. 事実10と事実4から、推論5: "「その協力活動は非正社員でない」ということは本当だ"が導かれる
7. 推論4と推論5から、推論6: "その協力活動は無声化し易い一方で非正社員でない"が導かれる
8. 事実11と事実3から、推論7: "「このＭ―φモデルは冷凍パイシートであるし御挨拶する」ということは成り立たない"が導かれる
9. 推論7と事実9から、推論8: "その明治以後は性分化異常であるということはない"が導かれる
10. 推論8と事実1から、推論9: "「その協力活動は無声化し易いけど非正社員であるということはない」ということは偽だ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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