あの昇順は軟らかい
fact1: 仮にあの女郎衆が放射阻止能でないがしかしそれが去り状ならそのクラシック環境は握り部分でない fact2: そのポリゴンメッシュは装う fact3: あの女郎衆は放射阻止能でないけれどそれは去り状だ fact4: もし仮にそのポリゴンメッシュが装うし更にそれが京都らしいとすればあの昇順は御持ちに成るということはない fact5: そのクラシック環境は京都らしい fact6: 好まし物は軟らかくない fact7: もし賃貸契約書が御持ちに成らないならば軟らかい fact8: もしも「なにがしかのものは長ーくないがしかしそれは好まし」ということは偽ならば賃貸契約書だ fact9: もし「とあるものは好ましないがしかし長ーい」ということは誤っているとすれば「好まし」ということは本当だ fact10: そのポリゴンメッシュは京都らしい fact11: もしそのクラシック環境は好ましないとしたら「あの昇順は長ーくないがしかし好まし」ということは成り立たない fact12: 仮にそのクラシック環境が握り部分でないとすればそれは好ましない fact13: そのポリゴンメッシュは好ましけれど徒渉しない fact14: あの女郎衆が好ましとすればあの昇順は好まし
fact1 & fact3 -> int1: そのクラシック環境は握り部分でない; int1 & fact12 -> int2: そのクラシック環境は好ましない; int2 & fact11 -> int3: 「あの昇順は長ーくない一方で好まし」ということは成り立たない; fact8 -> int4: 仮に「あの昇順は長ーくない一方で好まし」ということは間違いだとするとそれは賃貸契約書である; int3 & int4 -> int5: あの昇順は賃貸契約書である; fact10 & fact2 -> int6: そのポリゴンメッシュは装うししかもそれは京都らしい; fact4 & int6 -> int7: あの昇順は御持ちに成らない; int5 & int7 -> int8: あの昇順は賃貸契約書である一方で御持ちに成らない; fact7 -> int9: もし仮にあの昇順が賃貸契約書である一方で御持ちに成らないとすれば軟らかい; int8 & int9 -> hypothesis;
あの昇順は軟らかくない
fact17 -> int10: もし仮にあの昇順が好ましならそれは軟らかいということはない; fact15 -> int11: もしも「あの女郎衆は好ましないけれど長ーい」ということは成り立たないとすれば「好まし」ということは事実である;
$facts$ = fact1: 仮にあの女郎衆が放射阻止能でないがしかしそれが去り状ならそのクラシック環境は握り部分でない fact2: そのポリゴンメッシュは装う fact3: あの女郎衆は放射阻止能でないけれどそれは去り状だ fact4: もし仮にそのポリゴンメッシュが装うし更にそれが京都らしいとすればあの昇順は御持ちに成るということはない fact5: そのクラシック環境は京都らしい fact6: 好まし物は軟らかくない fact7: もし賃貸契約書が御持ちに成らないならば軟らかい fact8: もしも「なにがしかのものは長ーくないがしかしそれは好まし」ということは偽ならば賃貸契約書だ fact9: もし「とあるものは好ましないがしかし長ーい」ということは誤っているとすれば「好まし」ということは本当だ fact10: そのポリゴンメッシュは京都らしい fact11: もしそのクラシック環境は好ましないとしたら「あの昇順は長ーくないがしかし好まし」ということは成り立たない fact12: 仮にそのクラシック環境が握り部分でないとすればそれは好ましない fact13: そのポリゴンメッシュは好ましけれど徒渉しない fact14: あの女郎衆が好ましとすればあの昇順は好まし ; $hypothesis$ = あの昇順は軟らかい ; $proof$ = 
fact1 & fact3 -> int1: そのクラシック環境は握り部分でない; int1 & fact12 -> int2: そのクラシック環境は好ましない; int2 & fact11 -> int3: 「あの昇順は長ーくない一方で好まし」ということは成り立たない; fact8 -> int4: 仮に「あの昇順は長ーくない一方で好まし」ということは間違いだとするとそれは賃貸契約書である; int3 & int4 -> int5: あの昇順は賃貸契約書である; fact10 & fact2 -> int6: そのポリゴンメッシュは装うししかもそれは京都らしい; fact4 & int6 -> int7: あの昇順は御持ちに成らない; int5 & int7 -> int8: あの昇順は賃貸契約書である一方で御持ちに成らない; fact7 -> int9: もし仮にあの昇順が賃貸契約書である一方で御持ちに成らないとすれば軟らかい; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮にあの女郎衆が放射阻止能でないがしかしそれが去り状ならそのクラシック環境は握り部分でない
事実2: そのポリゴンメッシュは装う
事実3: あの女郎衆は放射阻止能でないけれどそれは去り状だ
事実4: もし仮にそのポリゴンメッシュが装うし更にそれが京都らしいとすればあの昇順は御持ちに成るということはない
事実5: そのクラシック環境は京都らしい
事実6: 好まし物は軟らかくない
事実7: もし賃貸契約書が御持ちに成らないならば軟らかい
事実8: もしも「なにがしかのものは長ーくないがしかしそれは好まし」ということは偽ならば賃貸契約書だ
事実9: もし「とあるものは好ましないがしかし長ーい」ということは誤っているとすれば「好まし」ということは本当だ
事実10: そのポリゴンメッシュは京都らしい
事実11: もしそのクラシック環境は好ましないとしたら「あの昇順は長ーくないがしかし好まし」ということは成り立たない
事実12: 仮にそのクラシック環境が握り部分でないとすればそれは好ましない
事実13: そのポリゴンメッシュは好ましけれど徒渉しない
事実14: あの女郎衆が好ましとすればあの昇順は好まし

仮説: あの昇順は軟らかい
1. 事実1と事実3から、推論1: "そのクラシック環境は握り部分でない"が導かれる
2. 推論1と事実12から、推論2: "そのクラシック環境は好ましない"が導かれる
3. 推論2と事実11から、推論3: "「あの昇順は長ーくない一方で好まし」ということは成り立たない"が導かれる
4. 事実8から、推論4: "仮に「あの昇順は長ーくない一方で好まし」ということは間違いだとするとそれは賃貸契約書である"が導かれる
5. 推論3と推論4から、推論5: "あの昇順は賃貸契約書である"が導かれる
6. 事実10と事実2から、推論6: "そのポリゴンメッシュは装うししかもそれは京都らしい"が導かれる
7. 事実4と推論6から、推論7: "あの昇順は御持ちに成らない"が導かれる
8. 推論5と推論7から、推論8: "あの昇順は賃貸契約書である一方で御持ちに成らない"が導かれる
9. 事実7から、推論9: "もし仮にあの昇順が賃貸契約書である一方で御持ちに成らないとすれば軟らかい"が導かれる
10. 推論8と推論9から、仮説が導かれる

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