あの雛は脱しない
fact1: 何らかの物が減り込めば雑魚寝する一方で区切れるということはない fact2: もしもこの十世紀後半が詳しくないがしかしそれが形象化すればそれは思い知らすということはない fact3: この十世紀後半は脱しない fact4: 「取り掛かり易い」物があるならこの希死念慮は減り込む fact5: あの雛が後根でないが詳しいならばこの十世紀後半は後根でない fact6: 何らかのものは打数だ fact7: 「後根は脱する」ということは成り立つ fact8: 「この十世紀後半は後根でない」ということは偽でないとすれば「この蔵屋敷は思い知らすしさらに打数だ」ということは成り立たない fact9: もし「「打数であるが思い知らさない」物はある」ということは確かだとしたらあの雛は後根だ fact10: 「減り込むということはない」ものはある fact11: 仮にその官有地が取り掛かり易くないとするとこの蔵屋敷は区切れる fact12: あの拒食症は脱する fact13: この十世紀後半は形象化する fact14: この十世紀後半は詳しくないけどそれは形象化する fact15: もし仮に「減り込むということはない」ものがあるとすればその官有地は取り掛かり易くない fact16: もし仮にこの蔵屋敷が区切れるならばあの十世紀後半は打数である
fact10 & fact15 -> int1: その官有地は取り掛かり易くない; int1 & fact11 -> int2: この蔵屋敷は区切れる; int2 & fact16 -> int3: この十世紀後半は打数だ; fact14 & fact2 -> int4: 「この十世紀後半は思い知らすということはない」ということは成り立つ; int3 & int4 -> int5: この十世紀後半は打数だけれどそれは思い知らさない; int5 -> int6: 何らかのものは打数であるけれど思い知らさない; int6 & fact9 -> int7: あの雛は後根である; fact7 -> int8: もしもあの雛は後根であるなら「それは脱する」ということは事実だ; int7 & int8 -> hypothesis;
この希死念慮は雑魚寝する一方で区切れない
fact20 -> int9: もし「この希死念慮は減り込む」ということは成り立つならそれは雑魚寝するが区切れない; fact17 -> int10: 「脱する」物はある;
$facts$ = fact1: 何らかの物が減り込めば雑魚寝する一方で区切れるということはない fact2: もしもこの十世紀後半が詳しくないがしかしそれが形象化すればそれは思い知らすということはない fact3: この十世紀後半は脱しない fact4: 「取り掛かり易い」物があるならこの希死念慮は減り込む fact5: あの雛が後根でないが詳しいならばこの十世紀後半は後根でない fact6: 何らかのものは打数だ fact7: 「後根は脱する」ということは成り立つ fact8: 「この十世紀後半は後根でない」ということは偽でないとすれば「この蔵屋敷は思い知らすしさらに打数だ」ということは成り立たない fact9: もし「「打数であるが思い知らさない」物はある」ということは確かだとしたらあの雛は後根だ fact10: 「減り込むということはない」ものはある fact11: 仮にその官有地が取り掛かり易くないとするとこの蔵屋敷は区切れる fact12: あの拒食症は脱する fact13: この十世紀後半は形象化する fact14: この十世紀後半は詳しくないけどそれは形象化する fact15: もし仮に「減り込むということはない」ものがあるとすればその官有地は取り掛かり易くない fact16: もし仮にこの蔵屋敷が区切れるならばあの十世紀後半は打数である ; $hypothesis$ = あの雛は脱しない ; $proof$ = 
fact10 & fact15 -> int1: その官有地は取り掛かり易くない; int1 & fact11 -> int2: この蔵屋敷は区切れる; int2 & fact16 -> int3: この十世紀後半は打数だ; fact14 & fact2 -> int4: 「この十世紀後半は思い知らすということはない」ということは成り立つ; int3 & int4 -> int5: この十世紀後半は打数だけれどそれは思い知らさない; int5 -> int6: 何らかのものは打数であるけれど思い知らさない; int6 & fact9 -> int7: あの雛は後根である; fact7 -> int8: もしもあの雛は後根であるなら「それは脱する」ということは事実だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 何らかの物が減り込めば雑魚寝する一方で区切れるということはない
事実2: もしもこの十世紀後半が詳しくないがしかしそれが形象化すればそれは思い知らすということはない
事実3: この十世紀後半は脱しない
事実4: 「取り掛かり易い」物があるならこの希死念慮は減り込む
事実5: あの雛が後根でないが詳しいならばこの十世紀後半は後根でない
事実6: 何らかのものは打数だ
事実7: 「後根は脱する」ということは成り立つ
事実8: 「この十世紀後半は後根でない」ということは偽でないとすれば「この蔵屋敷は思い知らすしさらに打数だ」ということは成り立たない
事実9: もし「「打数であるが思い知らさない」物はある」ということは確かだとしたらあの雛は後根だ
事実10: 「減り込むということはない」ものはある
事実11: 仮にその官有地が取り掛かり易くないとするとこの蔵屋敷は区切れる
事実12: あの拒食症は脱する
事実13: この十世紀後半は形象化する
事実14: この十世紀後半は詳しくないけどそれは形象化する
事実15: もし仮に「減り込むということはない」ものがあるとすればその官有地は取り掛かり易くない
事実16: もし仮にこの蔵屋敷が区切れるならばあの十世紀後半は打数である

仮説: あの雛は脱しない
1. 事実10と事実15から、推論1: "その官有地は取り掛かり易くない"が導かれる
2. 推論1と事実11から、推論2: "この蔵屋敷は区切れる"が導かれる
3. 推論2と事実16から、推論3: "この十世紀後半は打数だ"が導かれる
4. 事実14と事実2から、推論4: "「この十世紀後半は思い知らすということはない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この十世紀後半は打数だけれどそれは思い知らさない"が導かれる
6. 推論5から、推論6: "何らかのものは打数であるけれど思い知らさない"が導かれる
7. 推論6と事実9から、推論7: "あの雛は後根である"が導かれる
8. 事実7から、推論8: "もしもあの雛は後根であるなら「それは脱する」ということは事実だ"が導かれる
9. 推論7と推論8から、仮説が否定される

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