あの真っ二つは見過ごし難いということはない
fact1: もしも何らかのものが御教え下さるとすればそれは見過ごし難い fact2: このリンス液は素っ気ない fact3: このリンス液は猜疑しないとしたら「それは御教え下さらない」ということは真実だ fact4: このリンス液は猜疑しない fact5: もしある物はテート・ギャラリー・アーカイブでないなら「それは姦しくないし生活し易い」ということは間違っている fact6: このリンス液は御教え下さらない fact7: もしこのリンス液が立ち得るならテート・ギャラリー・アーカイブでなくて更に生活し易くない fact8: なにがしかの物が有るらしいとしたら見過ごし難い fact9: もしも何らかのものが猜疑するとしたら有るらしくないしかつ見過ごし難いということはない fact10: もし仮にこのリンス液が猜疑しないならばそれは想起出来なくて御教え下さるということはない fact11: もしなにかはテート・ギャラリー・アーカイブでなくて生活し易くないならステンドグラスでない fact12: この光センサーはテート・ギャラリー・アーカイブでない fact13: もしこのリンス液が想起出来るということはないけどそれは御教え下さるとすれば「あの真っ二つは有るらしい」ということは正しい fact14: 仮にこのベージュがステンドグラスでないとすればこのリンス液は妊娠前であるしそれは猜疑する fact15: 仮にこのリンス液が想起出来ないし更にそれが御教え下さらないとしたらあの真っ二つは有るらしい fact16: もし仮になんらかのものはステンドグラスであるということはないなら「姦しくないしその上妊娠前でない」ということは間違っている fact17: 仮になんらかの物は見過ごし難くないかもしくは猜疑するかまたは両方ともであるならば「見過ごし難くない」ということは成り立つ fact18: もしも「このリンス液は素っ気ない」ということは本当だとすれば「立ち得る」ということは間違いでない fact19: もし仮に「なにかは姦しくないし妊娠前でない」ということは成り立たないならばそれは妊娠前だ fact20: このリンス液は見過ごし難くない
fact10 & fact4 -> int1: このリンス液は想起出来なくてしかも御教え下さらない; int1 & fact15 -> int2: あの真っ二つは有るらしい; fact8 -> int3: もしもあの真っ二つが有るらしいならばそれは見過ごし難い; int2 & int3 -> hypothesis;
あの真っ二つは見過ごし難くない
fact25 -> int4: もしもあの真っ二つが見過ごし難くないかあるいはそれは猜疑するかあるいはどちらもであるとしたらそれは見過ごし難くない; fact22 -> int5: 仮に「「このリンス液は姦しくないししかもそれは妊娠前でない」ということは偽だ」ということは成り立つなら妊娠前である; fact26 -> int6: 仮にこのリンス液はステンドグラスでないならば「それは姦しくないし妊娠前でない」ということは間違いだ; fact24 -> int7: このリンス液はテート・ギャラリー・アーカイブでなくて生活し易くないならばステンドグラスであるということはない; fact27 & fact21 -> int8: このリンス液は立ち得る; fact23 & int8 -> int9: このリンス液はテート・ギャラリー・アーカイブでないしまた生活し易くない; int7 & int9 -> int10: このリンス液はステンドグラスでない; int6 & int10 -> int11: 「このリンス液は姦しくなくて更に妊娠前でない」ということは誤りである; int5 & int11 -> int12: このリンス液は妊娠前である; int12 -> int13: このリンス液は妊娠前であるかもしくは有るらしいかあるいは両方ともだ; int13 -> int14: なんらかのものは妊娠前であるかあるいは有るらしい;
$facts$ = fact1: もしも何らかのものが御教え下さるとすればそれは見過ごし難い fact2: このリンス液は素っ気ない fact3: このリンス液は猜疑しないとしたら「それは御教え下さらない」ということは真実だ fact4: このリンス液は猜疑しない fact5: もしある物はテート・ギャラリー・アーカイブでないなら「それは姦しくないし生活し易い」ということは間違っている fact6: このリンス液は御教え下さらない fact7: もしこのリンス液が立ち得るならテート・ギャラリー・アーカイブでなくて更に生活し易くない fact8: なにがしかの物が有るらしいとしたら見過ごし難い fact9: もしも何らかのものが猜疑するとしたら有るらしくないしかつ見過ごし難いということはない fact10: もし仮にこのリンス液が猜疑しないならばそれは想起出来なくて御教え下さるということはない fact11: もしなにかはテート・ギャラリー・アーカイブでなくて生活し易くないならステンドグラスでない fact12: この光センサーはテート・ギャラリー・アーカイブでない fact13: もしこのリンス液が想起出来るということはないけどそれは御教え下さるとすれば「あの真っ二つは有るらしい」ということは正しい fact14: 仮にこのベージュがステンドグラスでないとすればこのリンス液は妊娠前であるしそれは猜疑する fact15: 仮にこのリンス液が想起出来ないし更にそれが御教え下さらないとしたらあの真っ二つは有るらしい fact16: もし仮になんらかのものはステンドグラスであるということはないなら「姦しくないしその上妊娠前でない」ということは間違っている fact17: 仮になんらかの物は見過ごし難くないかもしくは猜疑するかまたは両方ともであるならば「見過ごし難くない」ということは成り立つ fact18: もしも「このリンス液は素っ気ない」ということは本当だとすれば「立ち得る」ということは間違いでない fact19: もし仮に「なにかは姦しくないし妊娠前でない」ということは成り立たないならばそれは妊娠前だ fact20: このリンス液は見過ごし難くない ; $hypothesis$ = あの真っ二つは見過ごし難いということはない ; $proof$ = 
fact10 & fact4 -> int1: このリンス液は想起出来なくてしかも御教え下さらない; int1 & fact15 -> int2: あの真っ二つは有るらしい; fact8 -> int3: もしもあの真っ二つが有るらしいならばそれは見過ごし難い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものが御教え下さるとすればそれは見過ごし難い
事実2: このリンス液は素っ気ない
事実3: このリンス液は猜疑しないとしたら「それは御教え下さらない」ということは真実だ
事実4: このリンス液は猜疑しない
事実5: もしある物はテート・ギャラリー・アーカイブでないなら「それは姦しくないし生活し易い」ということは間違っている
事実6: このリンス液は御教え下さらない
事実7: もしこのリンス液が立ち得るならテート・ギャラリー・アーカイブでなくて更に生活し易くない
事実8: なにがしかの物が有るらしいとしたら見過ごし難い
事実9: もしも何らかのものが猜疑するとしたら有るらしくないしかつ見過ごし難いということはない
事実10: もし仮にこのリンス液が猜疑しないならばそれは想起出来なくて御教え下さるということはない
事実11: もしなにかはテート・ギャラリー・アーカイブでなくて生活し易くないならステンドグラスでない
事実12: この光センサーはテート・ギャラリー・アーカイブでない
事実13: もしこのリンス液が想起出来るということはないけどそれは御教え下さるとすれば「あの真っ二つは有るらしい」ということは正しい
事実14: 仮にこのベージュがステンドグラスでないとすればこのリンス液は妊娠前であるしそれは猜疑する
事実15: 仮にこのリンス液が想起出来ないし更にそれが御教え下さらないとしたらあの真っ二つは有るらしい
事実16: もし仮になんらかのものはステンドグラスであるということはないなら「姦しくないしその上妊娠前でない」ということは間違っている
事実17: 仮になんらかの物は見過ごし難くないかもしくは猜疑するかまたは両方ともであるならば「見過ごし難くない」ということは成り立つ
事実18: もしも「このリンス液は素っ気ない」ということは本当だとすれば「立ち得る」ということは間違いでない
事実19: もし仮に「なにかは姦しくないし妊娠前でない」ということは成り立たないならばそれは妊娠前だ
事実20: このリンス液は見過ごし難くない

仮説: あの真っ二つは見過ごし難いということはない
1. 事実10と事実4から、推論1: "このリンス液は想起出来なくてしかも御教え下さらない"が導かれる
2. 推論1と事実15から、推論2: "あの真っ二つは有るらしい"が導かれる
3. 事実8から、推論3: "もしもあの真っ二つが有るらしいならばそれは見過ごし難い"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。