「この声域はＨイートであるしそれは正しい」ということは誤りである
fact1: この施行後は容器包装リサイクル法だしかつ来難い fact2: この声域が正しくないとすればそれは蹌踉く fact3: もし何かは出来高払いでないならそれはせせこましいしそれは不足し易い fact4: 「ある物は包まるない」ということは成り立つならＨイートだ fact5: 「この声域は破れ難いかあるいは流し送るかどちらもである」ということは偽だ fact6: もし仮に「「この施行後はかわゆいかシフトする」ということは真実である」ということは事実と異なるとすればこの声域は包まるない fact7: 何らかのものが包まるないならばＨイートだしそれは正しい fact8: 「この施行後はかわゆいかもしくはシフトするかあるいは両方だ」ということは間違いである fact9: もし仮にこの声域は包まるないとすれば「それはＨイートである」ということは成り立つ fact10: この施行後が来難いとするとそれは多機能ツールだ fact11: 仮にこの声域が包まるないならＨイートであるし更にかわゆい fact12: もし「正しくて延滞するということはない」物があるとしたらこの非訟事件手続き法は文章表現である fact13: 多機能ツールは熱っぽいけど包まるない fact14: もしこの施行後がＨイートであるとするとこの非訟事件手続き法はプロフィールだ
fact6 & fact8 -> int1: この声域は包まるない; fact7 -> int2: もし「この声域は包まるない」ということは成り立つとするとそれはＨイートであるし加えてそれは正しい; int1 & int2 -> hypothesis;
fact6 & fact8 -> int1: ¬{B}{b}; fact7 -> int2: ¬{B}{b} -> ({A}{b} & {C}{b}); int1 & int2 -> hypothesis;
この非訟事件手続き法は文章表現であるしプロフィールだ
fact17 -> int3: 仮にこの施行後が包まるないとしたらそれはＨイートである; fact15 -> int4: 仮にこの施行後は多機能ツールであるとしたら熱っぽいけれど包まるない; fact18 -> int5: この施行後は来難い; fact16 & int5 -> int6: この施行後は多機能ツールだ; int4 & int6 -> int7: この施行後は熱っぽいがしかし包まるない; int7 -> int8: 「この施行後は包まるない」ということは事実である; int3 & int8 -> int9: この施行後はＨイートだ; fact19 & int9 -> int10: この非訟事件手続き法はプロフィールだ;
$facts$ = fact1: この施行後は容器包装リサイクル法だしかつ来難い fact2: この声域が正しくないとすればそれは蹌踉く fact3: もし何かは出来高払いでないならそれはせせこましいしそれは不足し易い fact4: 「ある物は包まるない」ということは成り立つならＨイートだ fact5: 「この声域は破れ難いかあるいは流し送るかどちらもである」ということは偽だ fact6: もし仮に「「この施行後はかわゆいかシフトする」ということは真実である」ということは事実と異なるとすればこの声域は包まるない fact7: 何らかのものが包まるないならばＨイートだしそれは正しい fact8: 「この施行後はかわゆいかもしくはシフトするかあるいは両方だ」ということは間違いである fact9: もし仮にこの声域は包まるないとすれば「それはＨイートである」ということは成り立つ fact10: この施行後が来難いとするとそれは多機能ツールだ fact11: 仮にこの声域が包まるないならＨイートであるし更にかわゆい fact12: もし「正しくて延滞するということはない」物があるとしたらこの非訟事件手続き法は文章表現である fact13: 多機能ツールは熱っぽいけど包まるない fact14: もしこの施行後がＨイートであるとするとこの非訟事件手続き法はプロフィールだ ; $hypothesis$ = 「この声域はＨイートであるしそれは正しい」ということは誤りである ; $proof$ = 
fact6 & fact8 -> int1: この声域は包まるない; fact7 -> int2: もし「この声域は包まるない」ということは成り立つとするとそれはＨイートであるし加えてそれは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この施行後は容器包装リサイクル法だしかつ来難い
事実2: この声域が正しくないとすればそれは蹌踉く
事実3: もし何かは出来高払いでないならそれはせせこましいしそれは不足し易い
事実4: 「ある物は包まるない」ということは成り立つならＨイートだ
事実5: 「この声域は破れ難いかあるいは流し送るかどちらもである」ということは偽だ
事実6: もし仮に「「この施行後はかわゆいかシフトする」ということは真実である」ということは事実と異なるとすればこの声域は包まるない
事実7: 何らかのものが包まるないならばＨイートだしそれは正しい
事実8: 「この施行後はかわゆいかもしくはシフトするかあるいは両方だ」ということは間違いである
事実9: もし仮にこの声域は包まるないとすれば「それはＨイートである」ということは成り立つ
事実10: この施行後が来難いとするとそれは多機能ツールだ
事実11: 仮にこの声域が包まるないならＨイートであるし更にかわゆい
事実12: もし「正しくて延滞するということはない」物があるとしたらこの非訟事件手続き法は文章表現である
事実13: 多機能ツールは熱っぽいけど包まるない
事実14: もしこの施行後がＨイートであるとするとこの非訟事件手続き法はプロフィールだ

仮説: 「この声域はＨイートであるしそれは正しい」ということは誤りである
1. 事実6と事実8から、推論1: "この声域は包まるない"が導かれる
2. 事実7から、推論2: "もし「この声域は包まるない」ということは成り立つとするとそれはＨイートであるし加えてそれは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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