この家裁は喋り難い
fact1: 「あの絵は迷宮入りでないが疑い始める」ということは間違いである fact2: もし「「疑い始めるということはない」ということは成り立つ」ものはあるとしたら「「この家裁は狡くないけど公武合体だ」ということは正しい」ということは誤りである fact3: もし仮にこの聴覚・言語障害は重々しい一方で迷宮入りでないとしたらそれは調節し易い fact4: この聴覚・言語障害は重々しいけれど迷宮入りでない fact5: 「なんらかの物は狡いということはないがしかし公武合体だ」ということは誤っているとしたら喋り難くない fact6: もし仮に調節し易い物が疑い始めないならばダウンロード出来ない fact7: もしもあの絵がダウンロード出来るかまたは疑い始めるとすればあの聴覚・言語障害は調節し易いということはない fact8: 仮にある物が公武合体でないとすればそれは調節し易いが疑い始めない
void -> assump1: 以下のように仮定する。あの絵は疑い始める; assump1 -> int1: あの絵はダウンロード出来るかもしくはそれは疑い始めるか両方である; int1 & fact7 -> int2: この聴覚・言語障害は調節し易くない; fact3 & fact4 -> int3: この聴覚・言語障害は調節し易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの絵は疑い始めない; int5 -> int6: 「疑い始めない」ものはある; int6 & fact2 -> int7: 「この家裁は狡いということはないけれど公武合体だ」ということは成り立たない; fact5 -> int8: 仮に「この家裁は狡くないが公武合体である」ということは偽であるなら喋り難いということはない; int7 & int8 -> hypothesis;
この家裁は喋り難い
fact10 -> int9: もしもあの絵が調節し易い一方でそれが疑い始めないならそれはダウンロード出来ない; fact9 -> int10: もしこの聴覚・言語障害が公武合体でないとすればそれは調節し易くて更に疑い始めない;
$facts$ = fact1: 「あの絵は迷宮入りでないが疑い始める」ということは間違いである fact2: もし「「疑い始めるということはない」ということは成り立つ」ものはあるとしたら「「この家裁は狡くないけど公武合体だ」ということは正しい」ということは誤りである fact3: もし仮にこの聴覚・言語障害は重々しい一方で迷宮入りでないとしたらそれは調節し易い fact4: この聴覚・言語障害は重々しいけれど迷宮入りでない fact5: 「なんらかの物は狡いということはないがしかし公武合体だ」ということは誤っているとしたら喋り難くない fact6: もし仮に調節し易い物が疑い始めないならばダウンロード出来ない fact7: もしもあの絵がダウンロード出来るかまたは疑い始めるとすればあの聴覚・言語障害は調節し易いということはない fact8: 仮にある物が公武合体でないとすればそれは調節し易いが疑い始めない ; $hypothesis$ = この家裁は喋り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの絵は疑い始める; assump1 -> int1: あの絵はダウンロード出来るかもしくはそれは疑い始めるか両方である; int1 & fact7 -> int2: この聴覚・言語障害は調節し易くない; fact3 & fact4 -> int3: この聴覚・言語障害は調節し易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの絵は疑い始めない; int5 -> int6: 「疑い始めない」ものはある; int6 & fact2 -> int7: 「この家裁は狡いということはないけれど公武合体だ」ということは成り立たない; fact5 -> int8: 仮に「この家裁は狡くないが公武合体である」ということは偽であるなら喋り難いということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「あの絵は迷宮入りでないが疑い始める」ということは間違いである
事実2: もし「「疑い始めるということはない」ということは成り立つ」ものはあるとしたら「「この家裁は狡くないけど公武合体だ」ということは正しい」ということは誤りである
事実3: もし仮にこの聴覚・言語障害は重々しい一方で迷宮入りでないとしたらそれは調節し易い
事実4: この聴覚・言語障害は重々しいけれど迷宮入りでない
事実5: 「なんらかの物は狡いということはないがしかし公武合体だ」ということは誤っているとしたら喋り難くない
事実6: もし仮に調節し易い物が疑い始めないならばダウンロード出来ない
事実7: もしもあの絵がダウンロード出来るかまたは疑い始めるとすればあの聴覚・言語障害は調節し易いということはない
事実8: 仮にある物が公武合体でないとすればそれは調節し易いが疑い始めない

仮説: この家裁は喋り難い
1. 仮定1: 以下のように仮定する。あの絵は疑い始める
2. 仮定1から、推論1: "あの絵はダウンロード出来るかもしくはそれは疑い始めるか両方である"が導かれる
3. 推論1と事実7から、推論2: "この聴覚・言語障害は調節し易くない"が導かれる
4. 事実3と事実4から、推論3: "この聴覚・言語障害は調節し易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの絵は疑い始めない"が導かれる
7. 推論5から、推論6: "「疑い始めない」ものはある"が導かれる
8. 推論6と事実2から、推論7: "「この家裁は狡いということはないけれど公武合体だ」ということは成り立たない"が導かれる
9. 事実5から、推論8: "仮に「この家裁は狡くないが公武合体である」ということは偽であるなら喋り難いということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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