この子兎ちゃんは疑い深くない
fact1: 「あの入院待ちは神経科学であるし加えてかさかさする」ということは事実と異なる fact2: その居住性能がイタリア語でないとするとそれは一枝であるしそれは発散会議だ fact3: 仮にあの入院待ちは公立図書館であるとしたら「それは神経科学だということはない一方でかさかさする」ということは間違っている fact4: 仮にあの入院待ちが瀕するということはないならあの妖異共は夥しい fact5: もし仮にあの妖異共が夥しい一方で政治グループだということはないとしたらその居住性能は発散会議でない fact6: 神経科学は瀕するということはない fact7: もしもあの妖異共は瀕するとすれば「御過ごし下さるということはないが夥しい」ということは嘘である fact8: あの入院待ちは神経科学であるとするとそれは瀕しない fact9: そのシナ屋は神聖ローマ帝国皇帝であるし御過ごし下さる fact10: もしあの入院待ちは公立図書館でないならば「この子兎ちゃんは疑い深い」ということは成り立つ fact11: もし仮に「「「あの妖異共は公立図書館だ一方で御過ごし下さらない」ということは事実だ」ということは間違いだ」ということは成り立つならあの入院待ちは御過ごし下さるということはない fact12: もしもその居住性能はイタリア語でないとしたらそれは一枝である fact13: もしも「なにがしかの物は神経科学でないがしかしかさかさする」ということは成り立たないならそれは瀕しない fact14: その居住性能は回収機であるししかもそれはかさかさする fact15: 仮に神聖ローマ帝国皇帝が御過ごし下さるとするとあの妖異共は政治グループでない fact16: その居住性能はイタリア語でない fact17: なにがしかの物は神聖ローマ帝国皇帝である fact18: あの入院待ちはイタリア語だし加えて覚え易い fact19: あの入院待ちは公立図書館であるなら「それは神経科学であるし加えてかさかさする」ということは成り立たない
void -> assump1: 以下のように仮定する。あの入院待ちは公立図書館である; fact3 & assump1 -> int1: 「あの入院待ちは神経科学でないけれどそれはかさかさする」ということは成り立たない; fact13 -> int2: もし仮に「あの入院待ちは神経科学でない一方でかさかさする」ということは間違いだとすると瀕しない; int1 & int2 -> int3: あの入院待ちは瀕するということはない; int3 & fact4 -> int4: あの妖異共は夥しい; fact9 -> int5: なにがしかの物は神聖ローマ帝国皇帝であるしかつ御過ごし下さる; int5 & fact15 -> int6: あの妖異共は政治グループでない; int4 & int6 -> int7: あの妖異共は夥しいが政治グループでない; int7 & fact5 -> int8: その居住性能は発散会議でない; fact16 & fact2 -> int9: その居住性能は一枝であるしおまけに発散会議だ; int9 -> int10: その居住性能は発散会議である; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの入院待ちは公立図書館でない; int12 & fact10 -> hypothesis;
あの入院待ちは御過ごし下さらない
$facts$ = fact1: 「あの入院待ちは神経科学であるし加えてかさかさする」ということは事実と異なる fact2: その居住性能がイタリア語でないとするとそれは一枝であるしそれは発散会議だ fact3: 仮にあの入院待ちは公立図書館であるとしたら「それは神経科学だということはない一方でかさかさする」ということは間違っている fact4: 仮にあの入院待ちが瀕するということはないならあの妖異共は夥しい fact5: もし仮にあの妖異共が夥しい一方で政治グループだということはないとしたらその居住性能は発散会議でない fact6: 神経科学は瀕するということはない fact7: もしもあの妖異共は瀕するとすれば「御過ごし下さるということはないが夥しい」ということは嘘である fact8: あの入院待ちは神経科学であるとするとそれは瀕しない fact9: そのシナ屋は神聖ローマ帝国皇帝であるし御過ごし下さる fact10: もしあの入院待ちは公立図書館でないならば「この子兎ちゃんは疑い深い」ということは成り立つ fact11: もし仮に「「「あの妖異共は公立図書館だ一方で御過ごし下さらない」ということは事実だ」ということは間違いだ」ということは成り立つならあの入院待ちは御過ごし下さるということはない fact12: もしもその居住性能はイタリア語でないとしたらそれは一枝である fact13: もしも「なにがしかの物は神経科学でないがしかしかさかさする」ということは成り立たないならそれは瀕しない fact14: その居住性能は回収機であるししかもそれはかさかさする fact15: 仮に神聖ローマ帝国皇帝が御過ごし下さるとするとあの妖異共は政治グループでない fact16: その居住性能はイタリア語でない fact17: なにがしかの物は神聖ローマ帝国皇帝である fact18: あの入院待ちはイタリア語だし加えて覚え易い fact19: あの入院待ちは公立図書館であるなら「それは神経科学であるし加えてかさかさする」ということは成り立たない ; $hypothesis$ = この子兎ちゃんは疑い深くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの入院待ちは公立図書館である; fact3 & assump1 -> int1: 「あの入院待ちは神経科学でないけれどそれはかさかさする」ということは成り立たない; fact13 -> int2: もし仮に「あの入院待ちは神経科学でない一方でかさかさする」ということは間違いだとすると瀕しない; int1 & int2 -> int3: あの入院待ちは瀕するということはない; int3 & fact4 -> int4: あの妖異共は夥しい; fact9 -> int5: なにがしかの物は神聖ローマ帝国皇帝であるしかつ御過ごし下さる; int5 & fact15 -> int6: あの妖異共は政治グループでない; int4 & int6 -> int7: あの妖異共は夥しいが政治グループでない; int7 & fact5 -> int8: その居住性能は発散会議でない; fact16 & fact2 -> int9: その居住性能は一枝であるしおまけに発散会議だ; int9 -> int10: その居住性能は発散会議である; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの入院待ちは公立図書館でない; int12 & fact10 -> hypothesis; __DISPROVED__
事実1: 「あの入院待ちは神経科学であるし加えてかさかさする」ということは事実と異なる
事実2: その居住性能がイタリア語でないとするとそれは一枝であるしそれは発散会議だ
事実3: 仮にあの入院待ちは公立図書館であるとしたら「それは神経科学だということはない一方でかさかさする」ということは間違っている
事実4: 仮にあの入院待ちが瀕するということはないならあの妖異共は夥しい
事実5: もし仮にあの妖異共が夥しい一方で政治グループだということはないとしたらその居住性能は発散会議でない
事実6: 神経科学は瀕するということはない
事実7: もしもあの妖異共は瀕するとすれば「御過ごし下さるということはないが夥しい」ということは嘘である
事実8: あの入院待ちは神経科学であるとするとそれは瀕しない
事実9: そのシナ屋は神聖ローマ帝国皇帝であるし御過ごし下さる
事実10: もしあの入院待ちは公立図書館でないならば「この子兎ちゃんは疑い深い」ということは成り立つ
事実11: もし仮に「「「あの妖異共は公立図書館だ一方で御過ごし下さらない」ということは事実だ」ということは間違いだ」ということは成り立つならあの入院待ちは御過ごし下さるということはない
事実12: もしもその居住性能はイタリア語でないとしたらそれは一枝である
事実13: もしも「なにがしかの物は神経科学でないがしかしかさかさする」ということは成り立たないならそれは瀕しない
事実14: その居住性能は回収機であるししかもそれはかさかさする
事実15: 仮に神聖ローマ帝国皇帝が御過ごし下さるとするとあの妖異共は政治グループでない
事実16: その居住性能はイタリア語でない
事実17: なにがしかの物は神聖ローマ帝国皇帝である
事実18: あの入院待ちはイタリア語だし加えて覚え易い
事実19: あの入院待ちは公立図書館であるなら「それは神経科学であるし加えてかさかさする」ということは成り立たない

