「もし仮に「障うないし更に遊行しない」ということは間違いであるとしたら骨っぽい」物はある
fact1: 「もし「障うないしまた遊行しない」ということは成り立てば「骨っぽい」ということは本当である」ものはある fact2: 仮に焦れったくない物は有限責任事業組合でないならば磨き始める fact3: もしもそのドラムが障うないし加えて遊行しないとすると骨っぽい fact4: 「「食すということはないしおまけに恥じ入らない」ということは成り立たないとすると身体障害者通所授産施設である」物はある fact5: もし仮に「何かは密約しないしかつ飲み尽くさない」ということは事実と異なるとすると送達する fact6: そのドラムが遊行するとするとそれは骨っぽい fact7: 仮に「あるものはリハビリでないし活動基盤であるということはない」ということは成り立たないなら「それは貧し」ということは成り立つ fact8: 「もしもちぎれ易いとすると長引く」ものはある fact9: もしもあるものが遊行するとしたら骨っぽい fact10: 仮に「とある物は障うがしかし遊行しない」ということは成り立つということはないならばそれは骨っぽい fact11: 仮に安堵し難くない物が差し伸べないとすると男の子・女の子其々だ fact12: 「「障うしそれに遊行するということはない」ということは間違っているなら「骨っぽい」ということは事実な」ものはある fact13: 「「そのドラムは障う一方で遊行しない」ということは誤っている」ということは正しいとすればそれは骨っぽい fact14: 「もしも遊行すれば骨っぽい」ものはある fact15: 仮に「この単純執行文は評価・判断しないしおまけに遊行しない」ということは偽ならば生産実績管理だ fact16: あるものが障うということはなくてそれにそれが遊行しないとすれば骨っぽい fact17: もし仮に「そのドラムはオープンする」ということは成り立てば遊行する fact18: 「もし仮に呪わしいならば成され易い」ものはある fact19: 「もしも恥じ入るなら風化する」ものはある fact20: 仮に「何らかの物は障うないししかも遊行しない」ということは間違っているとすると「それは骨っぽい」ということは真実である fact21: 「仮に「阿茶羅酢でないし加えて服従するということはない」ということは嘘だとすれば解列する」物はある
fact20 -> int1: 「そのドラムは障うということはなくて遊行するということはない」ということは誤りだとすれば骨っぽい; int1 -> hypothesis;
$facts$ = fact1: 「もし「障うないしまた遊行しない」ということは成り立てば「骨っぽい」ということは本当である」ものはある fact2: 仮に焦れったくない物は有限責任事業組合でないならば磨き始める fact3: もしもそのドラムが障うないし加えて遊行しないとすると骨っぽい fact4: 「「食すということはないしおまけに恥じ入らない」ということは成り立たないとすると身体障害者通所授産施設である」物はある fact5: もし仮に「何かは密約しないしかつ飲み尽くさない」ということは事実と異なるとすると送達する fact6: そのドラムが遊行するとするとそれは骨っぽい fact7: 仮に「あるものはリハビリでないし活動基盤であるということはない」ということは成り立たないなら「それは貧し」ということは成り立つ fact8: 「もしもちぎれ易いとすると長引く」ものはある fact9: もしもあるものが遊行するとしたら骨っぽい fact10: 仮に「とある物は障うがしかし遊行しない」ということは成り立つということはないならばそれは骨っぽい fact11: 仮に安堵し難くない物が差し伸べないとすると男の子・女の子其々だ fact12: 「「障うしそれに遊行するということはない」ということは間違っているなら「骨っぽい」ということは事実な」ものはある fact13: 「「そのドラムは障う一方で遊行しない」ということは誤っている」ということは正しいとすればそれは骨っぽい fact14: 「もしも遊行すれば骨っぽい」ものはある fact15: 仮に「この単純執行文は評価・判断しないしおまけに遊行しない」ということは偽ならば生産実績管理だ fact16: あるものが障うということはなくてそれにそれが遊行しないとすれば骨っぽい fact17: もし仮に「そのドラムはオープンする」ということは成り立てば遊行する fact18: 「もし仮に呪わしいならば成され易い」ものはある fact19: 「もしも恥じ入るなら風化する」ものはある fact20: 仮に「何らかの物は障うないししかも遊行しない」ということは間違っているとすると「それは骨っぽい」ということは真実である fact21: 「仮に「阿茶羅酢でないし加えて服従するということはない」ということは嘘だとすれば解列する」物はある ; $hypothesis$ = 「もし仮に「障うないし更に遊行しない」ということは間違いであるとしたら骨っぽい」物はある ; $proof$ = 
fact20 -> int1: 「そのドラムは障うということはなくて遊行するということはない」ということは誤りだとすれば骨っぽい; int1 -> hypothesis; __PROVED__
事実1: 「もし「障うないしまた遊行しない」ということは成り立てば「骨っぽい」ということは本当である」ものはある
事実2: 仮に焦れったくない物は有限責任事業組合でないならば磨き始める
事実3: もしもそのドラムが障うないし加えて遊行しないとすると骨っぽい
事実4: 「「食すということはないしおまけに恥じ入らない」ということは成り立たないとすると身体障害者通所授産施設である」物はある
事実5: もし仮に「何かは密約しないしかつ飲み尽くさない」ということは事実と異なるとすると送達する
事実6: そのドラムが遊行するとするとそれは骨っぽい
事実7: 仮に「あるものはリハビリでないし活動基盤であるということはない」ということは成り立たないなら「それは貧し」ということは成り立つ
事実8: 「もしもちぎれ易いとすると長引く」ものはある
事実9: もしもあるものが遊行するとしたら骨っぽい
事実10: 仮に「とある物は障うがしかし遊行しない」ということは成り立つということはないならばそれは骨っぽい
事実11: 仮に安堵し難くない物が差し伸べないとすると男の子・女の子其々だ
事実12: 「「障うしそれに遊行するということはない」ということは間違っているなら「骨っぽい」ということは事実な」ものはある
事実13: 「「そのドラムは障う一方で遊行しない」ということは誤っている」ということは正しいとすればそれは骨っぽい
事実14: 「もしも遊行すれば骨っぽい」ものはある
事実15: 仮に「この単純執行文は評価・判断しないしおまけに遊行しない」ということは偽ならば生産実績管理だ
事実16: あるものが障うということはなくてそれにそれが遊行しないとすれば骨っぽい
事実17: もし仮に「そのドラムはオープンする」ということは成り立てば遊行する
事実18: 「もし仮に呪わしいならば成され易い」ものはある
事実19: 「もしも恥じ入るなら風化する」ものはある
事実20: 仮に「何らかの物は障うないししかも遊行しない」ということは間違っているとすると「それは骨っぽい」ということは真実である
事実21: 「仮に「阿茶羅酢でないし加えて服従するということはない」ということは嘘だとすれば解列する」物はある

仮説: 「もし仮に「障うないし更に遊行しない」ということは間違いであるとしたら骨っぽい」物はある
1. 事実20から、推論1: "「そのドラムは障うということはなくて遊行するということはない」ということは誤りだとすれば骨っぽい"が導かれる
2. 推論1から、仮説が導かれる

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