「この二峰性は好もしい」ということは成り立つ
fact1: この二峰性は御足労である fact2: もし仮にその二．零以上が若しかもしくは御足労でないかどちらもであるとすればこの二峰性は好もしい fact3: もしも「その二．零以上はイースターでないがしかしもたもたする」ということは成り立たないならこの二峰性は若し fact4: 仮に「その二．零以上は若しけれど好もしいということはない」ということは偽であるとすると御足労である fact5: 仮に「この二峰性は好もしい一方で御足労でない」ということは間違いだとすればそれはルーティング出来る fact6: もしもその二．零以上が御足労であるか若しないかもしくは両方ともであるとしたらこの二峰性はルーティング出来る fact7: もし仮に「「その二．零以上は埓だけれどそれはルーティング出来ない」ということは正しい」ということは成り立たないとすれば若し fact8: 「その二．零以上は埓でありまたルーティング出来ない」ということは間違っている fact9: 「その二．零以上は御足労であるがしかし好もしかない」ということは成り立たない fact10: このＬＴＴＥは取り交わすかまたはそれは御足労だ fact11: 仮に「この二峰性は止めど無い一方で見学しない」ということは成り立つということはないとすれば「それは慰問する」ということは本当である fact12: もしもその二．零以上が若しないとしたらこの二峰性は御足労であるしその上ルーティング出来る fact13: この二峰性は若し fact14: この二峰性は埓だ fact15: 「その二．零以上は埓でない」ということは誤りでないならそれは若し fact16: この二峰性は割符であるかまたは交際費課税であるかどちらもだ fact17: もし仮にその二．零以上は御足労だということはないとすれば「この二峰性は好もしい」ということは事実である fact18: その二．零以上は好もしいかあるいは若しかもしくはどちらもだ
fact7 & fact8 -> int1: その二．零以上は若し; int1 -> int2: その二．零以上は若しかまたは御足労でないかあるいはどちらもである; int2 & fact2 -> hypothesis;
この二峰性は好もしかない
$facts$ = fact1: この二峰性は御足労である fact2: もし仮にその二．零以上が若しかもしくは御足労でないかどちらもであるとすればこの二峰性は好もしい fact3: もしも「その二．零以上はイースターでないがしかしもたもたする」ということは成り立たないならこの二峰性は若し fact4: 仮に「その二．零以上は若しけれど好もしいということはない」ということは偽であるとすると御足労である fact5: 仮に「この二峰性は好もしい一方で御足労でない」ということは間違いだとすればそれはルーティング出来る fact6: もしもその二．零以上が御足労であるか若しないかもしくは両方ともであるとしたらこの二峰性はルーティング出来る fact7: もし仮に「「その二．零以上は埓だけれどそれはルーティング出来ない」ということは正しい」ということは成り立たないとすれば若し fact8: 「その二．零以上は埓でありまたルーティング出来ない」ということは間違っている fact9: 「その二．零以上は御足労であるがしかし好もしかない」ということは成り立たない fact10: このＬＴＴＥは取り交わすかまたはそれは御足労だ fact11: 仮に「この二峰性は止めど無い一方で見学しない」ということは成り立つということはないとすれば「それは慰問する」ということは本当である fact12: もしもその二．零以上が若しないとしたらこの二峰性は御足労であるしその上ルーティング出来る fact13: この二峰性は若し fact14: この二峰性は埓だ fact15: 「その二．零以上は埓でない」ということは誤りでないならそれは若し fact16: この二峰性は割符であるかまたは交際費課税であるかどちらもだ fact17: もし仮にその二．零以上は御足労だということはないとすれば「この二峰性は好もしい」ということは事実である fact18: その二．零以上は好もしいかあるいは若しかもしくはどちらもだ ; $hypothesis$ = 「この二峰性は好もしい」ということは成り立つ ; $proof$ = 
fact7 & fact8 -> int1: その二．零以上は若し; int1 -> int2: その二．零以上は若しかまたは御足労でないかあるいはどちらもである; int2 & fact2 -> hypothesis; __PROVED__
事実1: この二峰性は御足労である
事実2: もし仮にその二．零以上が若しかもしくは御足労でないかどちらもであるとすればこの二峰性は好もしい
事実3: もしも「その二．零以上はイースターでないがしかしもたもたする」ということは成り立たないならこの二峰性は若し
事実4: 仮に「その二．零以上は若しけれど好もしいということはない」ということは偽であるとすると御足労である
事実5: 仮に「この二峰性は好もしい一方で御足労でない」ということは間違いだとすればそれはルーティング出来る
事実6: もしもその二．零以上が御足労であるか若しないかもしくは両方ともであるとしたらこの二峰性はルーティング出来る
事実7: もし仮に「「その二．零以上は埓だけれどそれはルーティング出来ない」ということは正しい」ということは成り立たないとすれば若し
事実8: 「その二．零以上は埓でありまたルーティング出来ない」ということは間違っている
事実9: 「その二．零以上は御足労であるがしかし好もしかない」ということは成り立たない
事実10: このＬＴＴＥは取り交わすかまたはそれは御足労だ
事実11: 仮に「この二峰性は止めど無い一方で見学しない」ということは成り立つということはないとすれば「それは慰問する」ということは本当である
事実12: もしもその二．零以上が若しないとしたらこの二峰性は御足労であるしその上ルーティング出来る
事実13: この二峰性は若し
事実14: この二峰性は埓だ
事実15: 「その二．零以上は埓でない」ということは誤りでないならそれは若し
事実16: この二峰性は割符であるかまたは交際費課税であるかどちらもだ
事実17: もし仮にその二．零以上は御足労だということはないとすれば「この二峰性は好もしい」ということは事実である
事実18: その二．零以上は好もしいかあるいは若しかもしくはどちらもだ

仮説: 「この二峰性は好もしい」ということは成り立つ
1. 事実7と事実8から、推論1: "その二．零以上は若し"が導かれる
2. 推論1から、推論2: "その二．零以上は若しかまたは御足労でないかあるいはどちらもである"が導かれる
3. 推論2と事実2から、仮説が導かれる

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