そのＣＡＦＣは褒めちぎらない
fact1: もし仮に「その米不足は馬鹿でかい」ということは成り立つとすればそのＣＡＦＣは使い辛い fact2: 埃っぽくておまけにしても良いものはない fact3: もしその鄭成功が配布するならばあの各装置は理由中だ fact4: もし仮にこの金融資産・負債は褒めちぎらないが配布するとすればそれは胚芽米だ fact5: 仮に「なにがしかのものは埃っぽいししかもしても良い」ということは真実であるということはないならばそれは埃っぽくない fact6: 何かは小暗くないとすれば「取り繕わないかもしくは切れ易くないかまたはどちらもだ」ということは誤っている fact7: 何もかもは取り繕う fact8: もし仮にあの各装置が理由中ならその小学生達は口説きである fact9: そのＣＡＦＣは誇らしくないがしかし分かり難い fact10: 仮にそのＣＡＦＣは切れ易くない一方で取り繕えば褒めちぎる fact11: もし「「口説きだ」ということは成り立つ」物があるとすればあのＣＡＦＣは祈念である fact12: あの主権在民は配布するということはないけれどそれは付置する fact13: もし仮に何らかの物が褒めちぎらないなら切れ易いかそれは取り繕うか両方だ fact14: 仮に「その小学生達は使い辛いかまたは褒めちぎる」ということは成り立たないならばその米不足は褒めちぎらない fact15: 何もかもは切れ易くないししかも取り繕う fact16: なにかは埃っぽくないとするとそれは光り輝かなくて帰宅でない fact17: その米不足が使い辛いとすればあのＣＡＦＣは使い辛い fact18: もしも「なにがしかの物は取り繕わないかもしくはそれは切れ易くないかもしくはどちらもである」ということは成り立たないなら褒めちぎらない fact19: 仮に何かは光り輝かないとしたら使い辛いかもしくは馬鹿でかいかあるいはどちらもである fact20: もしもあの主権在民が配布しないが付置するとしたらその鄭成功は配布する
fact15 -> int1: そのＣＡＦＣは切れ易くないが取り繕う; int1 & fact10 -> hypothesis;
そのＣＡＦＣは褒めちぎらない
fact27 -> int2: 「そのＣＡＦＣは取り繕わないかまたは切れ易くないかまたは両方だ」ということは偽ならば褒めちぎるということはない; fact30 -> int3: そのＣＡＦＣは小暗いということはないとすると「取り繕わないか切れ易くないかどちらもである」ということは成り立たない; fact28 -> int4: もし仮にその米不足が光り輝くということはないとしたらそれは使い辛いかもしくはそれは馬鹿でかいかまたは両方ともである; fact24 -> int5: 「この諡号は埃っぽくて更にそれはしても良い」ということは本当でない; fact23 -> int6: もし仮に「この諡号は埃っぽいしさらにしても良い」ということは間違いならば埃っぽくない; int5 & int6 -> int7: 「この諡号は埃っぽい」ということは真実でない; fact29 -> int8: もし仮にこの諡号が埃っぽくないならばそれが光り輝かないしさらにそれは帰宅でない; int7 & int8 -> int9: この諡号は光り輝くということはないしそれに帰宅であるということはない; int9 -> int10: 全てが光り輝かないしさらにそれは帰宅でない; int10 -> int11: その米不足は光り輝かなくておまけにそれは帰宅でない; int11 -> int12: その米不足は光り輝かない; int4 & int12 -> int13: その米不足は使い辛いかあるいは馬鹿でかい; int13 & fact25 & fact26 -> int14: そのＣＡＦＣは使い辛い; fact21 & fact32 -> int15: その鄭成功は配布する; fact31 & int15 -> int16: 「あの各装置は理由中だ」ということは成り立つ; fact33 & int16 -> int17: その小学生達は口説きだ; int17 -> int18: 「口説きである」物はある; int18 & fact22 -> int19: そのＣＡＦＣは祈念だ; int14 & int19 -> int20: そのＣＡＦＣは使い辛くて更に祈念である;
$facts$ = fact1: もし仮に「その米不足は馬鹿でかい」ということは成り立つとすればそのＣＡＦＣは使い辛い fact2: 埃っぽくておまけにしても良いものはない fact3: もしその鄭成功が配布するならばあの各装置は理由中だ fact4: もし仮にこの金融資産・負債は褒めちぎらないが配布するとすればそれは胚芽米だ fact5: 仮に「なにがしかのものは埃っぽいししかもしても良い」ということは真実であるということはないならばそれは埃っぽくない fact6: 何かは小暗くないとすれば「取り繕わないかもしくは切れ易くないかまたはどちらもだ」ということは誤っている fact7: 何もかもは取り繕う fact8: もし仮にあの各装置が理由中ならその小学生達は口説きである fact9: そのＣＡＦＣは誇らしくないがしかし分かり難い fact10: 仮にそのＣＡＦＣは切れ易くない一方で取り繕えば褒めちぎる fact11: もし「「口説きだ」ということは成り立つ」物があるとすればあのＣＡＦＣは祈念である fact12: あの主権在民は配布するということはないけれどそれは付置する fact13: もし仮に何らかの物が褒めちぎらないなら切れ易いかそれは取り繕うか両方だ fact14: 仮に「その小学生達は使い辛いかまたは褒めちぎる」ということは成り立たないならばその米不足は褒めちぎらない fact15: 何もかもは切れ易くないししかも取り繕う fact16: なにかは埃っぽくないとするとそれは光り輝かなくて帰宅でない fact17: その米不足が使い辛いとすればあのＣＡＦＣは使い辛い fact18: もしも「なにがしかの物は取り繕わないかもしくはそれは切れ易くないかもしくはどちらもである」ということは成り立たないなら褒めちぎらない fact19: 仮に何かは光り輝かないとしたら使い辛いかもしくは馬鹿でかいかあるいはどちらもである fact20: もしもあの主権在民が配布しないが付置するとしたらその鄭成功は配布する ; $hypothesis$ = そのＣＡＦＣは褒めちぎらない ; $proof$ = 
fact15 -> int1: そのＣＡＦＣは切れ易くないが取り繕う; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮に「その米不足は馬鹿でかい」ということは成り立つとすればそのＣＡＦＣは使い辛い
事実2: 埃っぽくておまけにしても良いものはない
事実3: もしその鄭成功が配布するならばあの各装置は理由中だ
事実4: もし仮にこの金融資産・負債は褒めちぎらないが配布するとすればそれは胚芽米だ
事実5: 仮に「なにがしかのものは埃っぽいししかもしても良い」ということは真実であるということはないならばそれは埃っぽくない
事実6: 何かは小暗くないとすれば「取り繕わないかもしくは切れ易くないかまたはどちらもだ」ということは誤っている
事実7: 何もかもは取り繕う
事実8: もし仮にあの各装置が理由中ならその小学生達は口説きである
事実9: そのＣＡＦＣは誇らしくないがしかし分かり難い
事実10: 仮にそのＣＡＦＣは切れ易くない一方で取り繕えば褒めちぎる
事実11: もし「「口説きだ」ということは成り立つ」物があるとすればあのＣＡＦＣは祈念である
事実12: あの主権在民は配布するということはないけれどそれは付置する
事実13: もし仮に何らかの物が褒めちぎらないなら切れ易いかそれは取り繕うか両方だ
事実14: 仮に「その小学生達は使い辛いかまたは褒めちぎる」ということは成り立たないならばその米不足は褒めちぎらない
事実15: 何もかもは切れ易くないししかも取り繕う
事実16: なにかは埃っぽくないとするとそれは光り輝かなくて帰宅でない
事実17: その米不足が使い辛いとすればあのＣＡＦＣは使い辛い
事実18: もしも「なにがしかの物は取り繕わないかもしくはそれは切れ易くないかもしくはどちらもである」ということは成り立たないなら褒めちぎらない
事実19: 仮に何かは光り輝かないとしたら使い辛いかもしくは馬鹿でかいかあるいはどちらもである
事実20: もしもあの主権在民が配布しないが付置するとしたらその鄭成功は配布する

仮説: そのＣＡＦＣは褒めちぎらない
1. 事実15から、推論1: "そのＣＡＦＣは切れ易くないが取り繕う"が導かれる
2. 推論1と事実10から、仮説が否定される

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