その反発力は付け易くない
fact1: 「あの二両編成は憎くないかあるいは原因事実でないかもしくは両方である」ということは真実だ fact2: 仮にその十五分後が憎いし更にトルコ料理であるとしたらあの頸髄損傷はトルコ料理でない fact3: 仮になんらかの物は原因事実であるということはないならば出易くない fact4: 広ーい物は憎い fact5: その値上げは来辛い fact6: あの二両編成は確定すということはないかまたは原因事実であるかあるいは両方である fact7: もしその十五分後は憎くないならば「その値上げはトルコ料理でないかもしくは憎くないかまたは両方ともだ」ということは成り立つということはない fact8: もし「その値上げはトルコ料理でないかもしくは憎いかまたは両方ともである」ということは偽であるとすればその反発力は広ーい fact9: その反発力は広ーいし加えて盛り立てるとすればそれは付け易くない fact10: もしなにがしかの物は確定すらないかあるいは原因事実でないか両方ともだとしたらそれは出易くない fact11: 仮にあの二両編成が出易くないとしたらその十五分後は憎くない fact12: 仮にあの二両編成は原因事実でないとすると出易いということはない fact13: その反発力は盛り立てる fact14: その値上げは憎い fact15: もしその十五分後が出易くないならその反発力は憎くてまた付け易い fact16: もしもその十五分後が憎くないとすればその値上げは憎い fact17: あの二両編成は確定すらないか原因事実でないかもしくはどちらもである fact18: その値上げが来辛くてまた開示すならばあの十五分後は来辛くない fact19: もしもあの二両編成が広ーくないならその反発力は原因事実でない fact20: 来辛いということはないものはトルコ料理であるし更に盛り立てる fact21: 「トルコ料理は広ーくないしかつ出易いということはない」ということは確かだ fact22: 「「開示すということはなくて結び付き難くない」ということは誤っている」物はある fact23: もし仮に「その値上げはトルコ料理でないかまたは憎くないかまたはどちらもだ」ということは成り立つということはないならその反発力は広ーい
fact10 -> int1: もしあの二両編成は確定すらないか原因事実でないか両方ともだとすると出易くない; int1 & fact17 -> int2: あの二両編成は出易くない; int2 & fact11 -> int3: その十五分後は憎くない; int3 & fact7 -> int4: 「その値上げはトルコ料理でないかまたは憎くない」ということは成り立たない; int4 & fact23 -> int5: その反発力は広ーい; int5 & fact13 -> int6: その反発力は広ーいし更にそれは盛り立てる; int6 & fact9 -> hypothesis;
あの頸髄損傷はトルコ料理であるということはない
fact24 -> 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$ = 
fact10 -> int1: もしあの二両編成は確定すらないか原因事実でないか両方ともだとすると出易くない; int1 & fact17 -> int2: あの二両編成は出易くない; int2 & fact11 -> int3: その十五分後は憎くない; int3 & fact7 -> int4: 「その値上げはトルコ料理でないかまたは憎くない」ということは成り立たない; int4 & fact23 -> int5: その反発力は広ーい; int5 & fact13 -> int6: その反発力は広ーいし更にそれは盛り立てる; int6 & fact9 -> hypothesis; __PROVED__
事実1: 「あの二両編成は憎くないかあるいは原因事実でないかもしくは両方である」ということは真実だ
事実2: 仮にその十五分後が憎いし更にトルコ料理であるとしたらあの頸髄損傷はトルコ料理でない
事実3: 仮になんらかの物は原因事実であるということはないならば出易くない
事実4: 広ーい物は憎い
事実5: その値上げは来辛い
事実6: あの二両編成は確定すということはないかまたは原因事実であるかあるいは両方である
事実7: もしその十五分後は憎くないならば「その値上げはトルコ料理でないかもしくは憎くないかまたは両方ともだ」ということは成り立つということはない
事実8: もし「その値上げはトルコ料理でないかもしくは憎いかまたは両方ともである」ということは偽であるとすればその反発力は広ーい
事実9: その反発力は広ーいし加えて盛り立てるとすればそれは付け易くない
事実10: もしなにがしかの物は確定すらないかあるいは原因事実でないか両方ともだとしたらそれは出易くない
事実11: 仮にあの二両編成が出易くないとしたらその十五分後は憎くない
事実12: 仮にあの二両編成は原因事実でないとすると出易いということはない
事実13: その反発力は盛り立てる
事実14: その値上げは憎い
事実15: もしその十五分後が出易くないならその反発力は憎くてまた付け易い
事実16: もしもその十五分後が憎くないとすればその値上げは憎い
事実17: あの二両編成は確定すらないか原因事実でないかもしくはどちらもである
事実18: その値上げが来辛くてまた開示すならばあの十五分後は来辛くない
事実19: もしもあの二両編成が広ーくないならその反発力は原因事実でない
事実20: 来辛いということはないものはトルコ料理であるし更に盛り立てる
事実21: 「トルコ料理は広ーくないしかつ出易いということはない」ということは確かだ
事実22: 「「開示すということはなくて結び付き難くない」ということは誤っている」物はある
事実23: もし仮に「その値上げはトルコ料理でないかまたは憎くないかまたはどちらもだ」ということは成り立つということはないならその反発力は広ーい

仮説: その反発力は付け易くない
1. 事実10から、推論1: "もしあの二両編成は確定すらないか原因事実でないか両方ともだとすると出易くない"が導かれる
2. 推論1と事実17から、推論2: "あの二両編成は出易くない"が導かれる
3. 推論2と事実11から、推論3: "その十五分後は憎くない"が導かれる
4. 推論3と事実7から、推論4: "「その値上げはトルコ料理でないかまたは憎くない」ということは成り立たない"が導かれる
5. 推論4と事実23から、推論5: "その反発力は広ーい"が導かれる
6. 推論5と事実13から、推論6: "その反発力は広ーいし更にそれは盛り立てる"が導かれる
7. 推論6と事実9から、仮説が導かれる

よって、仮説が証明されました。