仮にこの石淋は林檎・スターだとすると「その数は事らしくないかまたは手渡さないかあるいは両方ともだ」ということは間違いだ
fact1: 「もしこの石淋は手渡さないとしたら「その数は事らしくないかもしくは手渡す」ということは偽である」ということは正しい fact2: もしもこの紋白蝶が惨めったらしいとするとこの石淋は極大化である fact3: 仮にこの石淋が林檎・スターであるとしたらその数は事らしくないかあるいは手渡すということはないかまたは両方だ fact4: 「何かは林檎・スターでないが極大化である」ということは誤りだとすればそれは惨めったらしいということはない fact5: 「その数は事らしいということはないかもしくはそれは手渡すかもしくは両方だ」ということは間違っている fact6: あの改善事項はだらし無いか地中深い fact7: 仮にこの石淋は手渡さないとすれば「その数は事らしくないかもしくは手渡さないか両方だ」ということは成り立たない fact8: もし「あの改善事項は地中深い」ということは本当ならばこの紋白蝶は惨めったらしい fact9: もし仮にこの石淋が手渡さないならばあの数は事らしい fact10: この石淋が林檎・スターならばその数は事らしい fact11: もしこの紋白蝶は地中深いなら「あの改善事項は惨めったらしいかもしくはだらし無くないかもしくは両方ともである」ということは間違っている fact12: もしこの石淋が手渡さないとしたらその数は事らしくないかもしくは手渡さないかまたは両方だ fact13: その数は事らしい fact14: 「この石淋は腫れるかもしくは選択幅でないかどちらもである」ということは偽だ fact15: 極大化は林檎・スターであるならば手渡さない fact16: もしあの改善事項がだらし無いとすればこの紋白蝶は惨めったらしい fact17: もしこの石淋が事らしいとしたらその数は林檎・スターだ fact18: 「このスワヒリ語はだらし無いかもしくはそれは手酷くない」ということは嘘だ fact19: もしもあの改善事項が惨めったらしいということはないならばあの試験片は地中深くてかつだらし無い
fact6 & fact16 & fact8 -> int1: この紋白蝶は惨めったらしい; int1 & fact2 -> int2: この石淋は極大化である; void -> assump1: 以下のように仮定する。この石淋は林檎・スターだ; int2 & assump1 -> int3: この石淋は極大化でしかも林檎・スターだ; fact15 -> int4: もしもこの石淋が極大化だしそれに林檎・スターだとするとそれは手渡さない; int3 & int4 -> int5: この石淋は手渡さない; int5 & fact7 -> int6: 「その数は事らしくないかそれは手渡さない」ということは間違っている; [assump1] & int6 -> hypothesis;
この試験片はだらし無い
fact21 -> int7: 「「あの改善事項は林檎・スターでないが極大化だ」ということは真実である」ということは偽ならそれは惨めったらしくない;
$facts$ = fact1: 「もしこの石淋は手渡さないとしたら「その数は事らしくないかもしくは手渡す」ということは偽である」ということは正しい fact2: もしもこの紋白蝶が惨めったらしいとするとこの石淋は極大化である fact3: 仮にこの石淋が林檎・スターであるとしたらその数は事らしくないかあるいは手渡すということはないかまたは両方だ fact4: 「何かは林檎・スターでないが極大化である」ということは誤りだとすればそれは惨めったらしいということはない fact5: 「その数は事らしいということはないかもしくはそれは手渡すかもしくは両方だ」ということは間違っている fact6: あの改善事項はだらし無いか地中深い fact7: 仮にこの石淋は手渡さないとすれば「その数は事らしくないかもしくは手渡さないか両方だ」ということは成り立たない fact8: もし「あの改善事項は地中深い」ということは本当ならばこの紋白蝶は惨めったらしい fact9: もし仮にこの石淋が手渡さないならばあの数は事らしい fact10: この石淋が林檎・スターならばその数は事らしい fact11: もしこの紋白蝶は地中深いなら「あの改善事項は惨めったらしいかもしくはだらし無くないかもしくは両方ともである」ということは間違っている fact12: もしこの石淋が手渡さないとしたらその数は事らしくないかもしくは手渡さないかまたは両方だ fact13: その数は事らしい fact14: 「この石淋は腫れるかもしくは選択幅でないかどちらもである」ということは偽だ fact15: 極大化は林檎・スターであるならば手渡さない fact16: もしあの改善事項がだらし無いとすればこの紋白蝶は惨めったらしい fact17: もしこの石淋が事らしいとしたらその数は林檎・スターだ fact18: 「このスワヒリ語はだらし無いかもしくはそれは手酷くない」ということは嘘だ fact19: もしもあの改善事項が惨めったらしいということはないならばあの試験片は地中深くてかつだらし無い ; $hypothesis$ = 仮にこの石淋は林檎・スターだとすると「その数は事らしくないかまたは手渡さないかあるいは両方ともだ」ということは間違いだ ; $proof$ = 
fact6 & fact16 & fact8 -> int1: この紋白蝶は惨めったらしい; int1 & fact2 -> int2: この石淋は極大化である; void -> assump1: 以下のように仮定する。この石淋は林檎・スターだ; int2 & assump1 -> int3: この石淋は極大化でしかも林檎・スターだ; fact15 -> int4: もしもこの石淋が極大化だしそれに林檎・スターだとするとそれは手渡さない; int3 & int4 -> int5: この石淋は手渡さない; int5 & fact7 -> int6: 「その数は事らしくないかそれは手渡さない」ということは間違っている; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「もしこの石淋は手渡さないとしたら「その数は事らしくないかもしくは手渡す」ということは偽である」ということは正しい
事実2: もしもこの紋白蝶が惨めったらしいとするとこの石淋は極大化である
事実3: 仮にこの石淋が林檎・スターであるとしたらその数は事らしくないかあるいは手渡すということはないかまたは両方だ
事実4: 「何かは林檎・スターでないが極大化である」ということは誤りだとすればそれは惨めったらしいということはない
事実5: 「その数は事らしいということはないかもしくはそれは手渡すかもしくは両方だ」ということは間違っている
事実6: あの改善事項はだらし無いか地中深い
事実7: 仮にこの石淋は手渡さないとすれば「その数は事らしくないかもしくは手渡さないか両方だ」ということは成り立たない
事実8: もし「あの改善事項は地中深い」ということは本当ならばこの紋白蝶は惨めったらしい
事実9: もし仮にこの石淋が手渡さないならばあの数は事らしい
事実10: この石淋が林檎・スターならばその数は事らしい
事実11: もしこの紋白蝶は地中深いなら「あの改善事項は惨めったらしいかもしくはだらし無くないかもしくは両方ともである」ということは間違っている
事実12: もしこの石淋が手渡さないとしたらその数は事らしくないかもしくは手渡さないかまたは両方だ
事実13: その数は事らしい
事実14: 「この石淋は腫れるかもしくは選択幅でないかどちらもである」ということは偽だ
事実15: 極大化は林檎・スターであるならば手渡さない
事実16: もしあの改善事項がだらし無いとすればこの紋白蝶は惨めったらしい
事実17: もしこの石淋が事らしいとしたらその数は林檎・スターだ
事実18: 「このスワヒリ語はだらし無いかもしくはそれは手酷くない」ということは嘘だ
事実19: もしもあの改善事項が惨めったらしいということはないならばあの試験片は地中深くてかつだらし無い

仮説: 仮にこの石淋は林檎・スターだとすると「その数は事らしくないかまたは手渡さないかあるいは両方ともだ」ということは間違いだ
1. 事実6と事実16と事実8から、推論1: "この紋白蝶は惨めったらしい"が導かれる
2. 推論1と事実2から、推論2: "この石淋は極大化である"が導かれる
3. 仮定1: 以下のように仮定する。この石淋は林檎・スターだ
4. 推論2と仮定1から、推論3: "この石淋は極大化でしかも林檎・スターだ"が導かれる
5. 事実15から、推論4: "もしもこの石淋が極大化だしそれに林檎・スターだとするとそれは手渡さない"が導かれる
6. 推論3と推論4から、推論5: "この石淋は手渡さない"が導かれる
7. 推論5と事実7から、推論6: "「その数は事らしくないかそれは手渡さない」ということは間違っている"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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