その死力は外れでない
fact1: もし仮にある物が停止するとするとそれは外れである fact2: 「その死力は見苦しい」ということは事実である fact3: その死力は読み違える fact4: その死力は御茶の間である fact5: もし仮になにがしかの物が行動し為されば外れでないし停止しない fact6: オブジェクト要素は学名である fact7: 仮に「その死力は出し難い」ということは誤りでないとすればそれは軽々しい fact8: その死力は拝顔だ fact9: この糸唐辛子は停止する fact10: あのサウジアラビア政府は見苦しい fact11: なんらかのものは外れでないし停止しないとすると見苦しい fact12: あのサウジアラビア政府は停止する fact13: あのサウジアラビア政府が見苦しいならばその死力は停止する
fact13 & fact10 -> int1: その死力は停止する; fact1 -> int2: もしもその死力は停止するとしたら「外れでない」ということは成り立つということはない; int1 & int2 -> hypothesis;
fact13 & fact10 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
その百薬は見苦しい
fact14 -> int3: その百薬が外れでないし停止しないならばそれは見苦しい; fact15 -> int4: もしもその百薬が行動し為さるとするとそれは外れでないしおまけにそれは停止しない;
$facts$ = fact1: もし仮にある物が停止するとするとそれは外れである fact2: 「その死力は見苦しい」ということは事実である fact3: その死力は読み違える fact4: その死力は御茶の間である fact5: もし仮になにがしかの物が行動し為されば外れでないし停止しない fact6: オブジェクト要素は学名である fact7: 仮に「その死力は出し難い」ということは誤りでないとすればそれは軽々しい fact8: その死力は拝顔だ fact9: この糸唐辛子は停止する fact10: あのサウジアラビア政府は見苦しい fact11: なんらかのものは外れでないし停止しないとすると見苦しい fact12: あのサウジアラビア政府は停止する fact13: あのサウジアラビア政府が見苦しいならばその死力は停止する ; $hypothesis$ = その死力は外れでない ; $proof$ = 
fact13 & fact10 -> int1: その死力は停止する; fact1 -> int2: もしもその死力は停止するとしたら「外れでない」ということは成り立つということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が停止するとするとそれは外れである
事実2: 「その死力は見苦しい」ということは事実である
事実3: その死力は読み違える
事実4: その死力は御茶の間である
事実5: もし仮になにがしかの物が行動し為されば外れでないし停止しない
事実6: オブジェクト要素は学名である
事実7: 仮に「その死力は出し難い」ということは誤りでないとすればそれは軽々しい
事実8: その死力は拝顔だ
事実9: この糸唐辛子は停止する
事実10: あのサウジアラビア政府は見苦しい
事実11: なんらかのものは外れでないし停止しないとすると見苦しい
事実12: あのサウジアラビア政府は停止する
事実13: あのサウジアラビア政府が見苦しいならばその死力は停止する

仮説: その死力は外れでない
1. 事実13と事実10から、推論1: "その死力は停止する"が導かれる
2. 事実1から、推論2: "もしもその死力は停止するとしたら「外れでない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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