「その表現上は遣り辛いが卑しない」ということは成り立たない
fact1: もし仮にあの十数軒は筋腹でないとすると「それは面白いしおまけに遣り辛い」ということは成り立たない fact2: 間違え易いものはうかうかするかあるいはパソコン上であるということはないかまたは両方ともである fact3: あの十数軒はうかうかするかあるいは好転しないかまたは両方ともだ fact4: 仮に「とある物は細いしさらに目新しい」ということは成り立つということはないならば遣り辛くない fact5: その表現上は好転しないとすれば「あの十数軒は好転するしまたそれは遣り辛い」ということは成り立たない fact6: 「その糧秣は細くない」ということは成り立つ fact7: もしもあの十数軒がうかうかするかあるいはそれは好転しないかどちらもだとしたら好転しない fact8: もしもそのマウンテンゴリラが好転しないならばその表現上は遣り辛いけれど卑しない fact9: もしその表現上は遣り辛くないならば「「好転するしおまけにうかうかする」ということは間違いでない」ということは成り立たない fact10: 「この勾留延長はうかうかするしかつそれはプラットフォームだ」ということは嘘である fact11: もしこの臨界値は拝謁しないとしたら「それは景気であるしかつスキグル・ゲームだ」ということは成り立たない fact12: 「その表現上は細いけれど新田開発でない」ということは間違いだ fact13: もし仮に「その表現上は感染し易くない」ということは正しいなら「うかうかしない」ということは真実だ fact14: もしもそのマウンテンゴリラはうかうかしないとしたら「パソコン上であるしかつそれは好転する」ということは成り立たない fact15: もしもなにがしかのものは好転しないとすると「それは細いし目新しい」ということは成り立たない fact16: もし仮にあの十数軒は遣り辛いということはないとすれば「その表現上は遣り辛いが卑しということはない」ということは成り立たない fact17: そのレバノン政府軍は細くない fact18: もしもあの屋形舟がうかうかするかまたはパソコン上でないかもしくは両方だとするとそのマウンテンゴリラは好転しない
fact15 -> int1: もしあの十数軒は好転しないとすれば「細いしおまけに目新しい」ということは嘘である; fact7 & fact3 -> int2: あの十数軒は好転するということはない; int1 & int2 -> int3: 「あの十数軒は細くて目新しい」ということは間違っている; fact4 -> int4: 「あの十数軒は細くて目新しい」ということは誤りであるとするとそれは遣り辛くない; int3 & int4 -> int5: あの十数軒は遣り辛いということはない; int5 & fact16 -> hypothesis;
その表現上は遣り辛い一方で卑しない
fact20 -> int6: もしあの屋形舟が間違え易いとしたらうかうかするかまたはそれはパソコン上であるということはないか両方ともである;
$facts$ = fact1: もし仮にあの十数軒は筋腹でないとすると「それは面白いしおまけに遣り辛い」ということは成り立たない fact2: 間違え易いものはうかうかするかあるいはパソコン上であるということはないかまたは両方ともである fact3: あの十数軒はうかうかするかあるいは好転しないかまたは両方ともだ fact4: 仮に「とある物は細いしさらに目新しい」ということは成り立つということはないならば遣り辛くない fact5: その表現上は好転しないとすれば「あの十数軒は好転するしまたそれは遣り辛い」ということは成り立たない fact6: 「その糧秣は細くない」ということは成り立つ fact7: もしもあの十数軒がうかうかするかあるいはそれは好転しないかどちらもだとしたら好転しない fact8: もしもそのマウンテンゴリラが好転しないならばその表現上は遣り辛いけれど卑しない fact9: もしその表現上は遣り辛くないならば「「好転するしおまけにうかうかする」ということは間違いでない」ということは成り立たない fact10: 「この勾留延長はうかうかするしかつそれはプラットフォームだ」ということは嘘である fact11: もしこの臨界値は拝謁しないとしたら「それは景気であるしかつスキグル・ゲームだ」ということは成り立たない fact12: 「その表現上は細いけれど新田開発でない」ということは間違いだ fact13: もし仮に「その表現上は感染し易くない」ということは正しいなら「うかうかしない」ということは真実だ fact14: もしもそのマウンテンゴリラはうかうかしないとしたら「パソコン上であるしかつそれは好転する」ということは成り立たない fact15: もしもなにがしかのものは好転しないとすると「それは細いし目新しい」ということは成り立たない fact16: もし仮にあの十数軒は遣り辛いということはないとすれば「その表現上は遣り辛いが卑しということはない」ということは成り立たない fact17: そのレバノン政府軍は細くない fact18: もしもあの屋形舟がうかうかするかまたはパソコン上でないかもしくは両方だとするとそのマウンテンゴリラは好転しない ; $hypothesis$ = 「その表現上は遣り辛いが卑しない」ということは成り立たない ; $proof$ = 
fact15 -> int1: もしあの十数軒は好転しないとすれば「細いしおまけに目新しい」ということは嘘である; fact7 & fact3 -> int2: あの十数軒は好転するということはない; int1 & int2 -> int3: 「あの十数軒は細くて目新しい」ということは間違っている; fact4 -> int4: 「あの十数軒は細くて目新しい」ということは誤りであるとするとそれは遣り辛くない; int3 & int4 -> int5: あの十数軒は遣り辛いということはない; int5 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にあの十数軒は筋腹でないとすると「それは面白いしおまけに遣り辛い」ということは成り立たない
事実2: 間違え易いものはうかうかするかあるいはパソコン上であるということはないかまたは両方ともである
事実3: あの十数軒はうかうかするかあるいは好転しないかまたは両方ともだ
事実4: 仮に「とある物は細いしさらに目新しい」ということは成り立つということはないならば遣り辛くない
事実5: その表現上は好転しないとすれば「あの十数軒は好転するしまたそれは遣り辛い」ということは成り立たない
事実6: 「その糧秣は細くない」ということは成り立つ
事実7: もしもあの十数軒がうかうかするかあるいはそれは好転しないかどちらもだとしたら好転しない
事実8: もしもそのマウンテンゴリラが好転しないならばその表現上は遣り辛いけれど卑しない
事実9: もしその表現上は遣り辛くないならば「「好転するしおまけにうかうかする」ということは間違いでない」ということは成り立たない
事実10: 「この勾留延長はうかうかするしかつそれはプラットフォームだ」ということは嘘である
事実11: もしこの臨界値は拝謁しないとしたら「それは景気であるしかつスキグル・ゲームだ」ということは成り立たない
事実12: 「その表現上は細いけれど新田開発でない」ということは間違いだ
事実13: もし仮に「その表現上は感染し易くない」ということは正しいなら「うかうかしない」ということは真実だ
事実14: もしもそのマウンテンゴリラはうかうかしないとしたら「パソコン上であるしかつそれは好転する」ということは成り立たない
事実15: もしもなにがしかのものは好転しないとすると「それは細いし目新しい」ということは成り立たない
事実16: もし仮にあの十数軒は遣り辛いということはないとすれば「その表現上は遣り辛いが卑しということはない」ということは成り立たない
事実17: そのレバノン政府軍は細くない
事実18: もしもあの屋形舟がうかうかするかまたはパソコン上でないかもしくは両方だとするとそのマウンテンゴリラは好転しない

仮説: 「その表現上は遣り辛いが卑しない」ということは成り立たない
1. 事実15から、推論1: "もしあの十数軒は好転しないとすれば「細いしおまけに目新しい」ということは嘘である"が導かれる
2. 事実7と事実3から、推論2: "あの十数軒は好転するということはない"が導かれる
3. 推論1と推論2から、推論3: "「あの十数軒は細くて目新しい」ということは間違っている"が導かれる
4. 事実4から、推論4: "「あの十数軒は細くて目新しい」ということは誤りであるとするとそれは遣り辛くない"が導かれる
5. 推論3と推論4から、推論5: "あの十数軒は遣り辛いということはない"が導かれる
6. 推論5と事実16から、仮説が導かれる

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