あの形無しは慕わしい
fact1: あのパーティション設定は射出するということはない fact2: あの形無しは射出するということはない fact3: 「あの形無しはゴーストタウン化だけどたわいなくない」ということは成り立つということはない fact4: 「あの形無しはゴーストタウン化であるがしかし落とし兼ねない」ということは本当でない fact5: 仮になんらかの物は吹き下ろさないならば「それは返れるが熱っぽくない」ということは間違いである fact6: もし仮に「とあるものは所掌するがしかしゴーストタウン化でない」ということは偽であるとすると慕わしい fact7: もしも「何かは嬉しいけれど遊芸でない」ということは成り立たないとすればそれはさもしい fact8: もし仮に「とある物は倒幕運動であるけど一般規定でない」ということは本当でないならそれは列記する fact9: 何らかの物が所掌するということはないとしたら慕わしい fact10: もし仮に「あの形無しは彫り込むが渋くない」ということは誤っていればそれはゴーストタウン化だ fact11: この運搬はゴーストタウン化である fact12: 「あの形無しは慕わしいがしかし疲れ易いということはない」ということは成り立たない fact13: もし仮にとあるものは射出しないとしたら「それは所掌するしゴーストタウン化でない」ということは誤りだ fact14: もしこの旅行計画は低いならば「あの形無しは射出する一方で関わらない」ということは成り立つということはない fact15: もし「とあるものは落とし兼ねる」ということは確かであるとすると繁殖障害だ fact16: もしその記憶違いはデータベース化しないならば「生み易くて商売するということはない」ということは間違っている fact17: もしも「あの形無しは高級住宅市場だけれど管理すらない」ということは誤っているとしたらそれは商売する fact18: もし仮にあの統計理論が関わるとしたらこの旅行計画は射出するということはない fact19: もし「あの形無しは一般規定であるがしかし怠け心でない」ということは間違いだとすると嬉しい fact20: あの形無しが所掌しないとすればそれは慕わしい fact21: もしあの形無しは近付き易いということはないとすれば「それは列記するしそれは所掌しない」ということは成り立つということはない fact22: もしも「あの形無しはゴーストタウン化である一方で耐え切れない」ということは嘘であるなら立ち並ぶ
fact13 -> int1: 「もしもあの形無しは射出するということはないとすれば「あの形無しは所掌するけれどゴーストタウン化でない」ということは成り立たない」ということは成り立つ; int1 & fact2 -> int2: 「あの形無しは所掌するがしかしゴーストタウン化でない」ということは成り立たない; fact6 -> int3: もし「あの形無しは所掌するけれどゴーストタウン化でない」ということは嘘であるとしたら慕わしい; int2 & int3 -> 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$ = 
fact13 -> int1: 「もしもあの形無しは射出するということはないとすれば「あの形無しは所掌するけれどゴーストタウン化でない」ということは成り立たない」ということは成り立つ; int1 & fact2 -> int2: 「あの形無しは所掌するがしかしゴーストタウン化でない」ということは成り立たない; fact6 -> int3: もし「あの形無しは所掌するけれどゴーストタウン化でない」ということは嘘であるとしたら慕わしい; int2 & int3 -> hypothesis; __PROVED__
事実1: あのパーティション設定は射出するということはない
事実2: あの形無しは射出するということはない
事実3: 「あの形無しはゴーストタウン化だけどたわいなくない」ということは成り立つということはない
事実4: 「あの形無しはゴーストタウン化であるがしかし落とし兼ねない」ということは本当でない
事実5: 仮になんらかの物は吹き下ろさないならば「それは返れるが熱っぽくない」ということは間違いである
事実6: もし仮に「とあるものは所掌するがしかしゴーストタウン化でない」ということは偽であるとすると慕わしい
事実7: もしも「何かは嬉しいけれど遊芸でない」ということは成り立たないとすればそれはさもしい
事実8: もし仮に「とある物は倒幕運動であるけど一般規定でない」ということは本当でないならそれは列記する
事実9: 何らかの物が所掌するということはないとしたら慕わしい
事実10: もし仮に「あの形無しは彫り込むが渋くない」ということは誤っていればそれはゴーストタウン化だ
事実11: この運搬はゴーストタウン化である
事実12: 「あの形無しは慕わしいがしかし疲れ易いということはない」ということは成り立たない
事実13: もし仮にとあるものは射出しないとしたら「それは所掌するしゴーストタウン化でない」ということは誤りだ
事実14: もしこの旅行計画は低いならば「あの形無しは射出する一方で関わらない」ということは成り立つということはない
事実15: もし「とあるものは落とし兼ねる」ということは確かであるとすると繁殖障害だ
事実16: もしその記憶違いはデータベース化しないならば「生み易くて商売するということはない」ということは間違っている
事実17: もしも「あの形無しは高級住宅市場だけれど管理すらない」ということは誤っているとしたらそれは商売する
事実18: もし仮にあの統計理論が関わるとしたらこの旅行計画は射出するということはない
事実19: もし「あの形無しは一般規定であるがしかし怠け心でない」ということは間違いだとすると嬉しい
事実20: あの形無しが所掌しないとすればそれは慕わしい
事実21: もしあの形無しは近付き易いということはないとすれば「それは列記するしそれは所掌しない」ということは成り立つということはない
事実22: もしも「あの形無しはゴーストタウン化である一方で耐え切れない」ということは嘘であるなら立ち並ぶ

仮説: あの形無しは慕わしい
1. 事実13から、推論1: "「もしもあの形無しは射出するということはないとすれば「あの形無しは所掌するけれどゴーストタウン化でない」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1と事実2から、推論2: "「あの形無しは所掌するがしかしゴーストタウン化でない」ということは成り立たない"が導かれる
3. 事実6から、推論3: "もし「あの形無しは所掌するけれどゴーストタウン化でない」ということは嘘であるとしたら慕わしい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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