この光達は痛ーいしビューポート上である
fact1: もしも「あの自由選挙は入り易いしその上手早い」ということは嘘であるとするとそれは入り易くない fact2: もしもこの書留郵便物が中長期でないならばあのプリンタ共有は怒張するしパイプだ fact3: あるものが出易いとするとこの光達は情報開示する fact4: あの自由選挙は入り易くないなら「この止め輪は受け易くないけど内科治療型である」ということは成り立たない fact5: なにがしかのものは感じ難くないなら「情報開示するしさらに出易い」ということは間違っている fact6: その基本的事項は感じ難い fact7: なにがしかのものが情報開示するなら痛ーい fact8: なにがしかの物が出易いかもしくは感じ難いならばあの光達は情報開示する fact9: その襷掛けは冗談ぽい fact10: この光達はビューポート上である fact11: 仮に「そのプリンタ共有は情報開示するし更に出易い」ということは成り立たないとすればその基本的事項は出易くない fact12: この光達はメガファームだ fact13: その基本的事項は出易くないならば「この光達は痛ーいしビューポート上である」ということは嘘だ fact14: もし仮に何らかの物がパイプならそれは感じ難くないが殻付きだ fact15: もし「「この止め輪は受け易いということはないが内科治療型である」ということは事実だ」ということは誤りであるとすればあの書留郵便物は中長期でない
fact6 -> int1: その基本的事項は出易いかあるいは感じ難いかもしくは両方ともである; int1 -> int2: 「出易いかまたは感じ難いか両方ともな」ものはある; int2 & fact8 -> int3: 「この光達は情報開示する」ということは正しい; fact7 -> int4: もしもこの光達が情報開示すれば痛ーい; int3 & int4 -> int5: 「この光達は痛ーい」ということは事実である; int5 & fact10 -> hypothesis;
「この光達は痛ーいしビューポート上だ」ということは嘘である
fact19 -> int6: もし仮にそのプリンタ共有は感じ難くないなら「情報開示するしそれに出易い」ということは嘘である; fact18 -> int7: もしもそのプリンタ共有がパイプであるとしたら感じ難くないしそれにそれは殻付きである;
$facts$ = fact1: もしも「あの自由選挙は入り易いしその上手早い」ということは嘘であるとするとそれは入り易くない fact2: もしもこの書留郵便物が中長期でないならばあのプリンタ共有は怒張するしパイプだ fact3: あるものが出易いとするとこの光達は情報開示する fact4: あの自由選挙は入り易くないなら「この止め輪は受け易くないけど内科治療型である」ということは成り立たない fact5: なにがしかのものは感じ難くないなら「情報開示するしさらに出易い」ということは間違っている fact6: その基本的事項は感じ難い fact7: なにがしかのものが情報開示するなら痛ーい fact8: なにがしかの物が出易いかもしくは感じ難いならばあの光達は情報開示する fact9: その襷掛けは冗談ぽい fact10: この光達はビューポート上である fact11: 仮に「そのプリンタ共有は情報開示するし更に出易い」ということは成り立たないとすればその基本的事項は出易くない fact12: この光達はメガファームだ fact13: その基本的事項は出易くないならば「この光達は痛ーいしビューポート上である」ということは嘘だ fact14: もし仮に何らかの物がパイプならそれは感じ難くないが殻付きだ fact15: もし「「この止め輪は受け易いということはないが内科治療型である」ということは事実だ」ということは誤りであるとすればあの書留郵便物は中長期でない ; $hypothesis$ = この光達は痛ーいしビューポート上である ; $proof$ = 
fact6 -> int1: その基本的事項は出易いかあるいは感じ難いかもしくは両方ともである; int1 -> int2: 「出易いかまたは感じ難いか両方ともな」ものはある; int2 & fact8 -> int3: 「この光達は情報開示する」ということは正しい; fact7 -> int4: もしもこの光達が情報開示すれば痛ーい; int3 & int4 -> int5: 「この光達は痛ーい」ということは事実である; int5 & fact10 -> hypothesis; __PROVED__
事実1: もしも「あの自由選挙は入り易いしその上手早い」ということは嘘であるとするとそれは入り易くない
事実2: もしもこの書留郵便物が中長期でないならばあのプリンタ共有は怒張するしパイプだ
事実3: あるものが出易いとするとこの光達は情報開示する
事実4: あの自由選挙は入り易くないなら「この止め輪は受け易くないけど内科治療型である」ということは成り立たない
事実5: なにがしかのものは感じ難くないなら「情報開示するしさらに出易い」ということは間違っている
事実6: その基本的事項は感じ難い
事実7: なにがしかのものが情報開示するなら痛ーい
事実8: なにがしかの物が出易いかもしくは感じ難いならばあの光達は情報開示する
事実9: その襷掛けは冗談ぽい
事実10: この光達はビューポート上である
事実11: 仮に「そのプリンタ共有は情報開示するし更に出易い」ということは成り立たないとすればその基本的事項は出易くない
事実12: この光達はメガファームだ
事実13: その基本的事項は出易くないならば「この光達は痛ーいしビューポート上である」ということは嘘だ
事実14: もし仮に何らかの物がパイプならそれは感じ難くないが殻付きだ
事実15: もし「「この止め輪は受け易いということはないが内科治療型である」ということは事実だ」ということは誤りであるとすればあの書留郵便物は中長期でない

仮説: この光達は痛ーいしビューポート上である
1. 事実6から、推論1: "その基本的事項は出易いかあるいは感じ難いかもしくは両方ともである"が導かれる
2. 推論1から、推論2: "「出易いかまたは感じ難いか両方ともな」ものはある"が導かれる
3. 推論2と事実8から、推論3: "「この光達は情報開示する」ということは正しい"が導かれる
4. 事実7から、推論4: "もしもこの光達が情報開示すれば痛ーい"が導かれる
5. 推論3と推論4から、推論5: "「この光達は痛ーい」ということは事実である"が導かれる
6. 推論5と事実10から、仮説が導かれる

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