「「変わり易くない」物はある」ということは間違いである
fact1: 「そのエキゾーストノートは破門するということはないがそれは圧較差だ」ということは偽である fact2: 仮にあの保障占領は古びれば「その下面は国内景気であるけれど判定基準であるということはない」ということは成り立たない fact3: 男性型は乗り続ける fact4: もしとあるものが審判するけど短時間でないとすると変わり易くない fact5: 「変わり易い」物はある fact6: そのＬＥＧＴが乗り続けるとするとそれは加圧する fact7: もし仮に「何かは国内景気であるがしかしそれは判定基準でない」ということは間違いなら判定基準だ fact8: 「啖呵は古びる」ということは確かである fact9: その商談は審判する fact10: もし仮に「何らかの物は言い出し難いけれど男性型でない」ということは成り立たないならば男性型だ fact11: もしその下面が判定基準ならあの母親参加は変わり易い fact12: もし「そのエキゾーストノートは破門しないが圧較差である」ということは成り立たないならばそれは堆肥化でない fact13: もし仮に「そのＬＥＧＴは加圧する」ということは成り立つならあの保障占領は啖呵だ fact14: この売春婦は審判する fact15: もしそのＬＥＧＴは太しないとすると「言い出し難いけれど男性型でない」ということは誤りだ fact16: その商談は短時間でない
fact4 -> int1: もしもその商談は審判するけど短時間であるということはないならばそれは変わり易くない; fact16 & fact9 -> int2: その商談は審判する一方で短時間でない; int1 & int2 -> int3: その商談は変わり易いということはない; int3 -> hypothesis;
fact4 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact16 & fact9 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 -> hypothesis;
あの母親参加は変わり易い
fact17 -> int4: もしも「その下面は国内景気だけど判定基準でない」ということは偽であるならば判定基準である; fact21 -> int5: もしもあの保障占領は啖呵であるとするとそれは古びる; fact26 -> int6: もしもそのＬＥＧＴが男性型だとすれば乗り続ける; fact25 -> int7: 仮に「そのＬＥＧＴは言い出し難いけれどそれは男性型だということはない」ということは成り立たないとすると男性型である; fact27 & fact23 -> int8: そのエキゾーストノートは堆肥化であるということはない; int8 -> int9: なにがしかのものは堆肥化でない;
$facts$ = fact1: 「そのエキゾーストノートは破門するということはないがそれは圧較差だ」ということは偽である fact2: 仮にあの保障占領は古びれば「その下面は国内景気であるけれど判定基準であるということはない」ということは成り立たない fact3: 男性型は乗り続ける fact4: もしとあるものが審判するけど短時間でないとすると変わり易くない fact5: 「変わり易い」物はある fact6: そのＬＥＧＴが乗り続けるとするとそれは加圧する fact7: もし仮に「何かは国内景気であるがしかしそれは判定基準でない」ということは間違いなら判定基準だ fact8: 「啖呵は古びる」ということは確かである fact9: その商談は審判する fact10: もし仮に「何らかの物は言い出し難いけれど男性型でない」ということは成り立たないならば男性型だ fact11: もしその下面が判定基準ならあの母親参加は変わり易い fact12: もし「そのエキゾーストノートは破門しないが圧較差である」ということは成り立たないならばそれは堆肥化でない fact13: もし仮に「そのＬＥＧＴは加圧する」ということは成り立つならあの保障占領は啖呵だ fact14: この売春婦は審判する fact15: もしそのＬＥＧＴは太しないとすると「言い出し難いけれど男性型でない」ということは誤りだ fact16: その商談は短時間でない ; $hypothesis$ = 「「変わり易くない」物はある」ということは間違いである ; $proof$ = 
fact4 -> int1: もしもその商談は審判するけど短時間であるということはないならばそれは変わり易くない; fact16 & fact9 -> int2: その商談は審判する一方で短時間でない; int1 & int2 -> int3: その商談は変わり易いということはない; int3 -> hypothesis; __DISPROVED__
事実1: 「そのエキゾーストノートは破門するということはないがそれは圧較差だ」ということは偽である
事実2: 仮にあの保障占領は古びれば「その下面は国内景気であるけれど判定基準であるということはない」ということは成り立たない
事実3: 男性型は乗り続ける
事実4: もしとあるものが審判するけど短時間でないとすると変わり易くない
事実5: 「変わり易い」物はある
事実6: そのＬＥＧＴが乗り続けるとするとそれは加圧する
事実7: もし仮に「何かは国内景気であるがしかしそれは判定基準でない」ということは間違いなら判定基準だ
事実8: 「啖呵は古びる」ということは確かである
事実9: その商談は審判する
事実10: もし仮に「何らかの物は言い出し難いけれど男性型でない」ということは成り立たないならば男性型だ
事実11: もしその下面が判定基準ならあの母親参加は変わり易い
事実12: もし「そのエキゾーストノートは破門しないが圧較差である」ということは成り立たないならばそれは堆肥化でない
事実13: もし仮に「そのＬＥＧＴは加圧する」ということは成り立つならあの保障占領は啖呵だ
事実14: この売春婦は審判する
事実15: もしそのＬＥＧＴは太しないとすると「言い出し難いけれど男性型でない」ということは誤りだ
事実16: その商談は短時間でない

仮説: 「「変わり易くない」物はある」ということは間違いである
1. 事実4から、推論1: "もしもその商談は審判するけど短時間であるということはないならばそれは変わり易くない"が導かれる
2. 事実16と事実9から、推論2: "その商談は審判する一方で短時間でない"が導かれる
3. 推論1と推論2から、推論3: "その商談は変わり易いということはない"が導かれる
4. 推論3から、仮説が否定される

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