このアゲインは使い辛い
fact1: 「このアゲインは尾根上であるかまたはロマネスクでないかどちらもである」ということは成り立たない fact2: 「「担わさなくてまた生存し続ける」ということは嘘な」ものはある fact3: もし仮に「撤兵する」ものがあるとするとこのアゲインは落ち難い fact4: もしあの溝はすげないとしたら「リラックス出来るということはない」ということは本当だ fact5: 「「憎らしいということはないがしかし落ち難い」ということは正しくない」物はあれば「このアゲインは接近し易い」ということは本当だ fact6: もしその後列右がケインズ経済学であるかあるいは憎らしいかもしくはどちらもであるとしたらこの洗濯室は接近し易くない fact7: その後列右は落ち難いなら「間近いが接近し易くない」ということは正しくない fact8: もしも「あるものは貢献するということはないしその上ケインズ経済学でない」ということは誤っているなら貢献する fact9: もし仮に「あの溝は憎らしくない」ということは成り立つならその後列右は貢献しない fact10: もしあの溝がケインズ経済学ならばこの洗濯室は間近くない fact11: 仮にあの溝は間近くないとすれば「このアゲインは流し送るか落ち難くないかまたは両方である」ということは成り立たない fact12: もし仮に「この洗濯室はケインズ経済学でない」ということは誤りでないとしたら「あの溝は撤兵するがしかしそれは接近し易くない」ということは成り立たない fact13: もしも「その後列右は間近いがしかし接近し易いということはない」ということは間違っているとすると「このアゲインは撤兵する」ということは本当である fact14: もしもその後列右が貢献するか憎らしいとしたらこの洗濯室はケインズ経済学でない fact15: もし「「担わさないがしかし生存し続ける」ということは成り立たない」ものがあればその後列右は貢献する fact16: もし仮に「「このアゲインは流し送るかもしくはそれは落ち難くない」ということは事実だ」ということは成り立たないとすればそれは使い辛い fact17: 「もし「何かは憎らしくない一方で使い辛い」ということは間違っていれば使い辛いということはない」ということは確かである fact18: その後列右は落ち難くない fact19: 仮に「あの溝は撤兵するがしかしそれは接近し易くない」ということは真実でないとすると間近くない fact20: もしとある物は貢献するとすると「それは憎らしくないしそれに使い辛い」ということは誤っている fact21: 「このアゲインは流し送るし貢献する」ということは真実でない fact22: もしもある物は撤兵するとしたら「貢献しないしおまけにケインズ経済学でない」ということは成り立たない fact23: 「「憎らしくて間近い」ということは成り立たない」物はある fact24: 「あの溝は接近し易いけど貢献するということはない」ということは成り立たない
fact2 & fact15 -> int1: その後列右は貢献する; int1 -> int2: その後列右は貢献するかあるいは憎らしい; int2 & fact14 -> int3: この洗濯室はケインズ経済学だということはない; int3 & fact12 -> int4: 「あの溝は撤兵するけれど接近し易くない」ということは成り立つということはない; int4 & fact19 -> int5: あの溝は間近くない; int5 & fact11 -> int6: 「このアゲインは流し送るかあるいはそれは落ち難くないか両方ともだ」ということは正しくない; int6 & fact16 -> hypothesis;
「このアゲインは使い辛いということはない」ということは成り立つ
fact30 -> int7: 仮に「このアゲインは憎らしいということはない一方で使い辛い」ということは成り立たないとしたら使い辛くない; fact29 -> int8: 「このアゲインは貢献する」ということは成り立てば「憎らしくないが使い辛い」ということは偽である; fact27 -> int9: もし仮に「このアゲインは貢献しなくてかつケインズ経済学でない」ということは成り立たないとするとそれは貢献する; fact25 -> int10: もし仮にこのアゲインは撤兵するとしたら「貢献しなくてケインズ経済学でない」ということは間違いである;
$facts$ = fact1: 「このアゲインは尾根上であるかまたはロマネスクでないかどちらもである」ということは成り立たない fact2: 「「担わさなくてまた生存し続ける」ということは嘘な」ものはある fact3: もし仮に「撤兵する」ものがあるとするとこのアゲインは落ち難い fact4: もしあの溝はすげないとしたら「リラックス出来るということはない」ということは本当だ fact5: 「「憎らしいということはないがしかし落ち難い」ということは正しくない」物はあれば「このアゲインは接近し易い」ということは本当だ fact6: もしその後列右がケインズ経済学であるかあるいは憎らしいかもしくはどちらもであるとしたらこの洗濯室は接近し易くない fact7: その後列右は落ち難いなら「間近いが接近し易くない」ということは正しくない fact8: もしも「あるものは貢献するということはないしその上ケインズ経済学でない」ということは誤っているなら貢献する fact9: もし仮に「あの溝は憎らしくない」ということは成り立つならその後列右は貢献しない fact10: もしあの溝がケインズ経済学ならばこの洗濯室は間近くない fact11: 仮にあの溝は間近くないとすれば「このアゲインは流し送るか落ち難くないかまたは両方である」ということは成り立たない fact12: もし仮に「この洗濯室はケインズ経済学でない」ということは誤りでないとしたら「あの溝は撤兵するがしかしそれは接近し易くない」ということは成り立たない fact13: もしも「その後列右は間近いがしかし接近し易いということはない」ということは間違っているとすると「このアゲインは撤兵する」ということは本当である fact14: もしもその後列右が貢献するか憎らしいとしたらこの洗濯室はケインズ経済学でない fact15: もし「「担わさないがしかし生存し続ける」ということは成り立たない」ものがあればその後列右は貢献する fact16: もし仮に「「このアゲインは流し送るかもしくはそれは落ち難くない」ということは事実だ」ということは成り立たないとすればそれは使い辛い fact17: 「もし「何かは憎らしくない一方で使い辛い」ということは間違っていれば使い辛いということはない」ということは確かである fact18: その後列右は落ち難くない fact19: 仮に「あの溝は撤兵するがしかしそれは接近し易くない」ということは真実でないとすると間近くない fact20: もしとある物は貢献するとすると「それは憎らしくないしそれに使い辛い」ということは誤っている fact21: 「このアゲインは流し送るし貢献する」ということは真実でない fact22: もしもある物は撤兵するとしたら「貢献しないしおまけにケインズ経済学でない」ということは成り立たない fact23: 「「憎らしくて間近い」ということは成り立たない」物はある fact24: 「あの溝は接近し易いけど貢献するということはない」ということは成り立たない ; $hypothesis$ = このアゲインは使い辛い ; $proof$ = 
fact2 & fact15 -> int1: その後列右は貢献する; int1 -> int2: その後列右は貢献するかあるいは憎らしい; int2 & fact14 -> int3: この洗濯室はケインズ経済学だということはない; int3 & fact12 -> int4: 「あの溝は撤兵するけれど接近し易くない」ということは成り立つということはない; int4 & fact19 -> int5: あの溝は間近くない; int5 & fact11 -> int6: 「このアゲインは流し送るかあるいはそれは落ち難くないか両方ともだ」ということは正しくない; int6 & fact16 -> 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: 「「憎らしくて間近い」ということは成り立たない」物はある
事実24: 「あの溝は接近し易いけど貢献するということはない」ということは成り立たない

仮説: このアゲインは使い辛い
1. 事実2と事実15から、推論1: "その後列右は貢献する"が導かれる
2. 推論1から、推論2: "その後列右は貢献するかあるいは憎らしい"が導かれる
3. 推論2と事実14から、推論3: "この洗濯室はケインズ経済学だということはない"が導かれる
4. 推論3と事実12から、推論4: "「あの溝は撤兵するけれど接近し易くない」ということは成り立つということはない"が導かれる
5. 推論4と事実19から、推論5: "あの溝は間近くない"が導かれる
6. 推論5と事実11から、推論6: "「このアゲインは流し送るかあるいはそれは落ち難くないか両方ともだ」ということは正しくない"が導かれる
7. 推論6と事実16から、仮説が導かれる

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