その旅行中は刈り取るということはない
fact1: もし仮にあの適任は夕風でないとすれば「その十六ドットは新ゴールドプランであるが上がり出すということはない」ということは成り立たない fact2: もし「「上がり出さない」ということは本当である」物があるならその十六ドットは新ゴールドプランであるかあるいはそれは夕風でない fact3: もしもその十六ドットが艶めかしいならばその旅行中は刈り取る fact4: もし仮にその十六ドットが末恐ろしいとすればそれは艶めかしくないが条約港である fact5: もしなにがしかの物が新ゴールドプランであるかあるいは夕風でないならそれは艶めかしい fact6: もし仮になにかは上がり出さないならば刈り取る fact7: もし仮に艶めかしくないものは条約港だとすると「夕風だ」ということは真実である fact8: その十六ドットは新ゴールドプランであるかもしくは夕風であるかもしくは両方である fact9: 「上がり出さない」ものはある
fact9 & fact2 -> int1: その十六ドットは新ゴールドプランであるか夕風でない; fact5 -> int2: もし仮にその十六ドットが新ゴールドプランであるかまたはそれは夕風でないかまたは両方ともであるとしたらそれは艶めかしい; int1 & int2 -> int3: その十六ドットは艶めかしい; int3 & fact3 -> hypothesis;
この夜釣りは刈り取る
fact11 -> int4: もしも「この夜釣りは上がり出さない」ということは誤っているということはないとするとそれは刈り取る; fact10 -> int5: 仮にその十六ドットが艶めかしくないが条約港ならそれは夕風である;
$facts$ = fact1: もし仮にあの適任は夕風でないとすれば「その十六ドットは新ゴールドプランであるが上がり出すということはない」ということは成り立たない fact2: もし「「上がり出さない」ということは本当である」物があるならその十六ドットは新ゴールドプランであるかあるいはそれは夕風でない fact3: もしもその十六ドットが艶めかしいならばその旅行中は刈り取る fact4: もし仮にその十六ドットが末恐ろしいとすればそれは艶めかしくないが条約港である fact5: もしなにがしかの物が新ゴールドプランであるかあるいは夕風でないならそれは艶めかしい fact6: もし仮になにかは上がり出さないならば刈り取る fact7: もし仮に艶めかしくないものは条約港だとすると「夕風だ」ということは真実である fact8: その十六ドットは新ゴールドプランであるかもしくは夕風であるかもしくは両方である fact9: 「上がり出さない」ものはある ; $hypothesis$ = その旅行中は刈り取るということはない ; $proof$ = 
fact9 & fact2 -> int1: その十六ドットは新ゴールドプランであるか夕風でない; fact5 -> int2: もし仮にその十六ドットが新ゴールドプランであるかまたはそれは夕風でないかまたは両方ともであるとしたらそれは艶めかしい; int1 & int2 -> int3: その十六ドットは艶めかしい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの適任は夕風でないとすれば「その十六ドットは新ゴールドプランであるが上がり出すということはない」ということは成り立たない
事実2: もし「「上がり出さない」ということは本当である」物があるならその十六ドットは新ゴールドプランであるかあるいはそれは夕風でない
事実3: もしもその十六ドットが艶めかしいならばその旅行中は刈り取る
事実4: もし仮にその十六ドットが末恐ろしいとすればそれは艶めかしくないが条約港である
事実5: もしなにがしかの物が新ゴールドプランであるかあるいは夕風でないならそれは艶めかしい
事実6: もし仮になにかは上がり出さないならば刈り取る
事実7: もし仮に艶めかしくないものは条約港だとすると「夕風だ」ということは真実である
事実8: その十六ドットは新ゴールドプランであるかもしくは夕風であるかもしくは両方である
事実9: 「上がり出さない」ものはある

仮説: その旅行中は刈り取るということはない
1. 事実9と事実2から、推論1: "その十六ドットは新ゴールドプランであるか夕風でない"が導かれる
2. 事実5から、推論2: "もし仮にその十六ドットが新ゴールドプランであるかまたはそれは夕風でないかまたは両方ともであるとしたらそれは艶めかしい"が導かれる
3. 推論1と推論2から、推論3: "その十六ドットは艶めかしい"が導かれる
4. 推論3と事実3から、仮説が否定される

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