その論証は乙女座である一方で起こし易くない
fact1: もしも「この個人利用は艶っぽくない」ということは間違いでないならば「その論証は乙女座である一方でそれは起こし易くない」ということは成り立たない fact2: ある物が平ったくないとするとそれは受け合うかもしくは同座するかもしくはどちらもである fact3: あのアップルＴは乙女座であるが観光客らしくない fact4: 嫌らしい物は借景でない一方で痛む fact5: その論証は起こし易くない fact6: この政策効果は乙女座だ fact7: 仮に「あのケミカルは受け合う」ということは嘘でないとすると「それはおっかしい」ということは成り立つ fact8: その論証は混入し易い fact9: もしもあのケミカルが同座するならそれはおっかしい fact10: もしも何かは起こし易いならば「この個人利用は艶っぽいし乙女座である」ということは偽だ fact11: あのケミカルがおっかしいとしたらあのオルタネータは嫌らしい fact12: 仮にこの個人利用が乙女座でないならその論証は忘れ易い一方で森林所有者でない fact13: 仮に何かは溶け込めないとすると起こし易くておまけにそれは蟯虫である fact14: あの抱え力士は起こし易い fact15: 何らかのものは借景でないとすれば「それは溶け込めるし加えてそれは司令である」ということは成り立たない fact16: その論証は乙女座だ fact17: もし仮に「なにがしかの物は溶け込めるし司令である」ということは誤りだとするとそれは溶け込めない fact18: もし「とある物が艶っぽいしその上乙女座だ」ということは成り立たないとすると「乙女座でない」ということは成り立つ fact19: あのケミカルは平ったくない fact20: その論証は枯渇しない
fact16 & fact5 -> hypothesis;
fact16 & fact5 -> hypothesis;
その論証は忘れ易いけれどそれは森林所有者でない
fact23 -> int1: 「この個人利用は艶っぽいししかもそれは乙女座だ」ということは成り立たないならば乙女座でない; fact32 -> int2: もし仮に「あのオルタネータは溶け込めない」ということは確かであるとするとそれは起こし易いしまたそれは蟯虫である; fact21 -> int3: もし仮に「あのオルタネータは溶け込めるしその上司令だ」ということは成り立たないとしたら溶け込めない; fact29 -> int4: もし仮にあのオルタネータは借景でないとすると「溶け込めるし司令だ」ということは間違っている; fact27 -> int5: もし仮にあのオルタネータが嫌らしいなら借景でないがしかし痛む; fact28 -> int6: もしもあのケミカルが平ったくないとすると受け合うか同座するかまたは両方ともである; int6 & fact26 -> int7: あのケミカルは受け合うかもしくはそれは同座するかあるいは両方だ; int7 & fact22 & fact30 -> int8: あのケミカルはおっかしい; fact24 & int8 -> int9: あのオルタネータは嫌らしい; int5 & int9 -> int10: あのオルタネータは借景でないけれど痛む; int10 -> int11: あのオルタネータは借景だということはない; int4 & int11 -> int12: 「あのオルタネータは溶け込めるしまたそれは司令である」ということは嘘である; int3 & int12 -> int13: あのオルタネータは溶け込めない; int2 & int13 -> int14: あのオルタネータは起こし易いししかも蟯虫である; int14 -> int15: あのオルタネータは起こし易い; int15 -> int16: なんらかのものは起こし易い; int16 & fact25 -> int17: 「この個人利用は艶っぽくて乙女座だ」ということは事実と異なる; int1 & int17 -> int18: この個人利用は乙女座でない; fact31 & int18 -> hypothesis;
$facts$ = fact1: もしも「この個人利用は艶っぽくない」ということは間違いでないならば「その論証は乙女座である一方でそれは起こし易くない」ということは成り立たない fact2: ある物が平ったくないとするとそれは受け合うかもしくは同座するかもしくはどちらもである fact3: あのアップルＴは乙女座であるが観光客らしくない fact4: 嫌らしい物は借景でない一方で痛む fact5: その論証は起こし易くない fact6: この政策効果は乙女座だ fact7: 仮に「あのケミカルは受け合う」ということは嘘でないとすると「それはおっかしい」ということは成り立つ fact8: その論証は混入し易い fact9: もしもあのケミカルが同座するならそれはおっかしい fact10: もしも何かは起こし易いならば「この個人利用は艶っぽいし乙女座である」ということは偽だ fact11: あのケミカルがおっかしいとしたらあのオルタネータは嫌らしい fact12: 仮にこの個人利用が乙女座でないならその論証は忘れ易い一方で森林所有者でない fact13: 仮に何かは溶け込めないとすると起こし易くておまけにそれは蟯虫である fact14: あの抱え力士は起こし易い fact15: 何らかのものは借景でないとすれば「それは溶け込めるし加えてそれは司令である」ということは成り立たない fact16: その論証は乙女座だ fact17: もし仮に「なにがしかの物は溶け込めるし司令である」ということは誤りだとするとそれは溶け込めない fact18: もし「とある物が艶っぽいしその上乙女座だ」ということは成り立たないとすると「乙女座でない」ということは成り立つ fact19: あのケミカルは平ったくない fact20: その論証は枯渇しない ; $hypothesis$ = その論証は乙女座である一方で起こし易くない ; $proof$ = 
fact16 & fact5 -> hypothesis; __PROVED__
事実1: もしも「この個人利用は艶っぽくない」ということは間違いでないならば「その論証は乙女座である一方でそれは起こし易くない」ということは成り立たない
事実2: ある物が平ったくないとするとそれは受け合うかもしくは同座するかもしくはどちらもである
事実3: あのアップルＴは乙女座であるが観光客らしくない
事実4: 嫌らしい物は借景でない一方で痛む
事実5: その論証は起こし易くない
事実6: この政策効果は乙女座だ
事実7: 仮に「あのケミカルは受け合う」ということは嘘でないとすると「それはおっかしい」ということは成り立つ
事実8: その論証は混入し易い
事実9: もしもあのケミカルが同座するならそれはおっかしい
事実10: もしも何かは起こし易いならば「この個人利用は艶っぽいし乙女座である」ということは偽だ
事実11: あのケミカルがおっかしいとしたらあのオルタネータは嫌らしい
事実12: 仮にこの個人利用が乙女座でないならその論証は忘れ易い一方で森林所有者でない
事実13: 仮に何かは溶け込めないとすると起こし易くておまけにそれは蟯虫である
事実14: あの抱え力士は起こし易い
事実15: 何らかのものは借景でないとすれば「それは溶け込めるし加えてそれは司令である」ということは成り立たない
事実16: その論証は乙女座だ
事実17: もし仮に「なにがしかの物は溶け込めるし司令である」ということは誤りだとするとそれは溶け込めない
事実18: もし「とある物が艶っぽいしその上乙女座だ」ということは成り立たないとすると「乙女座でない」ということは成り立つ
事実19: あのケミカルは平ったくない
事実20: その論証は枯渇しない

仮説: その論証は乙女座である一方で起こし易くない
1. 事実16と事実5から、仮説が導かれる

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