この当期中は買い易い
fact1: もし仮に「この進行度は統語論でないし加えて資料室であるということはない」ということは偽であるならこの茶杓は悪びれる fact2: この周遊券は大型ジェット旅客機だ fact3: 「特殊関係者であるということはない」物はある fact4: もし「この周遊券は瞑るということはないけれど来し易い」ということは成り立たないとしたらその第一ピリオドはグループ・プラクティスだ fact5: とあるものは特殊関係者でないとしたら「この茶杓は共鳴し易くないがそれは悪びれる」ということは成り立たない fact6: 「来し易くない」物はある fact7: もしもこの進行度は悪びれるということはないなら「この当期中が来し易いしその上瞑る」ということは真実でない fact8: この更衣室は瞑らない fact9: なにかは瞑らないならば「買い易くない」ということは真実だ fact10: もし「なんらかの物は来し易いしまた瞑る」ということは間違っていれば瞑らない fact11: もしこの茶杓が共鳴し易いとするとこの進行度は悪びれないけどグループ・プラクティスである fact12: 「この当期中は統語論だ一方で買い易くない」ということは成り立つということはない fact13: 「なにかは共鳴し易くないが悪びれる」ということは事実と異なるならそれは悪びれない fact14: もし「この進行度は瞑る」ということは嘘でないとすれば「それは統語論でないしそれは資料室でない」ということは成り立たない fact15: もし「なんらかの物は瞑るししかも悪びれる」ということは成り立たないとすればそれは買い易くない fact16: もし仮にその第一ピリオドがグループ・プラクティスであるならこの当期中は買い易い fact17: 「その第一ピリオドは来し易いグループ・プラクティスだ」ということは誤っている fact18: この進行度は帰属す fact19: もし「その第一ピリオドはグループ・プラクティスだ」ということは事実だとしたら「来し易くないしさらに統語論でない」ということは間違っている fact20: 仮にこの進行度がグループ・プラクティスであるとするとその第一ピリオドは資料室である fact21: 「「この当期中は買い易くない一方で資料室である」ということは成り立たない」ということは間違いでないならば資料室であるということはない fact22: その第一ピリオドは共鳴し易くない fact23: もし仮にこの進行度は瞑らないなら「この周遊券は瞑らないけど来し易い」ということは誤りである
void -> assump1: 以下のように仮定する。この進行度は瞑る; fact14 & assump1 -> int1: 「この進行度は統語論でないしその上それは資料室でない」ということは嘘だ; int1 & fact1 -> int2: この茶杓は悪びれる; fact3 & fact5 -> int3: 「この茶杓は共鳴し易くないがしかし悪びれる」ということは間違いだ; fact13 -> int4: もし「この茶杓は共鳴し易くないがしかし悪びれる」ということは成り立たないとするとそれは悪びれない; int3 & int4 -> int5: 「この茶杓は悪びれるということはない」ということは本当だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この進行度は瞑るということはない; int7 & fact23 -> int8: 「この周遊券は瞑らない一方で来し易い」ということは嘘である; int8 & fact4 -> int9: その第一ピリオドはグループ・プラクティスである; int9 & fact16 -> hypothesis;
この当期中は買い易くない
fact27 -> int10: 仮にこの当期中が瞑るということはないならそれは買い易くない; fact24 -> int11: もし仮に「この当期中は来し易いしそれは瞑る」ということは誤っているとすると瞑らない;
$facts$ = fact1: もし仮に「この進行度は統語論でないし加えて資料室であるということはない」ということは偽であるならこの茶杓は悪びれる fact2: この周遊券は大型ジェット旅客機だ fact3: 「特殊関係者であるということはない」物はある fact4: もし「この周遊券は瞑るということはないけれど来し易い」ということは成り立たないとしたらその第一ピリオドはグループ・プラクティスだ fact5: とあるものは特殊関係者でないとしたら「この茶杓は共鳴し易くないがそれは悪びれる」ということは成り立たない fact6: 「来し易くない」物はある fact7: もしもこの進行度は悪びれるということはないなら「この当期中が来し易いしその上瞑る」ということは真実でない fact8: この更衣室は瞑らない fact9: なにかは瞑らないならば「買い易くない」ということは真実だ fact10: もし「なんらかの物は来し易いしまた瞑る」ということは間違っていれば瞑らない fact11: もしこの茶杓が共鳴し易いとするとこの進行度は悪びれないけどグループ・プラクティスである fact12: 「この当期中は統語論だ一方で買い易くない」ということは成り立つということはない fact13: 「なにかは共鳴し易くないが悪びれる」ということは事実と異なるならそれは悪びれない fact14: もし「この進行度は瞑る」ということは嘘でないとすれば「それは統語論でないしそれは資料室でない」ということは成り立たない fact15: もし「なんらかの物は瞑るししかも悪びれる」ということは成り立たないとすればそれは買い易くない fact16: もし仮にその第一ピリオドがグループ・プラクティスであるならこの当期中は買い易い fact17: 「その第一ピリオドは来し易いグループ・プラクティスだ」ということは誤っている fact18: この進行度は帰属す fact19: もし「その第一ピリオドはグループ・プラクティスだ」ということは事実だとしたら「来し易くないしさらに統語論でない」ということは間違っている fact20: 仮にこの進行度がグループ・プラクティスであるとするとその第一ピリオドは資料室である fact21: 「「この当期中は買い易くない一方で資料室である」ということは成り立たない」ということは間違いでないならば資料室であるということはない fact22: その第一ピリオドは共鳴し易くない fact23: もし仮にこの進行度は瞑らないなら「この周遊券は瞑らないけど来し易い」ということは誤りである ; $hypothesis$ = この当期中は買い易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この進行度は瞑る; fact14 & assump1 -> int1: 「この進行度は統語論でないしその上それは資料室でない」ということは嘘だ; int1 & fact1 -> int2: この茶杓は悪びれる; fact3 & fact5 -> int3: 「この茶杓は共鳴し易くないがしかし悪びれる」ということは間違いだ; fact13 -> int4: もし「この茶杓は共鳴し易くないがしかし悪びれる」ということは成り立たないとするとそれは悪びれない; int3 & int4 -> int5: 「この茶杓は悪びれるということはない」ということは本当だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この進行度は瞑るということはない; int7 & fact23 -> int8: 「この周遊券は瞑らない一方で来し易い」ということは嘘である; int8 & fact4 -> int9: その第一ピリオドはグループ・プラクティスである; int9 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に「この進行度は統語論でないし加えて資料室であるということはない」ということは偽であるならこの茶杓は悪びれる
事実2: この周遊券は大型ジェット旅客機だ
事実3: 「特殊関係者であるということはない」物はある
事実4: もし「この周遊券は瞑るということはないけれど来し易い」ということは成り立たないとしたらその第一ピリオドはグループ・プラクティスだ
事実5: とあるものは特殊関係者でないとしたら「この茶杓は共鳴し易くないがそれは悪びれる」ということは成り立たない
事実6: 「来し易くない」物はある
事実7: もしもこの進行度は悪びれるということはないなら「この当期中が来し易いしその上瞑る」ということは真実でない
事実8: この更衣室は瞑らない
事実9: なにかは瞑らないならば「買い易くない」ということは真実だ
事実10: もし「なんらかの物は来し易いしまた瞑る」ということは間違っていれば瞑らない
事実11: もしこの茶杓が共鳴し易いとするとこの進行度は悪びれないけどグループ・プラクティスである
事実12: 「この当期中は統語論だ一方で買い易くない」ということは成り立つということはない
事実13: 「なにかは共鳴し易くないが悪びれる」ということは事実と異なるならそれは悪びれない
事実14: もし「この進行度は瞑る」ということは嘘でないとすれば「それは統語論でないしそれは資料室でない」ということは成り立たない
事実15: もし「なんらかの物は瞑るししかも悪びれる」ということは成り立たないとすればそれは買い易くない
事実16: もし仮にその第一ピリオドがグループ・プラクティスであるならこの当期中は買い易い
事実17: 「その第一ピリオドは来し易いグループ・プラクティスだ」ということは誤っている
事実18: この進行度は帰属す
事実19: もし「その第一ピリオドはグループ・プラクティスだ」ということは事実だとしたら「来し易くないしさらに統語論でない」ということは間違っている
事実20: 仮にこの進行度がグループ・プラクティスであるとするとその第一ピリオドは資料室である
事実21: 「「この当期中は買い易くない一方で資料室である」ということは成り立たない」ということは間違いでないならば資料室であるということはない
事実22: その第一ピリオドは共鳴し易くない
事実23: もし仮にこの進行度は瞑らないなら「この周遊券は瞑らないけど来し易い」ということは誤りである

仮説: この当期中は買い易い
1. 仮定1: 以下のように仮定する。この進行度は瞑る
2. 事実14と仮定1から、推論1: "「この進行度は統語論でないしその上それは資料室でない」ということは嘘だ"が導かれる
3. 推論1と事実1から、推論2: "この茶杓は悪びれる"が導かれる
4. 事実3と事実5から、推論3: "「この茶杓は共鳴し易くないがしかし悪びれる」ということは間違いだ"が導かれる
5. 事実13から、推論4: "もし「この茶杓は共鳴し易くないがしかし悪びれる」ということは成り立たないとするとそれは悪びれない"が導かれる
6. 推論3と推論4から、推論5: "「この茶杓は悪びれるということはない」ということは本当だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この進行度は瞑るということはない"が導かれる
9. 推論7と事実23から、推論8: "「この周遊券は瞑らない一方で来し易い」ということは嘘である"が導かれる
10. 推論8と事実4から、推論9: "その第一ピリオドはグループ・プラクティスである"が導かれる
11. 推論9と事実16から、仮説が導かれる

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