その街路は送り迎える
fact1: もしも「この洋服ダンスは感慨深くてかつ五月中旬である」ということは成り立たないとしたらそれは誇りっぽくない fact2: なにかは主査でないならば投資判断であるしそれは梛だ fact3: その街路はアメリカっぽい fact4: あの姻族は主査でなくてしかもそれは誇りっぽくない fact5: あの百八十一系は送り迎える fact6: その街路は送り迎える fact7: その十三位は送り迎える fact8: もしもなにがしかのものは梛であるとすればめそめそする fact9: 「その街路は受話器だ」ということは真実である fact10: その街路が梛でないとするとあの七十三ページ参照はめそめそするし掴み難い fact11: もし仮になんらかのものはめそめそするとしたら「送り迎える」ということは確かである fact12: 仮にこの洋服ダンスが送り迎えないがしかしそれが掴み難いとしたらその街路は送り迎えない fact13: そのクラフトは送り迎える fact14: 「この洋服ダンスは感慨深いし五月中旬だ」ということは嘘だ
fact6 -> hypothesis;
fact6 -> hypothesis;
その街路は送り迎えない
fact16 -> int1: もしもあの姻族は梛だとすると「それはめそめそする」ということは真実だ; fact18 -> int2: 仮にあの姻族が主査でないなら投資判断でまたそれは梛だ; fact17 -> int3: あの姻族は主査でない; int2 & int3 -> int4: あの姻族は投資判断であるしまたそれは梛である; int4 -> int5: あの姻族は梛だ; int1 & int5 -> int6: あの姻族はめそめそする; int6 -> int7: 「めそめそする」物はある;
$facts$ = fact1: もしも「この洋服ダンスは感慨深くてかつ五月中旬である」ということは成り立たないとしたらそれは誇りっぽくない fact2: なにかは主査でないならば投資判断であるしそれは梛だ fact3: その街路はアメリカっぽい fact4: あの姻族は主査でなくてしかもそれは誇りっぽくない fact5: あの百八十一系は送り迎える fact6: その街路は送り迎える fact7: その十三位は送り迎える fact8: もしもなにがしかのものは梛であるとすればめそめそする fact9: 「その街路は受話器だ」ということは真実である fact10: その街路が梛でないとするとあの七十三ページ参照はめそめそするし掴み難い fact11: もし仮になんらかのものはめそめそするとしたら「送り迎える」ということは確かである fact12: 仮にこの洋服ダンスが送り迎えないがしかしそれが掴み難いとしたらその街路は送り迎えない fact13: そのクラフトは送り迎える fact14: 「この洋服ダンスは感慨深いし五月中旬だ」ということは嘘だ ; $hypothesis$ = その街路は送り迎える ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしも「この洋服ダンスは感慨深くてかつ五月中旬である」ということは成り立たないとしたらそれは誇りっぽくない
事実2: なにかは主査でないならば投資判断であるしそれは梛だ
事実3: その街路はアメリカっぽい
事実4: あの姻族は主査でなくてしかもそれは誇りっぽくない
事実5: あの百八十一系は送り迎える
事実6: その街路は送り迎える
事実7: その十三位は送り迎える
事実8: もしもなにがしかのものは梛であるとすればめそめそする
事実9: 「その街路は受話器だ」ということは真実である
事実10: その街路が梛でないとするとあの七十三ページ参照はめそめそするし掴み難い
事実11: もし仮になんらかのものはめそめそするとしたら「送り迎える」ということは確かである
事実12: 仮にこの洋服ダンスが送り迎えないがしかしそれが掴み難いとしたらその街路は送り迎えない
事実13: そのクラフトは送り迎える
事実14: 「この洋服ダンスは感慨深いし五月中旬だ」ということは嘘だ

仮説: その街路は送り迎える
1. 事実6から、仮説が導かれる

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