「あのこいこいは十四時間以上でないけれどそれは利潤追求である」ということは成り立つ
fact1: もし何らかのものが長詩でないししかもそれが供試体でないとすれば利潤追求だ fact2: あのこいこいは伝習生である fact3: あの無意識性が拍手しないならばその大学生活はおっそろしないかまたは伝習生でないかあるいは両方である fact4: 仮にその紐付けは苦しないならば「あのこいこいは仰せ付けないかそれは払い除けるということはないかまたは両方ともである」ということは成り立たない fact5: その紐付けは苦しない fact6: もしも「あるものは仰せ付けるということはないかもしくは払い除けないかどちらもだ」ということは間違いであるならそれは十四時間以上でない fact7: 何らかの物は苦しとすれば「十四時間以上であるということはないがしかし利潤追求である」ということは成り立たない fact8: もし「あのこいこいは難しいかもしくはそれは二分割しないかどちらもだ」ということは嘘であるとすればそれは十四時間以上でない fact9: もしあのこいこいが供試体だということはないけどそれは長詩であるとすれば「それは苦しない」ということは確かである fact10: もしなにがしかのものはおっそろしないかもしくは伝習生でないかもしくは両方ともならばそれは長詩でない fact11: 「もしもあのこいこいが伝習生であるとするとあのこいこいは供試体でない」ということは本当である fact12: 仮に何らかの物が渡り合えるなら打ち当てないしおまけに払い除けない fact13: もし仮にあのこいこいが伝習生だとしたら長詩でないしまた供試体でない
fact4 & fact5 -> int1: 「あのこいこいは仰せ付けないかあるいはそれは払い除けない」ということは誤っている; fact6 -> int2: もしも「あのこいこいは仰せ付けないかまたは払い除けないかまたはどちらもである」ということは間違っているとしたら十四時間以上でない; int1 & int2 -> int3: あのこいこいは十四時間以上でない; fact2 & fact13 -> int4: あのこいこいは長詩でないししかも供試体でない; fact1 -> int5: 仮にあのこいこいが長詩でなくてそれは供試体でないなら利潤追求だ; int4 & int5 -> int6: あのこいこいは利潤追求である; int3 & int6 -> hypothesis;
fact4 & fact5 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); fact6 -> int2: ¬(¬{AA}{b} v ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; fact2 & fact13 -> int4: (¬{E}{b} & ¬{D}{b}); fact1 -> int5: (¬{E}{b} & ¬{D}{b}) -> {C}{b}; int4 & int5 -> int6: {C}{b}; int3 & int6 -> hypothesis;
「あのこいこいは十四時間以上であるということはないがしかし利潤追求だ」ということは事実であるということはない
$facts$ = fact1: もし何らかのものが長詩でないししかもそれが供試体でないとすれば利潤追求だ fact2: あのこいこいは伝習生である fact3: あの無意識性が拍手しないならばその大学生活はおっそろしないかまたは伝習生でないかあるいは両方である fact4: 仮にその紐付けは苦しないならば「あのこいこいは仰せ付けないかそれは払い除けるということはないかまたは両方ともである」ということは成り立たない fact5: その紐付けは苦しない fact6: もしも「あるものは仰せ付けるということはないかもしくは払い除けないかどちらもだ」ということは間違いであるならそれは十四時間以上でない fact7: 何らかの物は苦しとすれば「十四時間以上であるということはないがしかし利潤追求である」ということは成り立たない fact8: もし「あのこいこいは難しいかもしくはそれは二分割しないかどちらもだ」ということは嘘であるとすればそれは十四時間以上でない fact9: もしあのこいこいが供試体だということはないけどそれは長詩であるとすれば「それは苦しない」ということは確かである fact10: もしなにがしかのものはおっそろしないかもしくは伝習生でないかもしくは両方ともならばそれは長詩でない fact11: 「もしもあのこいこいが伝習生であるとするとあのこいこいは供試体でない」ということは本当である fact12: 仮に何らかの物が渡り合えるなら打ち当てないしおまけに払い除けない fact13: もし仮にあのこいこいが伝習生だとしたら長詩でないしまた供試体でない ; $hypothesis$ = 「あのこいこいは十四時間以上でないけれどそれは利潤追求である」ということは成り立つ ; $proof$ = 
fact4 & fact5 -> int1: 「あのこいこいは仰せ付けないかあるいはそれは払い除けない」ということは誤っている; fact6 -> int2: もしも「あのこいこいは仰せ付けないかまたは払い除けないかまたはどちらもである」ということは間違っているとしたら十四時間以上でない; int1 & int2 -> int3: あのこいこいは十四時間以上でない; fact2 & fact13 -> int4: あのこいこいは長詩でないししかも供試体でない; fact1 -> int5: 仮にあのこいこいが長詩でなくてそれは供試体でないなら利潤追求だ; int4 & int5 -> int6: あのこいこいは利潤追求である; int3 & int6 -> hypothesis; __PROVED__
事実1: もし何らかのものが長詩でないししかもそれが供試体でないとすれば利潤追求だ
事実2: あのこいこいは伝習生である
事実3: あの無意識性が拍手しないならばその大学生活はおっそろしないかまたは伝習生でないかあるいは両方である
事実4: 仮にその紐付けは苦しないならば「あのこいこいは仰せ付けないかそれは払い除けるということはないかまたは両方ともである」ということは成り立たない
事実5: その紐付けは苦しない
事実6: もしも「あるものは仰せ付けるということはないかもしくは払い除けないかどちらもだ」ということは間違いであるならそれは十四時間以上でない
事実7: 何らかの物は苦しとすれば「十四時間以上であるということはないがしかし利潤追求である」ということは成り立たない
事実8: もし「あのこいこいは難しいかもしくはそれは二分割しないかどちらもだ」ということは嘘であるとすればそれは十四時間以上でない
事実9: もしあのこいこいが供試体だということはないけどそれは長詩であるとすれば「それは苦しない」ということは確かである
事実10: もしなにがしかのものはおっそろしないかもしくは伝習生でないかもしくは両方ともならばそれは長詩でない
事実11: 「もしもあのこいこいが伝習生であるとするとあのこいこいは供試体でない」ということは本当である
事実12: 仮に何らかの物が渡り合えるなら打ち当てないしおまけに払い除けない
事実13: もし仮にあのこいこいが伝習生だとしたら長詩でないしまた供試体でない

仮説: 「あのこいこいは十四時間以上でないけれどそれは利潤追求である」ということは成り立つ
1. 事実4と事実5から、推論1: "「あのこいこいは仰せ付けないかあるいはそれは払い除けない」ということは誤っている"が導かれる
2. 事実6から、推論2: "もしも「あのこいこいは仰せ付けないかまたは払い除けないかまたはどちらもである」ということは間違っているとしたら十四時間以上でない"が導かれる
3. 推論1と推論2から、推論3: "あのこいこいは十四時間以上でない"が導かれる
4. 事実2と事実13から、推論4: "あのこいこいは長詩でないししかも供試体でない"が導かれる
5. 事実1から、推論5: "仮にあのこいこいが長詩でなくてそれは供試体でないなら利潤追求だ"が導かれる
6. 推論4と推論5から、推論6: "あのこいこいは利潤追求である"が導かれる
7. 推論3と推論6から、仮説が導かれる

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