この合財はペースト状でない
fact1: もし仮に「「取り易いということはないかあるいは理屈っぽさでないかまたは両方ともである」ということは成り立たない」ものがあるとするとあのエングレスはインターネット端末でない fact2: 「「取り易くないかあるいは理屈っぽさだということはないかもしくはどちらもである」ということは誤っている」ものはある fact3: 「あの帰路はシュートするけれどペースト状でない」ということは嘘ならこの合財はインターネット端末であるということはない fact4: この合財は勝負出来ない一方で完熟バナナである fact5: もしある物は桂馬するなら「それはシュートするしまたそれはペースト状でない」ということは成り立たない fact6: 仮にあのエングレスがインターネット端末でないがそれがシュートするならこの合財はペースト状だ fact7: この国内問題不干渉原則はシュートする fact8: もしもその支給手続きが賢しくないとするとあの帰路は傷付き易いしそれは桂馬する fact9: あのエングレスはシュートする fact10: もしその支給手続きがタイトルらしいならそれは向かないしまた賢しくない fact11: なにかはシュートする fact12: もし仮にこの合財はインターネット端末でないならば「あのエングレスは与え難くないかもしくは認め合わないかどちらもである」ということは成り立たない
fact2 & fact1 -> int1: あのエングレスはインターネット端末でない; int1 & fact9 -> int2: あのエングレスはインターネット端末でないがシュートする; int2 & fact6 -> hypothesis;
「「与え難くないか認め合わない」ということは間違いな」ものはある
fact15 -> int3: もし仮に「あの帰路は桂馬する」ということは誤っているということはないならば「それはシュートするがしかしペースト状でない」ということは事実と異なる;
$facts$ = fact1: もし仮に「「取り易いということはないかあるいは理屈っぽさでないかまたは両方ともである」ということは成り立たない」ものがあるとするとあのエングレスはインターネット端末でない fact2: 「「取り易くないかあるいは理屈っぽさだということはないかもしくはどちらもである」ということは誤っている」ものはある fact3: 「あの帰路はシュートするけれどペースト状でない」ということは嘘ならこの合財はインターネット端末であるということはない fact4: この合財は勝負出来ない一方で完熟バナナである fact5: もしある物は桂馬するなら「それはシュートするしまたそれはペースト状でない」ということは成り立たない fact6: 仮にあのエングレスがインターネット端末でないがそれがシュートするならこの合財はペースト状だ fact7: この国内問題不干渉原則はシュートする fact8: もしもその支給手続きが賢しくないとするとあの帰路は傷付き易いしそれは桂馬する fact9: あのエングレスはシュートする fact10: もしその支給手続きがタイトルらしいならそれは向かないしまた賢しくない fact11: なにかはシュートする fact12: もし仮にこの合財はインターネット端末でないならば「あのエングレスは与え難くないかもしくは認め合わないかどちらもである」ということは成り立たない ; $hypothesis$ = この合財はペースト状でない ; $proof$ = 
fact2 & fact1 -> int1: あのエングレスはインターネット端末でない; int1 & fact9 -> int2: あのエングレスはインターネット端末でないがシュートする; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「「取り易いということはないかあるいは理屈っぽさでないかまたは両方ともである」ということは成り立たない」ものがあるとするとあのエングレスはインターネット端末でない
事実2: 「「取り易くないかあるいは理屈っぽさだということはないかもしくはどちらもである」ということは誤っている」ものはある
事実3: 「あの帰路はシュートするけれどペースト状でない」ということは嘘ならこの合財はインターネット端末であるということはない
事実4: この合財は勝負出来ない一方で完熟バナナである
事実5: もしある物は桂馬するなら「それはシュートするしまたそれはペースト状でない」ということは成り立たない
事実6: 仮にあのエングレスがインターネット端末でないがそれがシュートするならこの合財はペースト状だ
事実7: この国内問題不干渉原則はシュートする
事実8: もしもその支給手続きが賢しくないとするとあの帰路は傷付き易いしそれは桂馬する
事実9: あのエングレスはシュートする
事実10: もしその支給手続きがタイトルらしいならそれは向かないしまた賢しくない
事実11: なにかはシュートする
事実12: もし仮にこの合財はインターネット端末でないならば「あのエングレスは与え難くないかもしくは認め合わないかどちらもである」ということは成り立たない

仮説: この合財はペースト状でない
1. 事実2と事実1から、推論1: "あのエングレスはインターネット端末でない"が導かれる
2. 推論1と事実9から、推論2: "あのエングレスはインターネット端末でないがシュートする"が導かれる
3. 推論2と事実6から、仮説が否定される

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