あの世界貿易センタービル北棟は沈静化する
fact1: もしあの私塾は被曝しないなら「それは皮膚病変でそれにヒットしない」ということは真実でない fact2: もし仮に「自覚出来る」物があるとしたらあの世界貿易センタービル北棟は沈静化しない fact3: もし仮に「あの私塾は被曝しない」ということは正しいなら「それは皮膚病変でないしまたヒットするということはない」ということは真実でない fact4: このジョークは被曝するということはない fact5: この開き具合は被曝する fact6: あの私塾は気怠くらない fact7: 仮に何らかの物は小売り店でないならば「「それは自覚出来るしおまけに沈静化するということはない」ということは成り立つ」ということは成り立たない fact8: もし「あの世界貿易センタービル北棟はヒットする」ということは間違いでないならば「沈静化する」ということは成り立つ fact9: 「あの私塾は皮膚病変であるがヒットしない」ということは嘘である fact10: もし仮にとあるものが被曝するし更に年単位だとすれば自覚出来ない fact11: あのイスクラは被曝する fact12: もしもあの私塾は小売り店でないとすると皮膚病変でない fact13: あの私塾は被曝するということはない fact14: もしなんらかのものは小売り店でないなら「皮膚病変でない」ということは真実である fact15: なんらかのものは乾煎りしないならば「それは年単位であるし加えて被曝する」ということは成り立たない fact16: あの最終章は被曝するということはない fact17: あの私塾は皮膚病変であるということはない fact18: もし「あの世界貿易センタービル北棟は自覚出来る一方で沈静化しない」ということは成り立つということはないなら「あのイスクラは自覚出来ない」ということは本当だ fact19: 「あの世界貿易センタービル北棟は皮膚病変でなくて工場側でない」ということは成り立たない fact20: この開き具合は粘っこくないが苦々しい fact21: 仮になんらかの物が小売り店であるということはないとしたらそれは皮膚病変でないしヒットしない fact22: 仮に「この開き具合は乾煎りしない」ということは真実だとするとそれは年単位だ fact23: 「小売り店は自覚出来る」ということは成り立つ fact24: あの世界貿易センタービル北棟が沈静化するということはないとするとそれはヒットしなくてそれは被曝しない
fact21 -> int1: もしもあの私塾は小売り店でないとしたら「皮膚病変でなくてヒットしない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの私塾は小売り店でない; int1 & assump1 -> int2: あの私塾は皮膚病変でなくてヒットしない; fact13 & fact3 -> int3: 「あの私塾は皮膚病変でなくてしかもヒットしない」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの私塾は小売り店だ; fact23 -> int6: あの私塾が小売り店ならば自覚出来る; int5 & int6 -> int7: あの私塾は自覚出来る; int7 -> int8: なにかは自覚出来る; int8 & fact2 -> hypothesis;
あのイスクラは自覚出来ない
fact26 -> int9: 仮に「あの世界貿易センタービル北棟は小売り店でない」ということは真実だとすると「「自覚出来るし更に沈静化しない」ということは確かだ」ということは誤っている; fact27 -> int10: あの世界貿易センタービル北棟は乾煎りするということはないならば「年単位であるしかつそれは被曝する」ということは成り立たない; fact25 -> int11: なにかは粘っこくない一方で苦々しい;
$facts$ = fact1: もしあの私塾は被曝しないなら「それは皮膚病変でそれにヒットしない」ということは真実でない fact2: もし仮に「自覚出来る」物があるとしたらあの世界貿易センタービル北棟は沈静化しない fact3: もし仮に「あの私塾は被曝しない」ということは正しいなら「それは皮膚病変でないしまたヒットするということはない」ということは真実でない fact4: このジョークは被曝するということはない fact5: この開き具合は被曝する fact6: あの私塾は気怠くらない fact7: 仮に何らかの物は小売り店でないならば「「それは自覚出来るしおまけに沈静化するということはない」ということは成り立つ」ということは成り立たない fact8: もし「あの世界貿易センタービル北棟はヒットする」ということは間違いでないならば「沈静化する」ということは成り立つ fact9: 「あの私塾は皮膚病変であるがヒットしない」ということは嘘である fact10: もし仮にとあるものが被曝するし更に年単位だとすれば自覚出来ない fact11: あのイスクラは被曝する fact12: もしもあの私塾は小売り店でないとすると皮膚病変でない fact13: あの私塾は被曝するということはない fact14: もしなんらかのものは小売り店でないなら「皮膚病変でない」ということは真実である fact15: なんらかのものは乾煎りしないならば「それは年単位であるし加えて被曝する」ということは成り立たない fact16: あの最終章は被曝するということはない fact17: あの私塾は皮膚病変であるということはない fact18: もし「あの世界貿易センタービル北棟は自覚出来る一方で沈静化しない」ということは成り立つということはないなら「あのイスクラは自覚出来ない」ということは本当だ fact19: 「あの世界貿易センタービル北棟は皮膚病変でなくて工場側でない」ということは成り立たない fact20: この開き具合は粘っこくないが苦々しい fact21: 仮になんらかの物が小売り店であるということはないとしたらそれは皮膚病変でないしヒットしない fact22: 仮に「この開き具合は乾煎りしない」ということは真実だとするとそれは年単位だ fact23: 「小売り店は自覚出来る」ということは成り立つ fact24: あの世界貿易センタービル北棟が沈静化するということはないとするとそれはヒットしなくてそれは被曝しない ; $hypothesis$ = あの世界貿易センタービル北棟は沈静化する ; $proof$ = 
fact21 -> int1: もしもあの私塾は小売り店でないとしたら「皮膚病変でなくてヒットしない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの私塾は小売り店でない; int1 & assump1 -> int2: あの私塾は皮膚病変でなくてヒットしない; fact13 & fact3 -> int3: 「あの私塾は皮膚病変でなくてしかもヒットしない」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの私塾は小売り店だ; fact23 -> int6: あの私塾が小売り店ならば自覚出来る; int5 & int6 -> int7: あの私塾は自覚出来る; int7 -> int8: なにかは自覚出来る; int8 & fact2 -> 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: 「小売り店は自覚出来る」ということは成り立つ
事実24: あの世界貿易センタービル北棟が沈静化するということはないとするとそれはヒットしなくてそれは被曝しない

仮説: あの世界貿易センタービル北棟は沈静化する
1. 事実21から、推論1: "もしもあの私塾は小売り店でないとしたら「皮膚病変でなくてヒットしない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの私塾は小売り店でない
3. 推論1と仮定1から、推論2: "あの私塾は皮膚病変でなくてヒットしない"が導かれる
4. 事実13と事実3から、推論3: "「あの私塾は皮膚病変でなくてしかもヒットしない」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの私塾は小売り店だ"が導かれる
7. 事実23から、推論6: "あの私塾が小売り店ならば自覚出来る"が導かれる
8. 推論5と推論6から、推論7: "あの私塾は自覚出来る"が導かれる
9. 推論7から、推論8: "なにかは自覚出来る"が導かれる
10. 推論8と事実2から、仮説が否定される

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