その地域構造がライン地方ならあの信行は回りくどい
fact1: もしも「ある物は感染し易くないがしかし住み良い」ということは偽であるとしたらそれは業者間だ fact2: 仮にあの信行が好もしいとすればその地域構造は回りくどい fact3: 仮になんらかの物は力無いとすると「山積みしないがしかしふてぶてしい」ということは誤っている fact4: その開口面強度分布は回りくどい fact5: もし「「山積みしないけれどふてぶてしい」ということは誤っている」物があればその生徒心得は携行である fact6: 仮にその地域構造が回りくどいとするとあの十軒は回りくどい fact7: 仮にその地域構造が回りくどいとすればあの信行はライン地方である fact8: あの信行はライン地方である fact9: この市民社会は認識しない fact10: もし仮にあの信行がライン地方だとすればあの地域構造は回りくどい fact11: もしも「あの親子関係は達成し易いということはないが認識する」ということは成り立たないとするとそれは力無い fact12: もしも「認識するということはない」ものはあるとすれば「あの親子関係は達成し易くない一方で認識する」ということは嘘だ fact13: もし仮に「業者間である」物があるとしたらあの信行は好もしかない fact14: その地域構造が好もしいとしたらあの信行は回りくどい fact15: 仮にその地域構造がライン地方ならば好もしい fact16: もし仮にあるものは携行であるとすると「それは感染し易くないしまた住み良い」ということは誤りだ fact17: もし仮にあの信行がライン地方でないけれどそれが回りくどいとすればあの地域構造は回りくどい
void -> assump1: 以下のように仮定する。その地域構造はライン地方だ; fact15 & assump1 -> int1: その地域構造は好もしい; int1 & fact14 -> int2: あの信行は回りくどい; [assump1] & int2 -> hypothesis;
あの十軒は回りくどい
fact22 -> int3: もし「その生徒心得は感染し易くない一方で住み良い」ということは間違っていればそれは業者間である; fact19 -> int4: その生徒心得は携行であるなら「感染し易くない一方で住み良い」ということは誤っている; fact20 -> int5: もし「あの親子関係は力無い」ということは事実であるとすると「山積みしなくてしかもふてぶてしい」ということは成り立たない; fact18 -> int6: 「認識しない」物はある; int6 & fact24 -> int7: 「あの親子関係は達成し易くないがそれは認識する」ということは成り立たない; fact25 & int7 -> int8: 「あの親子関係は力無い」ということは真実である; int5 & int8 -> int9: 「あの親子関係は山積みしないがしかしそれはふてぶてしい」ということは間違いである; int9 -> int10: 「「山積みしなくておまけにふてぶてしい」ということは成り立つということはない」ものはある; int10 & fact21 -> int11: その生徒心得は携行だ; int4 & int11 -> int12: 「その生徒心得は感染し易くないがしかし住み良い」ということは真実でない; int3 & int12 -> int13: その生徒心得は業者間である; int13 -> int14: 「業者間である」ものはある; int14 & fact23 -> int15: あの信行は好もしかない;
$facts$ = fact1: もしも「ある物は感染し易くないがしかし住み良い」ということは偽であるとしたらそれは業者間だ fact2: 仮にあの信行が好もしいとすればその地域構造は回りくどい fact3: 仮になんらかの物は力無いとすると「山積みしないがしかしふてぶてしい」ということは誤っている fact4: その開口面強度分布は回りくどい fact5: もし「「山積みしないけれどふてぶてしい」ということは誤っている」物があればその生徒心得は携行である fact6: 仮にその地域構造が回りくどいとするとあの十軒は回りくどい fact7: 仮にその地域構造が回りくどいとすればあの信行はライン地方である fact8: あの信行はライン地方である fact9: この市民社会は認識しない fact10: もし仮にあの信行がライン地方だとすればあの地域構造は回りくどい fact11: もしも「あの親子関係は達成し易いということはないが認識する」ということは成り立たないとするとそれは力無い fact12: もしも「認識するということはない」ものはあるとすれば「あの親子関係は達成し易くない一方で認識する」ということは嘘だ fact13: もし仮に「業者間である」物があるとしたらあの信行は好もしかない fact14: その地域構造が好もしいとしたらあの信行は回りくどい fact15: 仮にその地域構造がライン地方ならば好もしい fact16: もし仮にあるものは携行であるとすると「それは感染し易くないしまた住み良い」ということは誤りだ fact17: もし仮にあの信行がライン地方でないけれどそれが回りくどいとすればあの地域構造は回りくどい ; $hypothesis$ = その地域構造がライン地方ならあの信行は回りくどい ; $proof$ = 
void -> assump1: 以下のように仮定する。その地域構造はライン地方だ; fact15 & assump1 -> int1: その地域構造は好もしい; int1 & fact14 -> int2: あの信行は回りくどい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしも「ある物は感染し易くないがしかし住み良い」ということは偽であるとしたらそれは業者間だ
事実2: 仮にあの信行が好もしいとすればその地域構造は回りくどい
事実3: 仮になんらかの物は力無いとすると「山積みしないがしかしふてぶてしい」ということは誤っている
事実4: その開口面強度分布は回りくどい
事実5: もし「「山積みしないけれどふてぶてしい」ということは誤っている」物があればその生徒心得は携行である
事実6: 仮にその地域構造が回りくどいとするとあの十軒は回りくどい
事実7: 仮にその地域構造が回りくどいとすればあの信行はライン地方である
事実8: あの信行はライン地方である
事実9: この市民社会は認識しない
事実10: もし仮にあの信行がライン地方だとすればあの地域構造は回りくどい
事実11: もしも「あの親子関係は達成し易いということはないが認識する」ということは成り立たないとするとそれは力無い
事実12: もしも「認識するということはない」ものはあるとすれば「あの親子関係は達成し易くない一方で認識する」ということは嘘だ
事実13: もし仮に「業者間である」物があるとしたらあの信行は好もしかない
事実14: その地域構造が好もしいとしたらあの信行は回りくどい
事実15: 仮にその地域構造がライン地方ならば好もしい
事実16: もし仮にあるものは携行であるとすると「それは感染し易くないしまた住み良い」ということは誤りだ
事実17: もし仮にあの信行がライン地方でないけれどそれが回りくどいとすればあの地域構造は回りくどい

仮説: その地域構造がライン地方ならあの信行は回りくどい
1. 仮定1: 以下のように仮定する。その地域構造はライン地方だ
2. 事実15と仮定1から、推論1: "その地域構造は好もしい"が導かれる
3. 推論1と事実14から、推論2: "あの信行は回りくどい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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