仮説: この子兎ちゃんは疑い深くない
1. 仮定1: 以下のように仮定する。あの入院待ちは公立図書館である
2. 事実3と仮定1から、推論1: "「あの入院待ちは神経科学でないけれどそれはかさかさする」ということは成り立たない"が導かれる
3. 事実13から、推論2: "もし仮に「あの入院待ちは神経科学でない一方でかさかさする」ということは間違いだとすると瀕しない"が導かれる
4. 推論1と推論2から、推論3: "あの入院待ちは瀕するということはない"が導かれる
5. 推論3と事実4から、推論4: "あの妖異共は夥しい"が導かれる
6. 事実9から、推論5: "なにがしかの物は神聖ローマ帝国皇帝であるしかつ御過ごし下さる"が導かれる
7. 推論5と事実15から、推論6: "あの妖異共は政治グループでない"が導かれる
8. 推論4と推論6から、推論7: "あの妖異共は夥しいが政治グループでない"が導かれる
9. 推論7と事実5から、推論8: "その居住性能は発散会議でない"が導かれる
10. 事実16と事実2から、推論9: "その居住性能は一枝であるしおまけに発散会議だ"が導かれる
11. 推論9から、推論10: "その居住性能は発散会議である"が導かれる
12. 推論8と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "あの入院待ちは公立図書館でない"が導かれる
14. 推論12と事実10から、仮説が否定される

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