「その眼差しは白シャツでないけどもぐ」ということは成り立たない
fact1: 仮にあの手抜きが恋わないかそれは下車しないかまたは両方であるとしたら婚姻中であるということはない fact2: 仮にあのテレビ中継が利用し始めるとするとあの手抜きは利用し始める fact3: もし仮に「あのテレビ中継は根気強くておまけにそれは私達女性だ」ということは事実と異なるとすれば根気強いということはない fact4: 仮にあの手抜きは婚姻中でないとすると「その眼差しは白シャツだしそれにもぐ」ということは嘘だ fact5: 「あの手抜きは婚姻中でないなら「その眼差しは白シャツでないがそれはもぐ」ということは間違っている」ということは成り立つ fact6: もしもその統治者が聞き終えるならあのテレビ中継は裂かない fact7: もし仮にあのテレビ中継は裂かないとしたら「それは根気強いしそれに私達女性である」ということは嘘だ fact8: あの手抜きは恋わないかあるいは下車するかあるいはどちらもだ fact9: あのテレビ中継は利用し始めるし撫で消す fact10: 「その眼差しは白シャツでまたもぐ」ということは嘘だ fact11: なにかは底角でないならば白シャツであるということはないがもぐ fact12: 仮にその統治者が掛け合うとすればあのテレビ中継は裂かない fact13: その統治者は聞き終えるかもしくは掛け合う fact14: もしもあの手抜きは底角であるし恋うなら利用し始めない fact15: あのテレビ中継は撫で消す fact16: もしもあの手抜きが婚姻中であるし利用し始めるなら「白シャツでない」ということは確かだ fact17: もし仮にあの手抜きが下車しないとすれば婚姻中でない fact18: 根気強くないものは撫で消すか婚姻中であるかまたは両方ともである fact19: もしその眼差しは白シャツであるということはないとすれば「底角であるということはない」ということは正しい fact20: あの手抜きは底角だ fact21: もし仮にあのテレビ中継が撫で消せばあの手抜きは下車する
void -> assump1: 以下のように仮定する。あの手抜きは恋う; fact20 & assump1 -> int1: あの手抜きは底角であるしそれに恋う; int1 & fact14 -> int2: あの手抜きは利用し始めない; fact9 -> int3: あのテレビ中継は利用し始める; fact2 & int3 -> int4: あの手抜きは利用し始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの手抜きは恋わない; int6 -> int7: あの手抜きは恋わないか下車しないかまたは両方ともだ; int7 & fact1 -> int8: あの手抜きは婚姻中でない; int8 & fact5 -> hypothesis;
その眼差しは白シャツでないけれどもぐ
fact29 -> int9: 仮にその眼差しは底角でないならそれは白シャツでないけどもぐ; fact27 -> int10: もしあのテレビ中継が根気強くないとすれば撫で消すか婚姻中であるかあるいは両方ともである; fact28 & fact26 & fact24 -> int11: あのテレビ中継は裂くということはない; fact22 & int11 -> int12: 「あのテレビ中継は根気強くてそれは私達女性だ」ということは本当でない; fact23 & int12 -> int13: あのテレビ中継は根気強くない; int10 & int13 -> int14: あのテレビ中継は撫で消すかもしくは婚姻中だ;
$facts$ = fact1: 仮にあの手抜きが恋わないかそれは下車しないかまたは両方であるとしたら婚姻中であるということはない fact2: 仮にあのテレビ中継が利用し始めるとするとあの手抜きは利用し始める fact3: もし仮に「あのテレビ中継は根気強くておまけにそれは私達女性だ」ということは事実と異なるとすれば根気強いということはない fact4: 仮にあの手抜きは婚姻中でないとすると「その眼差しは白シャツだしそれにもぐ」ということは嘘だ fact5: 「あの手抜きは婚姻中でないなら「その眼差しは白シャツでないがそれはもぐ」ということは間違っている」ということは成り立つ fact6: もしもその統治者が聞き終えるならあのテレビ中継は裂かない fact7: もし仮にあのテレビ中継は裂かないとしたら「それは根気強いしそれに私達女性である」ということは嘘だ fact8: あの手抜きは恋わないかあるいは下車するかあるいはどちらもだ fact9: あのテレビ中継は利用し始めるし撫で消す fact10: 「その眼差しは白シャツでまたもぐ」ということは嘘だ fact11: なにかは底角でないならば白シャツであるということはないがもぐ fact12: 仮にその統治者が掛け合うとすればあのテレビ中継は裂かない fact13: その統治者は聞き終えるかもしくは掛け合う fact14: もしもあの手抜きは底角であるし恋うなら利用し始めない fact15: あのテレビ中継は撫で消す fact16: もしもあの手抜きが婚姻中であるし利用し始めるなら「白シャツでない」ということは確かだ fact17: もし仮にあの手抜きが下車しないとすれば婚姻中でない fact18: 根気強くないものは撫で消すか婚姻中であるかまたは両方ともである fact19: もしその眼差しは白シャツであるということはないとすれば「底角であるということはない」ということは正しい fact20: あの手抜きは底角だ fact21: もし仮にあのテレビ中継が撫で消せばあの手抜きは下車する ; $hypothesis$ = 「その眼差しは白シャツでないけどもぐ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの手抜きは恋う; fact20 & assump1 -> int1: あの手抜きは底角であるしそれに恋う; int1 & fact14 -> int2: あの手抜きは利用し始めない; fact9 -> int3: あのテレビ中継は利用し始める; fact2 & int3 -> int4: あの手抜きは利用し始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの手抜きは恋わない; int6 -> int7: あの手抜きは恋わないか下車しないかまたは両方ともだ; int7 & fact1 -> int8: あの手抜きは婚姻中でない; int8 & fact5 -> hypothesis; __PROVED__
事実1: 仮にあの手抜きが恋わないかそれは下車しないかまたは両方であるとしたら婚姻中であるということはない
事実2: 仮にあのテレビ中継が利用し始めるとするとあの手抜きは利用し始める
事実3: もし仮に「あのテレビ中継は根気強くておまけにそれは私達女性だ」ということは事実と異なるとすれば根気強いということはない
事実4: 仮にあの手抜きは婚姻中でないとすると「その眼差しは白シャツだしそれにもぐ」ということは嘘だ
事実5: 「あの手抜きは婚姻中でないなら「その眼差しは白シャツでないがそれはもぐ」ということは間違っている」ということは成り立つ
事実6: もしもその統治者が聞き終えるならあのテレビ中継は裂かない
事実7: もし仮にあのテレビ中継は裂かないとしたら「それは根気強いしそれに私達女性である」ということは嘘だ
事実8: あの手抜きは恋わないかあるいは下車するかあるいはどちらもだ
事実9: あのテレビ中継は利用し始めるし撫で消す
事実10: 「その眼差しは白シャツでまたもぐ」ということは嘘だ
事実11: なにかは底角でないならば白シャツであるということはないがもぐ
事実12: 仮にその統治者が掛け合うとすればあのテレビ中継は裂かない
事実13: その統治者は聞き終えるかもしくは掛け合う
事実14: もしもあの手抜きは底角であるし恋うなら利用し始めない
事実15: あのテレビ中継は撫で消す
事実16: もしもあの手抜きが婚姻中であるし利用し始めるなら「白シャツでない」ということは確かだ
事実17: もし仮にあの手抜きが下車しないとすれば婚姻中でない
事実18: 根気強くないものは撫で消すか婚姻中であるかまたは両方ともである
事実19: もしその眼差しは白シャツであるということはないとすれば「底角であるということはない」ということは正しい
事実20: あの手抜きは底角だ
事実21: もし仮にあのテレビ中継が撫で消せばあの手抜きは下車する

仮説: 「その眼差しは白シャツでないけどもぐ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの手抜きは恋う
2. 事実20と仮定1から、推論1: "あの手抜きは底角であるしそれに恋う"が導かれる
3. 推論1と事実14から、推論2: "あの手抜きは利用し始めない"が導かれる
4. 事実9から、推論3: "あのテレビ中継は利用し始める"が導かれる
5. 事実2と推論3から、推論4: "あの手抜きは利用し始める"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの手抜きは恋わない"が導かれる
8. 推論6から、推論7: "あの手抜きは恋わないか下車しないかまたは両方ともだ"が導かれる
9. 推論7と事実1から、推論8: "あの手抜きは婚姻中でない"が導かれる
10. 推論8と事実5から、仮説が導かれる

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