「あの精神医学は査定するが逸するということはない」ということは成り立たない
fact1: あの購買量は心安くない fact2: もし仮にあの定款変更が旨い一方で褒めそやさないならばあの購買量は理屈っぽくない fact3: 仮にあの購買量が心安くないならあの精神医学は歌い出す fact4: あの購買量が歌い出さないとしたらこの伝達関数は逸するしおまけに心安い fact5: 仮にあるものは心安いならば「それは査定する一方で逸しない」ということは間違いだ fact6: 仮にあの精神医学は査定するしおまけに心安いとしたらそれは理屈っぽくない fact7: あの精神医学は査定する fact8: とある物が歌い出すとするとそれは小売り業者である fact9: もし仮に「ある物は査定するかまたはそれは理屈っぽいかもしくは両方である」ということは確かでないとすると小売り業者でない fact10: もしなにかは小売り業者であるしそれが理屈っぽいならそれは逸しない fact11: もしあの定款変更が名乗り合わないとしたら旨いがしかし褒めそやさない fact12: 「あの精神医学は理屈っぽい」ということは成り立つ fact13: その契約違反が御通ずるということはないかまたは名乗り合わないか両方ともであるならばあの定款変更は名乗り合わない
fact3 & fact1 -> int1: あの精神医学は歌い出す; fact8 -> int2: 仮にあの精神医学が歌い出すなら小売り業者である; int1 & int2 -> int3: あの精神医学は小売り業者である; int3 & fact12 -> int4: あの精神医学は小売り業者であるし理屈っぽい; fact10 -> int5: もし仮にあの精神医学が小売り業者であるしおまけにそれが理屈っぽいとしたらそれは逸しない; int4 & int5 -> int6: あの精神医学は逸しない; int6 & fact7 -> hypothesis;
「「あの精神医学は査定するけどそれは逸しない」ということは成り立たない」ということは成り立つ
fact15 -> int7: もしもあの精神医学は心安いとしたら「査定するしその上それは逸しない」ということは偽である;
$facts$ = fact1: あの購買量は心安くない fact2: もし仮にあの定款変更が旨い一方で褒めそやさないならばあの購買量は理屈っぽくない fact3: 仮にあの購買量が心安くないならあの精神医学は歌い出す fact4: あの購買量が歌い出さないとしたらこの伝達関数は逸するしおまけに心安い fact5: 仮にあるものは心安いならば「それは査定する一方で逸しない」ということは間違いだ fact6: 仮にあの精神医学は査定するしおまけに心安いとしたらそれは理屈っぽくない fact7: あの精神医学は査定する fact8: とある物が歌い出すとするとそれは小売り業者である fact9: もし仮に「ある物は査定するかまたはそれは理屈っぽいかもしくは両方である」ということは確かでないとすると小売り業者でない fact10: もしなにかは小売り業者であるしそれが理屈っぽいならそれは逸しない fact11: もしあの定款変更が名乗り合わないとしたら旨いがしかし褒めそやさない fact12: 「あの精神医学は理屈っぽい」ということは成り立つ fact13: その契約違反が御通ずるということはないかまたは名乗り合わないか両方ともであるならばあの定款変更は名乗り合わない ; $hypothesis$ = 「あの精神医学は査定するが逸するということはない」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> int1: あの精神医学は歌い出す; fact8 -> int2: 仮にあの精神医学が歌い出すなら小売り業者である; int1 & int2 -> int3: あの精神医学は小売り業者である; int3 & fact12 -> int4: あの精神医学は小売り業者であるし理屈っぽい; fact10 -> int5: もし仮にあの精神医学が小売り業者であるしおまけにそれが理屈っぽいとしたらそれは逸しない; int4 & int5 -> int6: あの精神医学は逸しない; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: あの購買量は心安くない
事実2: もし仮にあの定款変更が旨い一方で褒めそやさないならばあの購買量は理屈っぽくない
事実3: 仮にあの購買量が心安くないならあの精神医学は歌い出す
事実4: あの購買量が歌い出さないとしたらこの伝達関数は逸するしおまけに心安い
事実5: 仮にあるものは心安いならば「それは査定する一方で逸しない」ということは間違いだ
事実6: 仮にあの精神医学は査定するしおまけに心安いとしたらそれは理屈っぽくない
事実7: あの精神医学は査定する
事実8: とある物が歌い出すとするとそれは小売り業者である
事実9: もし仮に「ある物は査定するかまたはそれは理屈っぽいかもしくは両方である」ということは確かでないとすると小売り業者でない
事実10: もしなにかは小売り業者であるしそれが理屈っぽいならそれは逸しない
事実11: もしあの定款変更が名乗り合わないとしたら旨いがしかし褒めそやさない
事実12: 「あの精神医学は理屈っぽい」ということは成り立つ
事実13: その契約違反が御通ずるということはないかまたは名乗り合わないか両方ともであるならばあの定款変更は名乗り合わない

仮説: 「あの精神医学は査定するが逸するということはない」ということは成り立たない
1. 事実3と事実1から、推論1: "あの精神医学は歌い出す"が導かれる
2. 事実8から、推論2: "仮にあの精神医学が歌い出すなら小売り業者である"が導かれる
3. 推論1と推論2から、推論3: "あの精神医学は小売り業者である"が導かれる
4. 推論3と事実12から、推論4: "あの精神医学は小売り業者であるし理屈っぽい"が導かれる
5. 事実10から、推論5: "もし仮にあの精神医学が小売り業者であるしおまけにそれが理屈っぽいとしたらそれは逸しない"が導かれる
6. 推論4と推論5から、推論6: "あの精神医学は逸しない"が導かれる
7. 推論6と事実7から、仮説が否定される

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