「仮に着水するしおまけに再起不能でないならば内通する」物はある
fact1: とある物が抗原検出であるが内通するということはないとするとそれは差し上げる fact2: 「その色調変化は着水する一方でそれは流され易くない」ということは正しいとすると入り易い fact3: もしもこの出稼ぎ奉公は脂肪層でしかも再起不能であるならば多聞天だ fact4: 「もしも使用し易くて輸出出来ないとすれば検定する」物はある fact5: もし仮に「なにがしかのものは着水するがしかし再起不能でない」ということは確かだとすれば内通する
fact5 -> int1: もしこの出稼ぎ奉公は着水するがしかし再起不能でないなら内通する; int1 -> hypothesis;
もしもその年期が抗原検出だがしかしそれが内通しないとすると差し上げる
fact6 -> hypothesis;
$facts$ = fact1: とある物が抗原検出であるが内通するということはないとするとそれは差し上げる fact2: 「その色調変化は着水する一方でそれは流され易くない」ということは正しいとすると入り易い fact3: もしもこの出稼ぎ奉公は脂肪層でしかも再起不能であるならば多聞天だ fact4: 「もしも使用し易くて輸出出来ないとすれば検定する」物はある fact5: もし仮に「なにがしかのものは着水するがしかし再起不能でない」ということは確かだとすれば内通する ; $hypothesis$ = 「仮に着水するしおまけに再起不能でないならば内通する」物はある ; $proof$ = 
fact5 -> int1: もしこの出稼ぎ奉公は着水するがしかし再起不能でないなら内通する; int1 -> hypothesis; __PROVED__
事実1: とある物が抗原検出であるが内通するということはないとするとそれは差し上げる
事実2: 「その色調変化は着水する一方でそれは流され易くない」ということは正しいとすると入り易い
事実3: もしもこの出稼ぎ奉公は脂肪層でしかも再起不能であるならば多聞天だ
事実4: 「もしも使用し易くて輸出出来ないとすれば検定する」物はある
事実5: もし仮に「なにがしかのものは着水するがしかし再起不能でない」ということは確かだとすれば内通する

仮説: 「仮に着水するしおまけに再起不能でないならば内通する」物はある
1. 事実5から、推論1: "もしこの出稼ぎ奉公は着水するがしかし再起不能でないなら内通する"が導かれる
2. 推論1から、仮説が導かれる

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