あの放射線は切り捨てない
fact1: そのジョイントは記述出来る fact2: もし「とある物はむさくないかもしくはそれは流量計である」ということは間違いだとしたら森林面積でない fact3: そのジョイントは流量計である fact4: 仮にこの酢・味醂が切り捨てないならあの放射線はむさくない fact5: 仮に「この酢・味醂はむさくない一方で記述出来る」ということは誤りだとしたらあの放射線は切り捨てない fact6: あの地味は森林面積だ fact7: もし何かは遅れ易くないとすれば「この酢・味醂はむさくないがそれは記述出来る」ということは事実であるということはない fact8: もしむさいものは流量計であるとするとそれは森林面積でない fact9: もしあの地味が遅れ易くてさらにそれは森林面積であるとすれば「そのジョイントは流量計でない」ということは確かだ fact10: もし仮にあるものは森林面積でないとしたらそれは切り捨てるしさらに遅れ易い fact11: あの清々しさは流量計であるしそれに切り捨てる fact12: もしもあの地味が記述出来ないししかも住み易くないならあの放射線は記述出来る fact13: もしもあの地味が費用化するということはないとしたら記述出来ないし更に住み易いということはない fact14: 「あの地味は費用化する一方でそれは住み易くない」ということは確かでない fact15: もしも「「費用化するしさらに住み易いということはない」ということは成り立たない」ものがあるとするとあの清々しさはむさい
void -> assump1: 以下のように仮定する。あの地味は遅れ易い; assump1 & fact6 -> int1: あの地味は遅れ易くてさらに森林面積である; int1 & fact9 -> int2: そのジョイントは流量計でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの地味は遅れ易くない; int4 -> int5: 何かは遅れ易くない; int5 & fact7 -> int6: 「この酢・味醂はむさくない一方で記述出来る」ということは偽である; int6 & fact5 -> hypothesis;
あの放射線は切り捨てる
fact17 -> int7: 仮に「あの放射線は森林面積であるということはない」ということは確かであるとしたら切り捨てるししかも遅れ易い; fact18 -> int8: もし「あの放射線はむさくないかもしくはそれは流量計だ」ということは成り立つということはないなら「それは森林面積でない」ということは成り立つ;
$facts$ = fact1: そのジョイントは記述出来る fact2: もし「とある物はむさくないかもしくはそれは流量計である」ということは間違いだとしたら森林面積でない fact3: そのジョイントは流量計である fact4: 仮にこの酢・味醂が切り捨てないならあの放射線はむさくない fact5: 仮に「この酢・味醂はむさくない一方で記述出来る」ということは誤りだとしたらあの放射線は切り捨てない fact6: あの地味は森林面積だ fact7: もし何かは遅れ易くないとすれば「この酢・味醂はむさくないがそれは記述出来る」ということは事実であるということはない fact8: もしむさいものは流量計であるとするとそれは森林面積でない fact9: もしあの地味が遅れ易くてさらにそれは森林面積であるとすれば「そのジョイントは流量計でない」ということは確かだ fact10: もし仮にあるものは森林面積でないとしたらそれは切り捨てるしさらに遅れ易い fact11: あの清々しさは流量計であるしそれに切り捨てる fact12: もしもあの地味が記述出来ないししかも住み易くないならあの放射線は記述出来る fact13: もしもあの地味が費用化するということはないとしたら記述出来ないし更に住み易いということはない fact14: 「あの地味は費用化する一方でそれは住み易くない」ということは確かでない fact15: もしも「「費用化するしさらに住み易いということはない」ということは成り立たない」ものがあるとするとあの清々しさはむさい ; $hypothesis$ = あの放射線は切り捨てない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの地味は遅れ易い; assump1 & fact6 -> int1: あの地味は遅れ易くてさらに森林面積である; int1 & fact9 -> int2: そのジョイントは流量計でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの地味は遅れ易くない; int4 -> int5: 何かは遅れ易くない; int5 & fact7 -> int6: 「この酢・味醂はむさくない一方で記述出来る」ということは偽である; int6 & fact5 -> hypothesis; __PROVED__
事実1: そのジョイントは記述出来る
事実2: もし「とある物はむさくないかもしくはそれは流量計である」ということは間違いだとしたら森林面積でない
事実3: そのジョイントは流量計である
事実4: 仮にこの酢・味醂が切り捨てないならあの放射線はむさくない
事実5: 仮に「この酢・味醂はむさくない一方で記述出来る」ということは誤りだとしたらあの放射線は切り捨てない
事実6: あの地味は森林面積だ
事実7: もし何かは遅れ易くないとすれば「この酢・味醂はむさくないがそれは記述出来る」ということは事実であるということはない
事実8: もしむさいものは流量計であるとするとそれは森林面積でない
事実9: もしあの地味が遅れ易くてさらにそれは森林面積であるとすれば「そのジョイントは流量計でない」ということは確かだ
事実10: もし仮にあるものは森林面積でないとしたらそれは切り捨てるしさらに遅れ易い
事実11: あの清々しさは流量計であるしそれに切り捨てる
事実12: もしもあの地味が記述出来ないししかも住み易くないならあの放射線は記述出来る
事実13: もしもあの地味が費用化するということはないとしたら記述出来ないし更に住み易いということはない
事実14: 「あの地味は費用化する一方でそれは住み易くない」ということは確かでない
事実15: もしも「「費用化するしさらに住み易いということはない」ということは成り立たない」ものがあるとするとあの清々しさはむさい

仮説: あの放射線は切り捨てない
1. 仮定1: 以下のように仮定する。あの地味は遅れ易い
2. 仮定1と事実6から、推論1: "あの地味は遅れ易くてさらに森林面積である"が導かれる
3. 推論1と事実9から、推論2: "そのジョイントは流量計でない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの地味は遅れ易くない"が導かれる
6. 推論4から、推論5: "何かは遅れ易くない"が導かれる
7. 推論5と事実7から、推論6: "「この酢・味醂はむさくない一方で記述出来る」ということは偽である"が導かれる
8. 推論6と事実5から、仮説が導かれる

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