その健診は歓迎すらない
fact1: 仮に「あの一領域が寒ーいということはないしその上それは書き難くない」ということは成り立たないとしたらこのバックラインは根深くない fact2: 「「書き難くない」ということは成り立つ」物はある fact3: このＲイングが崩れ易いならばその大同小異は根深い fact4: 仮にその大同小異が根深いとしたら横取りする fact5: デザインルールは合わせ易いがしかし厳めしかない fact6: 仮になにかは戦備でないならば「それは寒ーくないし書き難くない」ということは成り立たない fact7: 仮に「あの一領域は崩れ易くないが根深い」ということは偽だとすれば「それは戦備でない」ということは成り立つ fact8: この此度は歓迎すとすると「あの一領域は横取りするけどそれは崩れ易くない」ということは嘘だ fact9: 「寒ーいし書き難い」物はある fact10: もし「あの一領域は凛々しさでなくてそれにそれは面映ゆかない」ということは成り立たないとすればこの此度は寒ーい fact11: 仮に「この此度は厳めしくらないが合わせ易い」ということは成り立つということはないならそれは書き難くない fact12: 「あの一領域は凛々しさであるということはないけれどそれは面映ゆい」ということは真実でない fact13: 「あの一領域は凛々しさでないしさらに面映ゆかない」ということは成り立たない fact14: もし寒ーいものが書き難くないとしたらその大変化は戦備でない fact15: もし仮に「なにがしかのものは横取りするがしかし崩れ易くない」ということは誤っているなら「それは戦備でない」ということは本当である fact16: もしもあの一領域が面映ゆいならばこの此度は寒ーい fact17: もしもこの此度が合わせ易くないならば書き難くない fact18: もしその大同小異が横取りするとするとその健診は歓迎す fact19: 「寒ーい」物はある fact20: 合わせ易い物が厳めしかないならば歓迎す fact21: 「この此度は厳めしくらないけれどそれは合わせ易い」ということは成り立たない fact22: 仮にその大変化が戦備だということはないならこのＲイングは崩れ易い
fact10 & fact13 -> int1: この此度は寒ーい; fact21 & fact11 -> int2: この此度は書き難くない; int1 & int2 -> int3: この此度は寒ーいが書き難くない; int3 -> int4: 寒ーいしさらに書き難くないものはある; int4 & fact14 -> int5: その大変化は戦備でない; int5 & fact22 -> int6: このＲイングは崩れ易い; int6 & fact3 -> int7: その大同小異は根深い; int7 & fact4 -> int8: その大同小異は横取りする; int8 & fact18 -> hypothesis;
その健診は歓迎すらない
$facts$ = fact1: 仮に「あの一領域が寒ーいということはないしその上それは書き難くない」ということは成り立たないとしたらこのバックラインは根深くない fact2: 「「書き難くない」ということは成り立つ」物はある fact3: このＲイングが崩れ易いならばその大同小異は根深い fact4: 仮にその大同小異が根深いとしたら横取りする fact5: デザインルールは合わせ易いがしかし厳めしかない fact6: 仮になにかは戦備でないならば「それは寒ーくないし書き難くない」ということは成り立たない fact7: 仮に「あの一領域は崩れ易くないが根深い」ということは偽だとすれば「それは戦備でない」ということは成り立つ fact8: この此度は歓迎すとすると「あの一領域は横取りするけどそれは崩れ易くない」ということは嘘だ fact9: 「寒ーいし書き難い」物はある fact10: もし「あの一領域は凛々しさでなくてそれにそれは面映ゆかない」ということは成り立たないとすればこの此度は寒ーい fact11: 仮に「この此度は厳めしくらないが合わせ易い」ということは成り立つということはないならそれは書き難くない fact12: 「あの一領域は凛々しさであるということはないけれどそれは面映ゆい」ということは真実でない fact13: 「あの一領域は凛々しさでないしさらに面映ゆかない」ということは成り立たない fact14: もし寒ーいものが書き難くないとしたらその大変化は戦備でない fact15: もし仮に「なにがしかのものは横取りするがしかし崩れ易くない」ということは誤っているなら「それは戦備でない」ということは本当である fact16: もしもあの一領域が面映ゆいならばこの此度は寒ーい fact17: もしもこの此度が合わせ易くないならば書き難くない fact18: もしその大同小異が横取りするとするとその健診は歓迎す fact19: 「寒ーい」物はある fact20: 合わせ易い物が厳めしかないならば歓迎す fact21: 「この此度は厳めしくらないけれどそれは合わせ易い」ということは成り立たない fact22: 仮にその大変化が戦備だということはないならこのＲイングは崩れ易い ; $hypothesis$ = その健診は歓迎すらない ; $proof$ = 
fact10 & fact13 -> int1: この此度は寒ーい; fact21 & fact11 -> int2: この此度は書き難くない; int1 & int2 -> int3: この此度は寒ーいが書き難くない; int3 -> int4: 寒ーいしさらに書き難くないものはある; int4 & fact14 -> int5: その大変化は戦備でない; int5 & fact22 -> int6: このＲイングは崩れ易い; int6 & fact3 -> int7: その大同小異は根深い; int7 & fact4 -> int8: その大同小異は横取りする; int8 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮に「あの一領域が寒ーいということはないしその上それは書き難くない」ということは成り立たないとしたらこのバックラインは根深くない
事実2: 「「書き難くない」ということは成り立つ」物はある
事実3: このＲイングが崩れ易いならばその大同小異は根深い
事実4: 仮にその大同小異が根深いとしたら横取りする
事実5: デザインルールは合わせ易いがしかし厳めしかない
事実6: 仮になにかは戦備でないならば「それは寒ーくないし書き難くない」ということは成り立たない
事実7: 仮に「あの一領域は崩れ易くないが根深い」ということは偽だとすれば「それは戦備でない」ということは成り立つ
事実8: この此度は歓迎すとすると「あの一領域は横取りするけどそれは崩れ易くない」ということは嘘だ
事実9: 「寒ーいし書き難い」物はある
事実10: もし「あの一領域は凛々しさでなくてそれにそれは面映ゆかない」ということは成り立たないとすればこの此度は寒ーい
事実11: 仮に「この此度は厳めしくらないが合わせ易い」ということは成り立つということはないならそれは書き難くない
事実12: 「あの一領域は凛々しさであるということはないけれどそれは面映ゆい」ということは真実でない
事実13: 「あの一領域は凛々しさでないしさらに面映ゆかない」ということは成り立たない
事実14: もし寒ーいものが書き難くないとしたらその大変化は戦備でない
事実15: もし仮に「なにがしかのものは横取りするがしかし崩れ易くない」ということは誤っているなら「それは戦備でない」ということは本当である
事実16: もしもあの一領域が面映ゆいならばこの此度は寒ーい
事実17: もしもこの此度が合わせ易くないならば書き難くない
事実18: もしその大同小異が横取りするとするとその健診は歓迎す
事実19: 「寒ーい」物はある
事実20: 合わせ易い物が厳めしかないならば歓迎す
事実21: 「この此度は厳めしくらないけれどそれは合わせ易い」ということは成り立たない
事実22: 仮にその大変化が戦備だということはないならこのＲイングは崩れ易い

仮説: その健診は歓迎すらない
1. 事実10と事実13から、推論1: "この此度は寒ーい"が導かれる
2. 事実21と事実11から、推論2: "この此度は書き難くない"が導かれる
3. 推論1と推論2から、推論3: "この此度は寒ーいが書き難くない"が導かれる
4. 推論3から、推論4: "寒ーいしさらに書き難くないものはある"が導かれる
5. 推論4と事実14から、推論5: "その大変化は戦備でない"が導かれる
6. 推論5と事実22から、推論6: "このＲイングは崩れ易い"が導かれる
7. 推論6と事実3から、推論7: "その大同小異は根深い"が導かれる
8. 推論7と事実4から、推論8: "その大同小異は横取りする"が導かれる
9. 推論8と事実18から、仮説が否定される

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