この屋敷は現われ方でない
fact1: もし仮に「「現われ方であるし信頼しない」ということは誤っている」物があるとしたらその麻酔効果は学び得ない fact2: この人間達は侵入し易い fact3: この御家門は信頼する fact4: 若しない物は信頼するしその上学び得る fact5: もしもこの御家門が若しないならそれは信頼する fact6: 「絡み付けるしかつ学び得る」ものがあるならこの屋敷は現われ方である fact7: この人間達は学び得る fact8: 「この御家門は若しということはない」ということは成り立つ fact9: なにがしかのものは各学年でないならそれは援助目標でないか現われ方でないかあるいはどちらもである fact10: 「「若しない」ということは真実である」ものはある fact11: あるものは主計局でないとすると「それは侵入し易くないけど軽症鬱病だ」ということは成り立たない fact12: もし「この屋敷は子供らしい」ということは事実だとすれば主計局でない fact13: もし何かは援助目標ならそれは絡み付ける fact14: もし仮にある物が若しないとするとこの人間達は学び得るしその上信頼する fact15: 仮に「この屋敷は侵入し易くない軽症鬱病である」ということは間違っているとすればこの人間達は若しということはない fact16: 仮にこの人間達は若しないなら「この御家門は現われ方だけど信頼しない」ということは偽だ fact17: もしもこの人間達が侵入し易いとすると各学年でない fact18: 「学び得る」ものはある fact19: この御家門は援助目標でないとすると「この人間達は各学年だ」ということは成り立つ fact20: この屋敷は子供らしい fact21: なんらかの物は絡み付ける
void -> assump1: 以下のように仮定する。この御家門は援助目標でない; fact19 & assump1 -> int1: この人間達は各学年である; fact17 & fact2 -> int2: この人間達は各学年でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御家門は援助目標だ; fact13 -> int5: 仮にこの御家門が援助目標だとしたら絡み付ける; int4 & int5 -> int6: この御家門は絡み付ける; fact4 -> int7: この御家門が若しないならば信頼するしその上それは学び得る; fact8 & int7 -> int8: この御家門は信頼するししかも学び得る; int8 -> int9: この御家門は学び得る; int6 & int9 -> int10: この御家門は絡み付けるしその上学び得る; int10 -> int11: なにかは絡み付けるし学び得る; int11 & fact6 -> hypothesis;
その麻酔効果は各学年であるということはない
fact24 -> int12: もし仮にこの屋敷は主計局でないとすると「侵入し易くないが軽症鬱病だ」ということは間違いだ; fact27 & fact26 -> int13: 「この屋敷は主計局でない」ということは正しい; int12 & int13 -> int14: 「この屋敷は侵入し易くないけど軽症鬱病だ」ということは誤っている; fact22 & int14 -> int15: この人間達は若しない; fact23 & int15 -> int16: 「この御家門は現われ方である一方で信頼しない」ということは間違いである; int16 -> int17: 「「現われ方で信頼しない」ということは成り立たない」物はある; int17 & fact25 -> int18: 「その麻酔効果は学び得る」ということは間違っている;
$facts$ = fact1: もし仮に「「現われ方であるし信頼しない」ということは誤っている」物があるとしたらその麻酔効果は学び得ない fact2: この人間達は侵入し易い fact3: この御家門は信頼する fact4: 若しない物は信頼するしその上学び得る fact5: もしもこの御家門が若しないならそれは信頼する fact6: 「絡み付けるしかつ学び得る」ものがあるならこの屋敷は現われ方である fact7: この人間達は学び得る fact8: 「この御家門は若しということはない」ということは成り立つ fact9: なにがしかのものは各学年でないならそれは援助目標でないか現われ方でないかあるいはどちらもである fact10: 「「若しない」ということは真実である」ものはある fact11: あるものは主計局でないとすると「それは侵入し易くないけど軽症鬱病だ」ということは成り立たない fact12: もし「この屋敷は子供らしい」ということは事実だとすれば主計局でない fact13: もし何かは援助目標ならそれは絡み付ける fact14: もし仮にある物が若しないとするとこの人間達は学び得るしその上信頼する fact15: 仮に「この屋敷は侵入し易くない軽症鬱病である」ということは間違っているとすればこの人間達は若しということはない fact16: 仮にこの人間達は若しないなら「この御家門は現われ方だけど信頼しない」ということは偽だ fact17: もしもこの人間達が侵入し易いとすると各学年でない fact18: 「学び得る」ものはある fact19: この御家門は援助目標でないとすると「この人間達は各学年だ」ということは成り立つ fact20: この屋敷は子供らしい fact21: なんらかの物は絡み付ける ; $hypothesis$ = この屋敷は現われ方でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この御家門は援助目標でない; fact19 & assump1 -> int1: この人間達は各学年である; fact17 & fact2 -> int2: この人間達は各学年でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御家門は援助目標だ; fact13 -> int5: 仮にこの御家門が援助目標だとしたら絡み付ける; int4 & int5 -> int6: この御家門は絡み付ける; fact4 -> int7: この御家門が若しないならば信頼するしその上それは学び得る; fact8 & int7 -> int8: この御家門は信頼するししかも学び得る; int8 -> int9: この御家門は学び得る; int6 & int9 -> int10: この御家門は絡み付けるしその上学び得る; int10 -> int11: なにかは絡み付けるし学び得る; int11 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「「現われ方であるし信頼しない」ということは誤っている」物があるとしたらその麻酔効果は学び得ない
事実2: この人間達は侵入し易い
事実3: この御家門は信頼する
事実4: 若しない物は信頼するしその上学び得る
事実5: もしもこの御家門が若しないならそれは信頼する
事実6: 「絡み付けるしかつ学び得る」ものがあるならこの屋敷は現われ方である
事実7: この人間達は学び得る
事実8: 「この御家門は若しということはない」ということは成り立つ
事実9: なにがしかのものは各学年でないならそれは援助目標でないか現われ方でないかあるいはどちらもである
事実10: 「「若しない」ということは真実である」ものはある
事実11: あるものは主計局でないとすると「それは侵入し易くないけど軽症鬱病だ」ということは成り立たない
事実12: もし「この屋敷は子供らしい」ということは事実だとすれば主計局でない
事実13: もし何かは援助目標ならそれは絡み付ける
事実14: もし仮にある物が若しないとするとこの人間達は学び得るしその上信頼する
事実15: 仮に「この屋敷は侵入し易くない軽症鬱病である」ということは間違っているとすればこの人間達は若しということはない
事実16: 仮にこの人間達は若しないなら「この御家門は現われ方だけど信頼しない」ということは偽だ
事実17: もしもこの人間達が侵入し易いとすると各学年でない
事実18: 「学び得る」ものはある
事実19: この御家門は援助目標でないとすると「この人間達は各学年だ」ということは成り立つ
事実20: この屋敷は子供らしい
事実21: なんらかの物は絡み付ける

仮説: この屋敷は現われ方でない
1. 仮定1: 以下のように仮定する。この御家門は援助目標でない
2. 事実19と仮定1から、推論1: "この人間達は各学年である"が導かれる
3. 事実17と事実2から、推論2: "この人間達は各学年でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この御家門は援助目標だ"が導かれる
6. 事実13から、推論5: "仮にこの御家門が援助目標だとしたら絡み付ける"が導かれる
7. 推論4と推論5から、推論6: "この御家門は絡み付ける"が導かれる
8. 事実4から、推論7: "この御家門が若しないならば信頼するしその上それは学び得る"が導かれる
9. 事実8と推論7から、推論8: "この御家門は信頼するししかも学び得る"が導かれる
10. 推論8から、推論9: "この御家門は学び得る"が導かれる
11. 推論6と推論9から、推論10: "この御家門は絡み付けるしその上学び得る"が導かれる
12. 推論10から、推論11: "なにかは絡み付けるし学び得る"が導かれる
13. 推論11と事実6から、仮説が否定される

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