「あの三月末現在は感染し易くて起こし易い」ということは誤りだ
fact1: 仮にこの惜別はコミュニケーションしないとしたら「それは伝わり難くないしかつ御持ちしない」ということは本当でない fact2: この団体交渉権はアバンチュールだ fact3: この団体交渉権はアバンチュールであるとすれば甘え声でなくてリフレッシュ出来ない fact4: この団体交渉権が進化しないとしたらこの惜別は気張らないがしかし危険過ぎる fact5: 何かは特売品であるということはないなら「それは物質化しないしさらにねちっこくない」ということは成り立たない fact6: 仮に何らかの物は伝わり難くないならば「太り難くないしかつ価格下落でない」ということは成り立たない fact7: 仮にこの団体交渉権が甘え声でなくてしかもそれがリフレッシュ出来ないとすれば地中深い fact8: この惜別はコミュニケーションするということはない fact9: 地中深い物は進化しないしおまけに辛抱強くない fact10: もしあるものはコミュニケーションしないなら「「感染し易くて起こし易い」ということは真実だ」ということは誤りである fact11: もし仮に「何らかの物は物質化しないし更にねちっこくない」ということは本当でないならそれはコミュニケーションするということはない fact12: もし仮に「この惜別は伝わり難くないし加えて御持ちしない」ということは誤りだとすると「あの三月末現在は感染し易い」ということは正しい fact13: あの三月末現在は起こし易い
fact1 & fact8 -> int1: 「この惜別は伝わり難くないし加えて御持ちしない」ということは成り立たない; int1 & fact12 -> int2: 「あの三月末現在は感染し易い」ということは間違っているということはない; int2 & fact13 -> hypothesis;
fact1 & fact8 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact12 -> int2: {B}{b}; int2 & fact13 -> hypothesis;
「「あの三月末現在は感染し易いししかも起こし易い」ということは本当である」ということは成り立たない
fact15 -> int3: あの三月末現在はコミュニケーションしないとすると「感染し易いしさらにそれは起こし易い」ということは成り立たない; fact17 -> int4: 「あの三月末現在は物質化しなくてねちっこくない」ということは事実であるということはないとすればコミュニケーションしない; fact14 -> int5: もし仮に「あの三月末現在は特売品でない」ということは成り立つとしたら「物質化しないしねちっこくない」ということは間違いである; fact16 -> int6: もし仮にこの団体交渉権が地中深いとするとそれは進化しないし辛抱強くない; fact19 & fact20 -> int7: この団体交渉権は甘え声でなくておまけにそれはリフレッシュ出来るということはない; fact18 & int7 -> int8: この団体交渉権は地中深い; int6 & int8 -> int9: この団体交渉権は進化しないしその上辛抱強くない; int9 -> int10: この団体交渉権は進化しない; fact21 & int10 -> int11: この惜別は気張らないがしかし危険過ぎる; int11 -> int12: とある物は気張らないけれどそれは危険過ぎる;
$facts$ = fact1: 仮にこの惜別はコミュニケーションしないとしたら「それは伝わり難くないしかつ御持ちしない」ということは本当でない fact2: この団体交渉権はアバンチュールだ fact3: この団体交渉権はアバンチュールであるとすれば甘え声でなくてリフレッシュ出来ない fact4: この団体交渉権が進化しないとしたらこの惜別は気張らないがしかし危険過ぎる fact5: 何かは特売品であるということはないなら「それは物質化しないしさらにねちっこくない」ということは成り立たない fact6: 仮に何らかの物は伝わり難くないならば「太り難くないしかつ価格下落でない」ということは成り立たない fact7: 仮にこの団体交渉権が甘え声でなくてしかもそれがリフレッシュ出来ないとすれば地中深い fact8: この惜別はコミュニケーションするということはない fact9: 地中深い物は進化しないしおまけに辛抱強くない fact10: もしあるものはコミュニケーションしないなら「「感染し易くて起こし易い」ということは真実だ」ということは誤りである fact11: もし仮に「何らかの物は物質化しないし更にねちっこくない」ということは本当でないならそれはコミュニケーションするということはない fact12: もし仮に「この惜別は伝わり難くないし加えて御持ちしない」ということは誤りだとすると「あの三月末現在は感染し易い」ということは正しい fact13: あの三月末現在は起こし易い ; $hypothesis$ = 「あの三月末現在は感染し易くて起こし易い」ということは誤りだ ; $proof$ = 
fact1 & fact8 -> int1: 「この惜別は伝わり難くないし加えて御持ちしない」ということは成り立たない; int1 & fact12 -> int2: 「あの三月末現在は感染し易い」ということは間違っているということはない; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮にこの惜別はコミュニケーションしないとしたら「それは伝わり難くないしかつ御持ちしない」ということは本当でない
事実2: この団体交渉権はアバンチュールだ
事実3: この団体交渉権はアバンチュールであるとすれば甘え声でなくてリフレッシュ出来ない
事実4: この団体交渉権が進化しないとしたらこの惜別は気張らないがしかし危険過ぎる
事実5: 何かは特売品であるということはないなら「それは物質化しないしさらにねちっこくない」ということは成り立たない
事実6: 仮に何らかの物は伝わり難くないならば「太り難くないしかつ価格下落でない」ということは成り立たない
事実7: 仮にこの団体交渉権が甘え声でなくてしかもそれがリフレッシュ出来ないとすれば地中深い
事実8: この惜別はコミュニケーションするということはない
事実9: 地中深い物は進化しないしおまけに辛抱強くない
事実10: もしあるものはコミュニケーションしないなら「「感染し易くて起こし易い」ということは真実だ」ということは誤りである
事実11: もし仮に「何らかの物は物質化しないし更にねちっこくない」ということは本当でないならそれはコミュニケーションするということはない
事実12: もし仮に「この惜別は伝わり難くないし加えて御持ちしない」ということは誤りだとすると「あの三月末現在は感染し易い」ということは正しい
事実13: あの三月末現在は起こし易い

仮説: 「あの三月末現在は感染し易くて起こし易い」ということは誤りだ
1. 事実1と事実8から、推論1: "「この惜別は伝わり難くないし加えて御持ちしない」ということは成り立たない"が導かれる
2. 推論1と事実12から、推論2: "「あの三月末現在は感染し易い」ということは間違っているということはない"が導かれる
3. 推論2と事実13から、仮説が否定される

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