あの睫は人以外である
fact1: 仮にその御雑煮がクロス集計だけど六識でないとしたらあの睫は六識だ fact2: もしこの切除・端々吻合は廃棄処分するとすると「あの睫は人以外でない」ということは事実である fact3: もしとある物は廃棄処分すれば「それは克服す」ということは成り立つ fact4: 「仮にその御雑煮がクロス集計だとするとこの切除・端々吻合は移り行く」ということは成り立つ fact5: クロス集計は廃棄処分する fact6: その御雑煮は移り行く fact7: 「その御雑煮は人以外だ」ということは本当だ fact8: あの民主的社会は廃棄処分する fact9: その御雑煮は克服す fact10: 仮にこの切除・端々吻合は名刹であるとしたらそれは麗々しい fact11: その御雑煮は対峙する fact12: もしも「あの睫は克服す」ということは成り立つなら「それは人以外だ」ということは事実である fact13: この切除・端々吻合は人以外である fact14: 「もしこの切除・端々吻合がクロス集計ならその御雑煮は移り行かない」ということは成り立つ fact15: もし仮にこの切除・端々吻合が克服すかもしくはそれが廃棄処分するとするとあの睫は人以外でない fact16: その御雑煮はクロス集計であるかまたは克服すかまたは両方ともである fact17: その御雑煮はクロス集計だ fact18: 仮になんらかのものは移り行くなら「それは克服す」ということは確かだ fact19: この切除・端々吻合は人以外であるか克服す fact20: その賛成票は移り行く fact21: 何らかのものはクロス集計であるとすると人以外である
fact4 & fact17 -> int1: この切除・端々吻合は移り行く; fact18 -> int2: この切除・端々吻合が移り行くとするとそれは克服す; int1 & int2 -> int3: この切除・端々吻合は克服す; int3 -> int4: この切除・端々吻合は克服すかもしくは廃棄処分するかまたはどちらもである; int4 & fact15 -> hypothesis;
あの睫は人以外だ
fact22 -> int5: あの睫がクロス集計だとすれば人以外だ;
$facts$ = fact1: 仮にその御雑煮がクロス集計だけど六識でないとしたらあの睫は六識だ fact2: もしこの切除・端々吻合は廃棄処分するとすると「あの睫は人以外でない」ということは事実である fact3: もしとある物は廃棄処分すれば「それは克服す」ということは成り立つ fact4: 「仮にその御雑煮がクロス集計だとするとこの切除・端々吻合は移り行く」ということは成り立つ fact5: クロス集計は廃棄処分する fact6: その御雑煮は移り行く fact7: 「その御雑煮は人以外だ」ということは本当だ fact8: あの民主的社会は廃棄処分する fact9: その御雑煮は克服す fact10: 仮にこの切除・端々吻合は名刹であるとしたらそれは麗々しい fact11: その御雑煮は対峙する fact12: もしも「あの睫は克服す」ということは成り立つなら「それは人以外だ」ということは事実である fact13: この切除・端々吻合は人以外である fact14: 「もしこの切除・端々吻合がクロス集計ならその御雑煮は移り行かない」ということは成り立つ fact15: もし仮にこの切除・端々吻合が克服すかもしくはそれが廃棄処分するとするとあの睫は人以外でない fact16: その御雑煮はクロス集計であるかまたは克服すかまたは両方ともである fact17: その御雑煮はクロス集計だ fact18: 仮になんらかのものは移り行くなら「それは克服す」ということは確かだ fact19: この切除・端々吻合は人以外であるか克服す fact20: その賛成票は移り行く fact21: 何らかのものはクロス集計であるとすると人以外である ; $hypothesis$ = あの睫は人以外である ; $proof$ = 
fact4 & fact17 -> int1: この切除・端々吻合は移り行く; fact18 -> int2: この切除・端々吻合が移り行くとするとそれは克服す; int1 & int2 -> int3: この切除・端々吻合は克服す; int3 -> int4: この切除・端々吻合は克服すかもしくは廃棄処分するかまたはどちらもである; int4 & fact15 -> hypothesis; __DISPROVED__
事実1: 仮にその御雑煮がクロス集計だけど六識でないとしたらあの睫は六識だ
事実2: もしこの切除・端々吻合は廃棄処分するとすると「あの睫は人以外でない」ということは事実である
事実3: もしとある物は廃棄処分すれば「それは克服す」ということは成り立つ
事実4: 「仮にその御雑煮がクロス集計だとするとこの切除・端々吻合は移り行く」ということは成り立つ
事実5: クロス集計は廃棄処分する
事実6: その御雑煮は移り行く
事実7: 「その御雑煮は人以外だ」ということは本当だ
事実8: あの民主的社会は廃棄処分する
事実9: その御雑煮は克服す
事実10: 仮にこの切除・端々吻合は名刹であるとしたらそれは麗々しい
事実11: その御雑煮は対峙する
事実12: もしも「あの睫は克服す」ということは成り立つなら「それは人以外だ」ということは事実である
事実13: この切除・端々吻合は人以外である
事実14: 「もしこの切除・端々吻合がクロス集計ならその御雑煮は移り行かない」ということは成り立つ
事実15: もし仮にこの切除・端々吻合が克服すかもしくはそれが廃棄処分するとするとあの睫は人以外でない
事実16: その御雑煮はクロス集計であるかまたは克服すかまたは両方ともである
事実17: その御雑煮はクロス集計だ
事実18: 仮になんらかのものは移り行くなら「それは克服す」ということは確かだ
事実19: この切除・端々吻合は人以外であるか克服す
事実20: その賛成票は移り行く
事実21: 何らかのものはクロス集計であるとすると人以外である

仮説: あの睫は人以外である
1. 事実4と事実17から、推論1: "この切除・端々吻合は移り行く"が導かれる
2. 事実18から、推論2: "この切除・端々吻合が移り行くとするとそれは克服す"が導かれる
3. 推論1と推論2から、推論3: "この切除・端々吻合は克服す"が導かれる
4. 推論3から、推論4: "この切除・端々吻合は克服すかもしくは廃棄処分するかまたはどちらもである"が導かれる
5. 推論4と事実15から、仮説が否定される

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