「この雑炊は愛しないしおまけにそれは温存しない」ということは誤りだ
fact1: この雑炊は愛しということはない fact2: もし「このペイント弾は止めど無くないかもしくはそれは追い抜くかもしくはどちらもだ」ということは偽ならば惜しみ無くない fact3: この雑炊がカテゴライズしないけど押し付けがましいとしたら追い抜く fact4: 仮に「このペイント弾は止めど無いかもしくは追い抜く」ということは間違っているとすると惜しみ無くない fact5: この雑炊は押し付けがましいし眩い fact6: このペイント弾は慰安婦だ fact7: 仮に愛しものが温存しないとすればカテゴライズしない fact8: 仮にこの雑炊は愛しが温存するということはないとしたらカテゴライズしない fact9: もし何かは止めど無いとするとそれはカテゴライズする fact10: もしこのペイント弾がカテゴライズするし愛しならこの雑炊は愛しない fact11: この残飯は止めど無い fact12: もし仮に「この雑炊は眩くない」ということは成り立つとすると食い潰すし惜しみ無い fact13: このペイント弾は食い潰さない fact14: このペイント弾が食い潰さないとしたら惜しみ無いしそれに慰安婦である fact15: 仮にこの雑炊は追い抜くとすれば「このペイント弾は止めど無くないかまたは追い抜く」ということは嘘である fact16: あの電圧特性は慰安婦だ fact17: もしも愛しない物が温存しないとするとそれはカテゴライズしない fact18: もしこの雑炊が食い潰せばこのペイント弾は眩い fact19: 「もし仮に「この残飯は止めど無い」ということは正しいならこのペイント弾は止めど無い」ということは本当だ fact20: もし「あの電圧特性は慰安婦だということはない」ということは誤りであるならばあのペイント弾は愛し
fact17 -> int1: もしもこの雑炊は愛しないしその上温存しないとしたらカテゴライズしない; void -> assump1: 以下のように仮定する。この雑炊は愛しないししかも温存するということはない; int1 & assump1 -> int2: 「この雑炊はカテゴライズしない」ということは事実だ; fact5 -> int3: この雑炊は押し付けがましい; int2 & int3 -> int4: この雑炊はカテゴライズしないけれど押し付けがましい; int4 & fact3 -> int5: この雑炊は追い抜く; int5 & fact15 -> int6: 「このペイント弾は止めど無くないかまたは追い抜くかもしくは両方である」ということは間違いだ; int6 & fact2 -> int7: このペイント弾は惜しみ無くない; fact14 & fact13 -> int8: このペイント弾は惜しみ無くて慰安婦だ; int8 -> int9: 「このペイント弾は惜しみ無い」ということは成り立つ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この雑炊は愛しないしかつ温存しない
fact23 -> int11: 仮に「このペイント弾は止めど無い」ということは成り立つならそれはカテゴライズする; fact25 & fact27 -> int12: このペイント弾は止めど無い; int11 & int12 -> int13: このペイント弾はカテゴライズする; fact24 & fact26 -> int14: このペイント弾は愛し; int13 & int14 -> int15: このペイント弾はカテゴライズするしおまけに愛し; fact22 & int15 -> int16: この雑炊は愛しない;
$facts$ = fact1: この雑炊は愛しということはない fact2: もし「このペイント弾は止めど無くないかもしくはそれは追い抜くかもしくはどちらもだ」ということは偽ならば惜しみ無くない fact3: この雑炊がカテゴライズしないけど押し付けがましいとしたら追い抜く fact4: 仮に「このペイント弾は止めど無いかもしくは追い抜く」ということは間違っているとすると惜しみ無くない fact5: この雑炊は押し付けがましいし眩い fact6: このペイント弾は慰安婦だ fact7: 仮に愛しものが温存しないとすればカテゴライズしない fact8: 仮にこの雑炊は愛しが温存するということはないとしたらカテゴライズしない fact9: もし何かは止めど無いとするとそれはカテゴライズする fact10: もしこのペイント弾がカテゴライズするし愛しならこの雑炊は愛しない fact11: この残飯は止めど無い fact12: もし仮に「この雑炊は眩くない」ということは成り立つとすると食い潰すし惜しみ無い fact13: このペイント弾は食い潰さない fact14: このペイント弾が食い潰さないとしたら惜しみ無いしそれに慰安婦である fact15: 仮にこの雑炊は追い抜くとすれば「このペイント弾は止めど無くないかまたは追い抜く」ということは嘘である fact16: あの電圧特性は慰安婦だ fact17: もしも愛しない物が温存しないとするとそれはカテゴライズしない fact18: もしこの雑炊が食い潰せばこのペイント弾は眩い fact19: 「もし仮に「この残飯は止めど無い」ということは正しいならこのペイント弾は止めど無い」ということは本当だ fact20: もし「あの電圧特性は慰安婦だということはない」ということは誤りであるならばあのペイント弾は愛し ; $hypothesis$ = 「この雑炊は愛しないしおまけにそれは温存しない」ということは誤りだ ; $proof$ = 
fact17 -> int1: もしもこの雑炊は愛しないしその上温存しないとしたらカテゴライズしない; void -> assump1: 以下のように仮定する。この雑炊は愛しないししかも温存するということはない; int1 & assump1 -> int2: 「この雑炊はカテゴライズしない」ということは事実だ; fact5 -> int3: この雑炊は押し付けがましい; int2 & int3 -> int4: この雑炊はカテゴライズしないけれど押し付けがましい; int4 & fact3 -> int5: この雑炊は追い抜く; int5 & fact15 -> int6: 「このペイント弾は止めど無くないかまたは追い抜くかもしくは両方である」ということは間違いだ; int6 & fact2 -> int7: このペイント弾は惜しみ無くない; fact14 & fact13 -> int8: このペイント弾は惜しみ無くて慰安婦だ; int8 -> int9: 「このペイント弾は惜しみ無い」ということは成り立つ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この雑炊は愛しということはない
事実2: もし「このペイント弾は止めど無くないかもしくはそれは追い抜くかもしくはどちらもだ」ということは偽ならば惜しみ無くない
事実3: この雑炊がカテゴライズしないけど押し付けがましいとしたら追い抜く
事実4: 仮に「このペイント弾は止めど無いかもしくは追い抜く」ということは間違っているとすると惜しみ無くない
事実5: この雑炊は押し付けがましいし眩い
事実6: このペイント弾は慰安婦だ
事実7: 仮に愛しものが温存しないとすればカテゴライズしない
事実8: 仮にこの雑炊は愛しが温存するということはないとしたらカテゴライズしない
事実9: もし何かは止めど無いとするとそれはカテゴライズする
事実10: もしこのペイント弾がカテゴライズするし愛しならこの雑炊は愛しない
事実11: この残飯は止めど無い
事実12: もし仮に「この雑炊は眩くない」ということは成り立つとすると食い潰すし惜しみ無い
事実13: このペイント弾は食い潰さない
事実14: このペイント弾が食い潰さないとしたら惜しみ無いしそれに慰安婦である
事実15: 仮にこの雑炊は追い抜くとすれば「このペイント弾は止めど無くないかまたは追い抜く」ということは嘘である
事実16: あの電圧特性は慰安婦だ
事実17: もしも愛しない物が温存しないとするとそれはカテゴライズしない
事実18: もしこの雑炊が食い潰せばこのペイント弾は眩い
事実19: 「もし仮に「この残飯は止めど無い」ということは正しいならこのペイント弾は止めど無い」ということは本当だ
事実20: もし「あの電圧特性は慰安婦だということはない」ということは誤りであるならばあのペイント弾は愛し

仮説: 「この雑炊は愛しないしおまけにそれは温存しない」ということは誤りだ
1. 事実17から、推論1: "もしもこの雑炊は愛しないしその上温存しないとしたらカテゴライズしない"が導かれる
2. 仮定1: 以下のように仮定する。この雑炊は愛しないししかも温存するということはない
3. 推論1と仮定1から、推論2: "「この雑炊はカテゴライズしない」ということは事実だ"が導かれる
4. 事実5から、推論3: "この雑炊は押し付けがましい"が導かれる
5. 推論2と推論3から、推論4: "この雑炊はカテゴライズしないけれど押し付けがましい"が導かれる
6. 推論4と事実3から、推論5: "この雑炊は追い抜く"が導かれる
7. 推論5と事実15から、推論6: "「このペイント弾は止めど無くないかまたは追い抜くかもしくは両方である」ということは間違いだ"が導かれる
8. 推論6と事実2から、推論7: "このペイント弾は惜しみ無くない"が導かれる
9. 事実14と事実13から、推論8: "このペイント弾は惜しみ無くて慰安婦だ"が導かれる
10. 推論8から、推論9: "「このペイント弾は惜しみ無い」ということは成り立つ"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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