「このリストランテは捏ち上げるしそれにそれは動き易い」ということは誤りだ
fact1: この彫り物は揮発し易い fact2: このリストランテはブレークダウンするしかつそれは正しい fact3: このリストランテは揮発し易い fact4: このリストランテは揮発し易いとすれば「それは噴霧する」ということは事実と異なるということはない fact5: もしあの海水が出し入れすればＲＩＣＯ法だ fact6: もしも「このＶＦＡ由来は対立抗争でない一方で受任する」ということは成り立たないとすればその失恋は対立抗争である fact7: その氏子各町はしつっこい fact8: その愛犬は勇ましかない fact9: もしその帳票は赤黒くないしそれに評定しないとしたらそれはフルーツトマトである fact10: その帳票はフルーツトマトだとしたら「その失恋は激しい」ということは事実である fact11: もしも「何らかのものは出し入れする」ということは間違っていないなら勇ましい fact12: もしもその三十二口径が勇ましくらないとしたらこのリストランテは出し入れする fact13: もしなにがしかの物が噴霧するならそれは動き易い fact14: 仮にとあるものは出し入れしない一方で噴霧するとしたら勇ましかない fact15: その三十二口径は動き易い fact16: その三十二口径は揮発し易い fact17: もし仮に何らかの物が出し入れすれば捏ち上げる fact18: もし仮にその三十二口径が対立抗争で加えてそれが激しいなら揮発し易くない fact19: 何らかのものは勇ましくらないとすると「捏ち上げるし動き易い」ということは正しくない fact20: もしもその氏子各町はしつっこいとしたら「このＶＦＡ由来は対立抗争でないが受任する」ということは誤っている fact21: その帳票が赤黒くないしさらにそれは評定しない fact22: その三十二口径は勇ましかない fact23: もし仮にその三十二口径が揮発し易くないとしたらこのリストランテは出し入れしないけど噴霧する fact24: このリストランテはもどかしくない
fact12 & fact22 -> int1: このリストランテは出し入れする; fact17 -> int2: もしもこのリストランテが出し入れするとすればそれは捏ち上げる; int1 & int2 -> int3: このリストランテは捏ち上げる; fact13 -> int4: このリストランテが噴霧すれば動き易い; fact3 & fact4 -> int5: このリストランテは噴霧する; int4 & int5 -> int6: このリストランテは動き易い; int3 & int6 -> hypothesis;
fact12 & fact22 -> int1: {B}{b}; fact17 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; fact13 -> int4: {E}{b} -> {D}{b}; fact3 & fact4 -> int5: {E}{b}; int4 & int5 -> int6: {D}{b}; int3 & int6 -> hypothesis;
「このリストランテは捏ち上げるししかもそれは動き易い」ということは間違いだ
fact25 -> int7: もし仮にこのリストランテは勇ましかないならば「捏ち上げるしさらにそれは動き易い」ということは成り立つということはない; fact29 & fact31 -> int8: 「このＶＦＡ由来は対立抗争でないがしかし受任する」ということは誤っている; fact30 & int8 -> int9: その失恋は対立抗争だ; fact26 & fact27 -> int10: その帳票はフルーツトマトである; fact28 & int10 -> int11: その失恋は激しい; int9 & int11 -> int12: その失恋は対立抗争で激しい; int12 -> int13: 「対立抗争であるし加えて激しい」物はある;
$facts$ = fact1: この彫り物は揮発し易い fact2: このリストランテはブレークダウンするしかつそれは正しい fact3: このリストランテは揮発し易い fact4: このリストランテは揮発し易いとすれば「それは噴霧する」ということは事実と異なるということはない fact5: もしあの海水が出し入れすればＲＩＣＯ法だ fact6: もしも「このＶＦＡ由来は対立抗争でない一方で受任する」ということは成り立たないとすればその失恋は対立抗争である fact7: その氏子各町はしつっこい fact8: その愛犬は勇ましかない fact9: もしその帳票は赤黒くないしそれに評定しないとしたらそれはフルーツトマトである fact10: その帳票はフルーツトマトだとしたら「その失恋は激しい」ということは事実である fact11: もしも「何らかのものは出し入れする」ということは間違っていないなら勇ましい fact12: もしもその三十二口径が勇ましくらないとしたらこのリストランテは出し入れする fact13: もしなにがしかの物が噴霧するならそれは動き易い fact14: 仮にとあるものは出し入れしない一方で噴霧するとしたら勇ましかない fact15: その三十二口径は動き易い fact16: その三十二口径は揮発し易い fact17: もし仮に何らかの物が出し入れすれば捏ち上げる fact18: もし仮にその三十二口径が対立抗争で加えてそれが激しいなら揮発し易くない fact19: 何らかのものは勇ましくらないとすると「捏ち上げるし動き易い」ということは正しくない fact20: もしもその氏子各町はしつっこいとしたら「このＶＦＡ由来は対立抗争でないが受任する」ということは誤っている fact21: その帳票が赤黒くないしさらにそれは評定しない fact22: その三十二口径は勇ましかない fact23: もし仮にその三十二口径が揮発し易くないとしたらこのリストランテは出し入れしないけど噴霧する fact24: このリストランテはもどかしくない ; $hypothesis$ = 「このリストランテは捏ち上げるしそれにそれは動き易い」ということは誤りだ ; $proof$ = 
fact12 & fact22 -> int1: このリストランテは出し入れする; fact17 -> int2: もしもこのリストランテが出し入れするとすればそれは捏ち上げる; int1 & int2 -> int3: このリストランテは捏ち上げる; fact13 -> int4: このリストランテが噴霧すれば動き易い; fact3 & fact4 -> int5: このリストランテは噴霧する; int4 & int5 -> int6: このリストランテは動き易い; int3 & int6 -> hypothesis; __DISPROVED__
事実1: この彫り物は揮発し易い
事実2: このリストランテはブレークダウンするしかつそれは正しい
事実3: このリストランテは揮発し易い
事実4: このリストランテは揮発し易いとすれば「それは噴霧する」ということは事実と異なるということはない
事実5: もしあの海水が出し入れすればＲＩＣＯ法だ
事実6: もしも「このＶＦＡ由来は対立抗争でない一方で受任する」ということは成り立たないとすればその失恋は対立抗争である
事実7: その氏子各町はしつっこい
事実8: その愛犬は勇ましかない
事実9: もしその帳票は赤黒くないしそれに評定しないとしたらそれはフルーツトマトである
事実10: その帳票はフルーツトマトだとしたら「その失恋は激しい」ということは事実である
事実11: もしも「何らかのものは出し入れする」ということは間違っていないなら勇ましい
事実12: もしもその三十二口径が勇ましくらないとしたらこのリストランテは出し入れする
事実13: もしなにがしかの物が噴霧するならそれは動き易い
事実14: 仮にとあるものは出し入れしない一方で噴霧するとしたら勇ましかない
事実15: その三十二口径は動き易い
事実16: その三十二口径は揮発し易い
事実17: もし仮に何らかの物が出し入れすれば捏ち上げる
事実18: もし仮にその三十二口径が対立抗争で加えてそれが激しいなら揮発し易くない
事実19: 何らかのものは勇ましくらないとすると「捏ち上げるし動き易い」ということは正しくない
事実20: もしもその氏子各町はしつっこいとしたら「このＶＦＡ由来は対立抗争でないが受任する」ということは誤っている
事実21: その帳票が赤黒くないしさらにそれは評定しない
事実22: その三十二口径は勇ましかない
事実23: もし仮にその三十二口径が揮発し易くないとしたらこのリストランテは出し入れしないけど噴霧する
事実24: このリストランテはもどかしくない

仮説: 「このリストランテは捏ち上げるしそれにそれは動き易い」ということは誤りだ
1. 事実12と事実22から、推論1: "このリストランテは出し入れする"が導かれる
2. 事実17から、推論2: "もしもこのリストランテが出し入れするとすればそれは捏ち上げる"が導かれる
3. 推論1と推論2から、推論3: "このリストランテは捏ち上げる"が導かれる
4. 事実13から、推論4: "このリストランテが噴霧すれば動き易い"が導かれる
5. 事実3と事実4から、推論5: "このリストランテは噴霧する"が導かれる
6. 推論4と推論5から、推論6: "このリストランテは動き易い"が導かれる
7. 推論3と推論6から、仮説が否定される

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