あのクリントン政権下は大人らしい
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: 以下のように仮定する。その保険は四角い; fact6 & assump1 -> int1: その保険は抜け駆けでなくておまけにそれは汚らしくない; int1 -> int2: 「その保険は抜け駆けでない」ということは事実である; int2 & fact16 -> int3: その応用記号は働き易くてそれは抜け駆けだ; int3 -> int4: その応用記号は働き易い; fact7 & fact21 -> int5: あのオゾン劣化は現場情報でない; fact8 -> int6: もしあのオゾン劣化は現場情報でないなら「働き易いということはないけれど重い」ということは成り立たない; int5 & int6 -> int7: 「「あのオゾン劣化は働き易いということはない一方で重い」ということは誤りだ」ということは事実である; int7 & fact4 -> int8: 「その応用記号は働き易くない」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その保険は四角いということはない; fact2 -> int11: もしもその保険が四角くないなら告知しないし更にそれはせこい; int10 & int11 -> int12: その保険は告知しないけどせこい; int12 & fact22 -> hypothesis;
あのクリントン政権下は大人らしい
$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: 以下のように仮定する。その保険は四角い; fact6 & assump1 -> int1: その保険は抜け駆けでなくておまけにそれは汚らしくない; int1 -> int2: 「その保険は抜け駆けでない」ということは事実である; int2 & fact16 -> int3: その応用記号は働き易くてそれは抜け駆けだ; int3 -> int4: その応用記号は働き易い; fact7 & fact21 -> int5: あのオゾン劣化は現場情報でない; fact8 -> int6: もしあのオゾン劣化は現場情報でないなら「働き易いということはないけれど重い」ということは成り立たない; int5 & int6 -> int7: 「「あのオゾン劣化は働き易いということはない一方で重い」ということは誤りだ」ということは事実である; int7 & fact4 -> int8: 「その応用記号は働き易くない」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その保険は四角いということはない; fact2 -> int11: もしもその保険が四角くないなら告知しないし更にそれはせこい; int10 & int11 -> int12: その保険は告知しないけどせこい; int12 & fact22 -> hypothesis; __DISPROVED__
事実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. 事実6と仮定1から、推論1: "その保険は抜け駆けでなくておまけにそれは汚らしくない"が導かれる
3. 推論1から、推論2: "「その保険は抜け駆けでない」ということは事実である"が導かれる
4. 推論2と事実16から、推論3: "その応用記号は働き易くてそれは抜け駆けだ"が導かれる
5. 推論3から、推論4: "その応用記号は働き易い"が導かれる
6. 事実7と事実21から、推論5: "あのオゾン劣化は現場情報でない"が導かれる
7. 事実8から、推論6: "もしあのオゾン劣化は現場情報でないなら「働き易いということはないけれど重い」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "「「あのオゾン劣化は働き易いということはない一方で重い」ということは誤りだ」ということは事実である"が導かれる
9. 推論7と事実4から、推論8: "「その応用記号は働き易くない」ということは成り立つ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その保険は四角いということはない"が導かれる
12. 事実2から、推論11: "もしもその保険が四角くないなら告知しないし更にそれはせこい"が導かれる
13. 推論10と推論11から、推論12: "その保険は告知しないけどせこい"が導かれる
14. 推論12と事実22から、仮説が否定される

よって、仮説が否定されました。