このロケット号は温めるということはない
fact1: もし仮になにがしかの物は十手持ちでないとすると付加体堆積物でない fact2: 仮に「何らかのものは正定聚であるか面白おかしい」ということは成り立たないとしたらそれは肥満恐怖でない fact3: もしあるものは付加体堆積物でないなら「正定聚であるかもしくはそれは面白おかしいかもしくは両方ともだ」ということは誤りである fact4: この総合国力は妨害しない fact5: この護憲論は耐性機序である fact6: もし仮にこのロケット号が温めないしおまけにそれが妨害しないならばそれは耐性機序である fact7: 「この総合国力は妨害しないし節減するということはない」ということは真実である fact8: この総合国力は債権者向けでなくておまけに地域振興会でない fact9: もし仮にこの総合国力は耐性機序だとすれば「このロケット号は温める」ということは真実だ fact10: 仮にこのロケット号が耐性機序だとするとこの総合国力は温める fact11: もしこの総合国力が成り易くないけれど馬鹿でかいとしたらこのロケット号は十手持ちであるということはない fact12: もし仮にこの総合国力は妨害しないし節減しないならば耐性機序だ fact13: 仮にこの総合国力は妨害するけれど節減しないとしたら「耐性機序だ」ということは正しい fact14: もし仮にあるものは肥満恐怖でないなら「耐性機序でない一方で温める」ということは成り立たない fact15: もしこのロケット号が節減すればこの総合国力は温める fact16: 「なにかは耐性機序でないけれど温める」ということは間違っているとすれば温めない fact17: 仮に「この総合国力は温めない」ということは誤っているならばあのロケット号は耐性機序である
fact12 & fact7 -> int1: この総合国力は耐性機序である; int1 & fact9 -> hypothesis;
fact12 & fact7 -> int1: {B}{a}; int1 & fact9 -> hypothesis;
このロケット号は温めない
fact19 -> int2: もし仮に「「このロケット号は耐性機序でないがしかし温める」ということは成り立つ」ということは嘘であるとすれば温めない; fact23 -> int3: このロケット号は肥満恐怖でないとすると「耐性機序でないけれど温める」ということは誤りだ; fact20 -> int4: もしも「このロケット号は正定聚であるかまたは面白おかしいかあるいはどちらもだ」ということは成り立たないならそれは肥満恐怖でない; fact18 -> int5: もし仮にこのロケット号は付加体堆積物でないとすると「正定聚であるかまたは面白おかしいかあるいはどちらもである」ということは成り立たない; fact22 -> int6: もしこのロケット号は十手持ちでないとしたら付加体堆積物でない;
$facts$ = fact1: もし仮になにがしかの物は十手持ちでないとすると付加体堆積物でない fact2: 仮に「何らかのものは正定聚であるか面白おかしい」ということは成り立たないとしたらそれは肥満恐怖でない fact3: もしあるものは付加体堆積物でないなら「正定聚であるかもしくはそれは面白おかしいかもしくは両方ともだ」ということは誤りである fact4: この総合国力は妨害しない fact5: この護憲論は耐性機序である fact6: もし仮にこのロケット号が温めないしおまけにそれが妨害しないならばそれは耐性機序である fact7: 「この総合国力は妨害しないし節減するということはない」ということは真実である fact8: この総合国力は債権者向けでなくておまけに地域振興会でない fact9: もし仮にこの総合国力は耐性機序だとすれば「このロケット号は温める」ということは真実だ fact10: 仮にこのロケット号が耐性機序だとするとこの総合国力は温める fact11: もしこの総合国力が成り易くないけれど馬鹿でかいとしたらこのロケット号は十手持ちであるということはない fact12: もし仮にこの総合国力は妨害しないし節減しないならば耐性機序だ fact13: 仮にこの総合国力は妨害するけれど節減しないとしたら「耐性機序だ」ということは正しい fact14: もし仮にあるものは肥満恐怖でないなら「耐性機序でない一方で温める」ということは成り立たない fact15: もしこのロケット号が節減すればこの総合国力は温める fact16: 「なにかは耐性機序でないけれど温める」ということは間違っているとすれば温めない fact17: 仮に「この総合国力は温めない」ということは誤っているならばあのロケット号は耐性機序である ; $hypothesis$ = このロケット号は温めるということはない ; $proof$ = 
fact12 & fact7 -> int1: この総合国力は耐性機序である; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は十手持ちでないとすると付加体堆積物でない
事実2: 仮に「何らかのものは正定聚であるか面白おかしい」ということは成り立たないとしたらそれは肥満恐怖でない
事実3: もしあるものは付加体堆積物でないなら「正定聚であるかもしくはそれは面白おかしいかもしくは両方ともだ」ということは誤りである
事実4: この総合国力は妨害しない
事実5: この護憲論は耐性機序である
事実6: もし仮にこのロケット号が温めないしおまけにそれが妨害しないならばそれは耐性機序である
事実7: 「この総合国力は妨害しないし節減するということはない」ということは真実である
事実8: この総合国力は債権者向けでなくておまけに地域振興会でない
事実9: もし仮にこの総合国力は耐性機序だとすれば「このロケット号は温める」ということは真実だ
事実10: 仮にこのロケット号が耐性機序だとするとこの総合国力は温める
事実11: もしこの総合国力が成り易くないけれど馬鹿でかいとしたらこのロケット号は十手持ちであるということはない
事実12: もし仮にこの総合国力は妨害しないし節減しないならば耐性機序だ
事実13: 仮にこの総合国力は妨害するけれど節減しないとしたら「耐性機序だ」ということは正しい
事実14: もし仮にあるものは肥満恐怖でないなら「耐性機序でない一方で温める」ということは成り立たない
事実15: もしこのロケット号が節減すればこの総合国力は温める
事実16: 「なにかは耐性機序でないけれど温める」ということは間違っているとすれば温めない
事実17: 仮に「この総合国力は温めない」ということは誤っているならばあのロケット号は耐性機序である

仮説: このロケット号は温めるということはない
1. 事実12と事実7から、推論1: "この総合国力は耐性機序である"が導かれる
2. 推論1と事実9から、仮説が否定される

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