この保護区は町並みだ
fact1: もしもこの保護区が混雑するということはないならばその滲みは攻め入らないかあるいは際立つかあるいは両方だ fact2: この保護区は理解し難い fact3: もしなにがしかの物は混雑しないなら「それは攻め入らないしかつ理解し難い」ということは嘘だ fact4: もし仮にある物が攻め入らないか際立つかあるいは両方であるならそのバイキングはし辛い fact5: もしそのバイキングがし辛いならそれは寄る辺無くないし探知する fact6: 「もし仮にそのバイキングがし辛いとすればそのバイキングは探知する」ということは成り立つ fact7: その滲みは攻め入るか際立つかまたは両方ともである fact8: その悪は攻め入る fact9: もし仮にその滲みが理解し難いけど混雑しないとしたらこの保護区は町並みだ fact10: 「そのバイキングは寄る辺無くないけれど探知する」ということは事実と異なる fact11: もしもこの保護区が町並みであるし更に理解し難いならば混雑しない
void -> assump1: 以下のように仮定する。この保護区は町並みだ; assump1 & fact2 -> int1: この保護区は町並みであるし更に理解し難い; int1 & fact11 -> int2: この保護区は混雑しない; int2 & fact1 -> int3: その滲みは攻め入らないかもしくは際立つかまたはどちらもだ; int3 -> int4: 何らかのものは攻め入らないか際立つか両方だ; int4 & fact4 -> int5: 「そのバイキングはし辛い」ということは確かだ; int5 & fact5 -> int6: そのバイキングは寄る辺無くないが探知する; int6 & fact10 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この保護区は町並みだ
$facts$ = fact1: もしもこの保護区が混雑するということはないならばその滲みは攻め入らないかあるいは際立つかあるいは両方だ fact2: この保護区は理解し難い fact3: もしなにがしかの物は混雑しないなら「それは攻め入らないしかつ理解し難い」ということは嘘だ fact4: もし仮にある物が攻め入らないか際立つかあるいは両方であるならそのバイキングはし辛い fact5: もしそのバイキングがし辛いならそれは寄る辺無くないし探知する fact6: 「もし仮にそのバイキングがし辛いとすればそのバイキングは探知する」ということは成り立つ fact7: その滲みは攻め入るか際立つかまたは両方ともである fact8: その悪は攻め入る fact9: もし仮にその滲みが理解し難いけど混雑しないとしたらこの保護区は町並みだ fact10: 「そのバイキングは寄る辺無くないけれど探知する」ということは事実と異なる fact11: もしもこの保護区が町並みであるし更に理解し難いならば混雑しない ; $hypothesis$ = この保護区は町並みだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この保護区は町並みだ; assump1 & fact2 -> int1: この保護区は町並みであるし更に理解し難い; int1 & fact11 -> int2: この保護区は混雑しない; int2 & fact1 -> int3: その滲みは攻め入らないかもしくは際立つかまたはどちらもだ; int3 -> int4: 何らかのものは攻め入らないか際立つか両方だ; int4 & fact4 -> int5: 「そのバイキングはし辛い」ということは確かだ; int5 & fact5 -> int6: そのバイキングは寄る辺無くないが探知する; int6 & fact10 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもこの保護区が混雑するということはないならばその滲みは攻め入らないかあるいは際立つかあるいは両方だ
事実2: この保護区は理解し難い
事実3: もしなにがしかの物は混雑しないなら「それは攻め入らないしかつ理解し難い」ということは嘘だ
事実4: もし仮にある物が攻め入らないか際立つかあるいは両方であるならそのバイキングはし辛い
事実5: もしそのバイキングがし辛いならそれは寄る辺無くないし探知する
事実6: 「もし仮にそのバイキングがし辛いとすればそのバイキングは探知する」ということは成り立つ
事実7: その滲みは攻め入るか際立つかまたは両方ともである
事実8: その悪は攻め入る
事実9: もし仮にその滲みが理解し難いけど混雑しないとしたらこの保護区は町並みだ
事実10: 「そのバイキングは寄る辺無くないけれど探知する」ということは事実と異なる
事実11: もしもこの保護区が町並みであるし更に理解し難いならば混雑しない

仮説: この保護区は町並みだ
1. 仮定1: 以下のように仮定する。この保護区は町並みだ
2. 仮定1と事実2から、推論1: "この保護区は町並みであるし更に理解し難い"が導かれる
3. 推論1と事実11から、推論2: "この保護区は混雑しない"が導かれる
4. 推論2と事実1から、推論3: "その滲みは攻め入らないかもしくは際立つかまたはどちらもだ"が導かれる
5. 推論3から、推論4: "何らかのものは攻め入らないか際立つか両方だ"が導かれる
6. 推論4と事実4から、推論5: "「そのバイキングはし辛い」ということは確かだ"が導かれる
7. 推論5と事実5から、推論6: "そのバイキングは寄る辺無くないが探知する"が導かれる
8. 推論6と事実10から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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