「もしもその八人分が逃れ難いとしたらその宮野木は宝石類であるかまたは耕作するということはないかまたは両方である」ということは成り立たない
fact1: この温チームが宝石類であるとすればその宮野木は宝石類であるかもしくはそれは耕作しない fact2: その八人分は切り離せるか宝石類でない fact3: その八人分は気味悪がるかもしくは切り離せない fact4: もしもその八人分が切り離せるとしたらこの温チームは気味悪がらない fact5: もし「この温チームは逃れ難い」ということは確かであるとすればその八人分は逃れ難いかあるいはそれは捕まえ易くないかあるいは両方ともである fact6: この温チームは気味悪がらない fact7: その宮野木が切り離せるとしたらその八人分は宝石類である fact8: 「あの林檎ジュースは気味悪がる」ということは確かだ fact9: 仮にその八人分は逃れ難いとすれば「それは切り離せる」ということは本当だ fact10: 何らかの物は捕まえ易くないなら「それは切り離せるしさらにそれは気味悪がる」ということは事実と異なる fact11: 仮にこの温チームが切り離せるとしたらその八人分は捕まえ易いか気味悪がらないかまたはどちらもだ fact12: もし仮に「「耕作するかまたは宝石類である」ということは間違っている」物があればその八人分は捕まえ易くない fact13: その閣議決定は垂れ込めるかもしくはそれは気味悪がらないかもしくは両方だ fact14: もし「何らかの物は気味悪がるがしかし逃れ難くない」ということは成り立つとすれば捕まえ易い fact15: 捕まえ易いものが気味悪がらないとしたら宝石類である fact16: あの第一次案は伝わり難いがしかし捕まえ易くない fact17: 仮にその八人分が切り離せるとするとこの温チームは捕まえ易いけど気味悪がらない fact18: 仮にその八人分が宝石類だとすればこの温チームは切り離せるけれどそれは気味悪がらない fact19: 仮になにがしかのものが逃れ難いということはないならばぐれるかまたはそれは色間違いでないかまたは両方である fact20: もしもこの温チームが切り離せればその八人分は捕まえ易い fact21: もし仮にその八人分が切り離せるとすればそれは宝石類だ fact22: その宮野木は逃れ難い fact23: その八人分が気味悪がればこの温チームは逃れ難い
void -> assump1: 以下のように仮定する。その八人分は逃れ難い; fact9 & assump1 -> int1: その八人分は切り離せる; int1 & fact17 -> int2: この温チームは捕まえ易い一方でそれは気味悪がらない; fact15 -> int3: 仮に「この温チームは捕まえ易い一方で気味悪がらない」ということは真実ならば「それは宝石類だ」ということは真実である; int2 & int3 -> int4: この温チームは宝石類である; int4 & fact1 -> int5: その宮野木は宝石類であるかもしくはそれは耕作しないかあるいは両方だ; [assump1] & int5 -> hypothesis;
あの順序数はぐれるかあるいは色間違いでないかもしくはどちらもである
fact24 -> int6: あの順序数が逃れ難くないならばそれはぐれるかもしくは色間違いでないか両方ともである; fact25 -> int7: その八人分は捕まえ易いということはないなら「切り離せるし更に気味悪がる」ということは成り立たない;
$facts$ = fact1: この温チームが宝石類であるとすればその宮野木は宝石類であるかもしくはそれは耕作しない fact2: その八人分は切り離せるか宝石類でない fact3: その八人分は気味悪がるかもしくは切り離せない fact4: もしもその八人分が切り離せるとしたらこの温チームは気味悪がらない fact5: もし「この温チームは逃れ難い」ということは確かであるとすればその八人分は逃れ難いかあるいはそれは捕まえ易くないかあるいは両方ともである fact6: この温チームは気味悪がらない fact7: その宮野木が切り離せるとしたらその八人分は宝石類である fact8: 「あの林檎ジュースは気味悪がる」ということは確かだ fact9: 仮にその八人分は逃れ難いとすれば「それは切り離せる」ということは本当だ fact10: 何らかの物は捕まえ易くないなら「それは切り離せるしさらにそれは気味悪がる」ということは事実と異なる fact11: 仮にこの温チームが切り離せるとしたらその八人分は捕まえ易いか気味悪がらないかまたはどちらもだ fact12: もし仮に「「耕作するかまたは宝石類である」ということは間違っている」物があればその八人分は捕まえ易くない fact13: その閣議決定は垂れ込めるかもしくはそれは気味悪がらないかもしくは両方だ fact14: もし「何らかの物は気味悪がるがしかし逃れ難くない」ということは成り立つとすれば捕まえ易い fact15: 捕まえ易いものが気味悪がらないとしたら宝石類である fact16: あの第一次案は伝わり難いがしかし捕まえ易くない fact17: 仮にその八人分が切り離せるとするとこの温チームは捕まえ易いけど気味悪がらない fact18: 仮にその八人分が宝石類だとすればこの温チームは切り離せるけれどそれは気味悪がらない fact19: 仮になにがしかのものが逃れ難いということはないならばぐれるかまたはそれは色間違いでないかまたは両方である fact20: もしもこの温チームが切り離せればその八人分は捕まえ易い fact21: もし仮にその八人分が切り離せるとすればそれは宝石類だ fact22: その宮野木は逃れ難い fact23: その八人分が気味悪がればこの温チームは逃れ難い ; $hypothesis$ = 「もしもその八人分が逃れ難いとしたらその宮野木は宝石類であるかまたは耕作するということはないかまたは両方である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その八人分は逃れ難い; fact9 & assump1 -> int1: その八人分は切り離せる; int1 & fact17 -> int2: この温チームは捕まえ易い一方でそれは気味悪がらない; fact15 -> int3: 仮に「この温チームは捕まえ易い一方で気味悪がらない」ということは真実ならば「それは宝石類だ」ということは真実である; int2 & int3 -> int4: この温チームは宝石類である; int4 & fact1 -> int5: その宮野木は宝石類であるかもしくはそれは耕作しないかあるいは両方だ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この温チームが宝石類であるとすればその宮野木は宝石類であるかもしくはそれは耕作しない
事実2: その八人分は切り離せるか宝石類でない
事実3: その八人分は気味悪がるかもしくは切り離せない
事実4: もしもその八人分が切り離せるとしたらこの温チームは気味悪がらない
事実5: もし「この温チームは逃れ難い」ということは確かであるとすればその八人分は逃れ難いかあるいはそれは捕まえ易くないかあるいは両方ともである
事実6: この温チームは気味悪がらない
事実7: その宮野木が切り離せるとしたらその八人分は宝石類である
事実8: 「あの林檎ジュースは気味悪がる」ということは確かだ
事実9: 仮にその八人分は逃れ難いとすれば「それは切り離せる」ということは本当だ
事実10: 何らかの物は捕まえ易くないなら「それは切り離せるしさらにそれは気味悪がる」ということは事実と異なる
事実11: 仮にこの温チームが切り離せるとしたらその八人分は捕まえ易いか気味悪がらないかまたはどちらもだ
事実12: もし仮に「「耕作するかまたは宝石類である」ということは間違っている」物があればその八人分は捕まえ易くない
事実13: その閣議決定は垂れ込めるかもしくはそれは気味悪がらないかもしくは両方だ
事実14: もし「何らかの物は気味悪がるがしかし逃れ難くない」ということは成り立つとすれば捕まえ易い
事実15: 捕まえ易いものが気味悪がらないとしたら宝石類である
事実16: あの第一次案は伝わり難いがしかし捕まえ易くない
事実17: 仮にその八人分が切り離せるとするとこの温チームは捕まえ易いけど気味悪がらない
事実18: 仮にその八人分が宝石類だとすればこの温チームは切り離せるけれどそれは気味悪がらない
事実19: 仮になにがしかのものが逃れ難いということはないならばぐれるかまたはそれは色間違いでないかまたは両方である
事実20: もしもこの温チームが切り離せればその八人分は捕まえ易い
事実21: もし仮にその八人分が切り離せるとすればそれは宝石類だ
事実22: その宮野木は逃れ難い
事実23: その八人分が気味悪がればこの温チームは逃れ難い

仮説: 「もしもその八人分が逃れ難いとしたらその宮野木は宝石類であるかまたは耕作するということはないかまたは両方である」ということは成り立たない
1. 仮定1: 以下のように仮定する。その八人分は逃れ難い
2. 事実9と仮定1から、推論1: "その八人分は切り離せる"が導かれる
3. 推論1と事実17から、推論2: "この温チームは捕まえ易い一方でそれは気味悪がらない"が導かれる
4. 事実15から、推論3: "仮に「この温チームは捕まえ易い一方で気味悪がらない」ということは真実ならば「それは宝石類だ」ということは真実である"が導かれる
5. 推論2と推論3から、推論4: "この温チームは宝石類である"が導かれる
6. 推論4と事実1から、推論5: "その宮野木は宝石類であるかもしくはそれは耕作しないかあるいは両方だ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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