「仮に緩和するなら「「スイングするがしかし不詳でない」ということは成り立つ」ということは嘘な」物はある
fact1: もしその新劇団が緩和しないとしたらこの制御対象はスイングするしそれは気恥ずかしい fact2: もしも心優しい物が御伝言だということはないとするとそれは放射出来ない fact3: もしある物はスイングするけれど不詳でないならそれは緩和しない fact4: もしあの団体委任事務は緩和すれば「側方であるし青黒い」ということは本当でない fact5: この現実政治は不詳でない fact6: 仮にこの現実政治がスイングするしまた不詳だとしたら「緩和しない」ということは成り立つ fact7: この現実政治は曇り無しない fact8: 「この現実政治はスイングするしおまけに不詳である」ということは成り立たない fact9: もし仮に「この制御対象はスイングする」ということは正しいとすればこの斑点はスイングする fact10: この現実政治はスイングする fact11: この受託企業は緩和する fact12: もしこの現実政治は緩和するとすると「それはスイングするしそれにそれは不詳だ」ということは間違いである
fact3 -> int1: 仮にこの現実政治はスイングするが不詳でないとするとそれは緩和するということはない; void -> assump2: 以下のように仮定する。この現実政治はスイングするが不詳でない; int1 & assump2 -> int2: この現実政治は緩和しない; void -> assump1: 以下のように仮定する。この現実政治は緩和する; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「この現実政治はスイングするがしかし不詳だということはない」ということは成り立つということはない; [assump1] & int4 -> int5: この現実政治は緩和するとすれば「それはスイングする一方で不詳であるということはない」ということは誤りだ; int5 -> hypothesis;
この斑点はスイングする
$facts$ = fact1: もしその新劇団が緩和しないとしたらこの制御対象はスイングするしそれは気恥ずかしい fact2: もしも心優しい物が御伝言だということはないとするとそれは放射出来ない fact3: もしある物はスイングするけれど不詳でないならそれは緩和しない fact4: もしあの団体委任事務は緩和すれば「側方であるし青黒い」ということは本当でない fact5: この現実政治は不詳でない fact6: 仮にこの現実政治がスイングするしまた不詳だとしたら「緩和しない」ということは成り立つ fact7: この現実政治は曇り無しない fact8: 「この現実政治はスイングするしおまけに不詳である」ということは成り立たない fact9: もし仮に「この制御対象はスイングする」ということは正しいとすればこの斑点はスイングする fact10: この現実政治はスイングする fact11: この受託企業は緩和する fact12: もしこの現実政治は緩和するとすると「それはスイングするしそれにそれは不詳だ」ということは間違いである ; $hypothesis$ = 「仮に緩和するなら「「スイングするがしかし不詳でない」ということは成り立つ」ということは嘘な」物はある ; $proof$ = 
fact3 -> int1: 仮にこの現実政治はスイングするが不詳でないとするとそれは緩和するということはない; void -> assump2: 以下のように仮定する。この現実政治はスイングするが不詳でない; int1 & assump2 -> int2: この現実政治は緩和しない; void -> assump1: 以下のように仮定する。この現実政治は緩和する; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「この現実政治はスイングするがしかし不詳だということはない」ということは成り立つということはない; [assump1] & int4 -> int5: この現実政治は緩和するとすれば「それはスイングする一方で不詳であるということはない」ということは誤りだ; int5 -> hypothesis; __PROVED__
事実1: もしその新劇団が緩和しないとしたらこの制御対象はスイングするしそれは気恥ずかしい
事実2: もしも心優しい物が御伝言だということはないとするとそれは放射出来ない
事実3: もしある物はスイングするけれど不詳でないならそれは緩和しない
事実4: もしあの団体委任事務は緩和すれば「側方であるし青黒い」ということは本当でない
事実5: この現実政治は不詳でない
事実6: 仮にこの現実政治がスイングするしまた不詳だとしたら「緩和しない」ということは成り立つ
事実7: この現実政治は曇り無しない
事実8: 「この現実政治はスイングするしおまけに不詳である」ということは成り立たない
事実9: もし仮に「この制御対象はスイングする」ということは正しいとすればこの斑点はスイングする
事実10: この現実政治はスイングする
事実11: この受託企業は緩和する
事実12: もしこの現実政治は緩和するとすると「それはスイングするしそれにそれは不詳だ」ということは間違いである

仮説: 「仮に緩和するなら「「スイングするがしかし不詳でない」ということは成り立つ」ということは嘘な」物はある
1. 事実3から、推論1: "仮にこの現実政治はスイングするが不詳でないとするとそれは緩和するということはない"が導かれる
2. 仮定2: 以下のように仮定する。この現実政治はスイングするが不詳でない
3. 推論1と仮定2から、推論2: "この現実政治は緩和しない"が導かれる
4. 仮定1: 以下のように仮定する。この現実政治は緩和する
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「この現実政治はスイングするがしかし不詳だということはない」ということは成り立つということはない"が導かれる
7. [仮定1]と推論4から、推論5: "この現実政治は緩和するとすれば「それはスイングする一方で不詳であるということはない」ということは誤りだ"が導かれる
8. 推論5から、仮説が導かれる

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