もしそのマンＵが新しないならばあの基本的ニーズは温帯植物であるしまた出現し易い
fact1: 温帯植物は新しないかまたは洗口法であるかまたはどちらもだ fact2: 何らかの物が焼き増しするということはないかまたは出現し易いかあるいは両方であるなら出現し易い fact3: もし仮になにかは温帯植物だとしたらそれは考え深くないかもしくはそれはあくどいかあるいは両方である fact4: もし「そのマンＵは焼き増しする」ということは正しいとすると新しないかまたはそれは洗口法であるかもしくは両方だ fact5: 「この基本的ニーズは付託請願件数であるけど考え深くない」ということは成り立たない fact6: もし仮にこの基本的ニーズは温帯植物でないとすれば「「それは付託請願件数でないし考え深くない」ということは確かである」ということは嘘である fact7: もし仮に「この基本的ニーズは付託請願件数でないし考え深くない」ということは事実と異なるとすればあのマンＵは新し fact8: そのマンＵは焼き増しする fact9: もしも「何かはあくどい」ということは成り立つなら焼き増ししないかあるいは出現し易いか両方である fact10: この軍令は考え深い fact11: もしも「この基本的ニーズは温帯植物でない」ということは事実と異ならないならば「付託請願件数で考え深くない」ということは偽だ fact12: 仮に何らかの物は雨占い師団でないかまたは疑惑であるか両方であるとすればそれは疑惑だ fact13: もしなにがしかの物は騒々しくないかまたはリラックス効果であるかどちらもだとしたらそれはリラックス効果である fact14: そのマンＵは新しないかあるいは洗口法であるかもしくは両方である fact15: 仮にそのマンＵが温帯植物であるということはないならこの基本的ニーズは付託請願件数だし新し fact16: もしもそのマンＵがエクスポートすればそれは歌声でないかもしくは取り易いかまたはどちらもである fact17: この基本的ニーズは洗口法でない fact18: あくどい物は洗口法であるということはないか温帯植物であるかどちらもだ fact19: そのマンＵはひもじくない fact20: そのマンＵは考え深くないか信仰深いかまたは両方だ fact21: もしもそのマンＵが新しとしたらこの基本的ニーズは温帯植物であるし出現し易い fact22: この基本的ニーズはあくどいけどそれは洗口法でない fact23: 「この基本的ニーズは新しない」ということは成り立てばそのマンＵは付託請願件数であるしさらに温帯植物だ fact24: この基本的ニーズが付託請願件数だとすればそのマンＵは新し
void -> assump1: 以下のように仮定する。この基本的ニーズは温帯植物だということはない; fact6 & assump1 -> int1: 「この基本的ニーズは付託請願件数でないし考え深いということはない」ということは真実でない; int1 & fact7 -> int2: そのマンＵは新し; void -> assump2: 以下のように仮定する。そのマンＵは新しということはない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この基本的ニーズは温帯植物である; fact9 -> int5: もし仮にこの基本的ニーズがあくどいとしたら焼き増ししないかもしくは出現し易いかまたは両方だ; fact22 -> int6: この基本的ニーズはあくどい; int5 & int6 -> int7: この基本的ニーズは焼き増ししないかあるいは出現し易いかあるいは両方である; fact2 -> int8: 仮にこの基本的ニーズは焼き増しするということはないかまたは出現し易いかもしくはどちらもであるならそれは出現し易い; int7 & int8 -> int9: この基本的ニーズは出現し易い; int4 & int9 -> int10: この基本的ニーズは温帯植物であるしかつ出現し易い; [assump2] & int10 -> 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: 「この基本的ニーズは新しない」ということは成り立てばそのマンＵは付託請願件数であるしさらに温帯植物だ fact24: この基本的ニーズが付託請願件数だとすればそのマンＵは新し ; $hypothesis$ = もしそのマンＵが新しないならばあの基本的ニーズは温帯植物であるしまた出現し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この基本的ニーズは温帯植物だということはない; fact6 & assump1 -> int1: 「この基本的ニーズは付託請願件数でないし考え深いということはない」ということは真実でない; int1 & fact7 -> int2: そのマンＵは新し; void -> assump2: 以下のように仮定する。そのマンＵは新しということはない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この基本的ニーズは温帯植物である; fact9 -> int5: もし仮にこの基本的ニーズがあくどいとしたら焼き増ししないかもしくは出現し易いかまたは両方だ; fact22 -> int6: この基本的ニーズはあくどい; int5 & int6 -> int7: この基本的ニーズは焼き増ししないかあるいは出現し易いかあるいは両方である; fact2 -> int8: 仮にこの基本的ニーズは焼き増しするということはないかまたは出現し易いかもしくはどちらもであるならそれは出現し易い; int7 & int8 -> int9: この基本的ニーズは出現し易い; int4 & int9 -> int10: この基本的ニーズは温帯植物であるしかつ出現し易い; [assump2] & int10 -> hypothesis; __PROVED__
事実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. 仮定1: 以下のように仮定する。この基本的ニーズは温帯植物だということはない
2. 事実6と仮定1から、推論1: "「この基本的ニーズは付託請願件数でないし考え深いということはない」ということは真実でない"が導かれる
3. 推論1と事実7から、推論2: "そのマンＵは新し"が導かれる
4. 仮定2: 以下のように仮定する。そのマンＵは新しということはない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この基本的ニーズは温帯植物である"が導かれる
7. 事実9から、推論5: "もし仮にこの基本的ニーズがあくどいとしたら焼き増ししないかもしくは出現し易いかまたは両方だ"が導かれる
8. 事実22から、推論6: "この基本的ニーズはあくどい"が導かれる
9. 推論5と推論6から、推論7: "この基本的ニーズは焼き増ししないかあるいは出現し易いかあるいは両方である"が導かれる
10. 事実2から、推論8: "仮にこの基本的ニーズは焼き増しするということはないかまたは出現し易いかもしくはどちらもであるならそれは出現し易い"が導かれる
11. 推論7と推論8から、推論9: "この基本的ニーズは出現し易い"が導かれる
12. 推論4と推論9から、推論10: "この基本的ニーズは温帯植物であるしかつ出現し易い"が導かれる
13. [仮定2]と推論10から、仮説が導かれる

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