その刺客集団は踊らない
fact1: この商品販売は踊る fact2: もしこの被監査人が直り難いということはないならその刺客集団は直り難い fact3: もしもあるものは直り難いということはないとしたら「「それは捲れ上がらないし更に踊らない」ということは確かだ」ということは成り立たない fact4: その分類法は犯し易くないかあるいはそれは駆り出す fact5: もし「この髄質動脈は集め易くない一方でとろ臭い」ということは事実と異なるとすると鈍い fact6: もし仮に何らかの物が惜しまないとしたらそれは探し易くない fact7: あの政治的選択は捲れ上がらない fact8: その刺客集団は直り難い fact9: この行動変容は捲れ上がらない fact10: この被監査人が直り難くないならばその刺客集団は直り難くて更に踊る fact11: もしも「この髄質動脈は鈍い」ということは本当だとしたらそれは古し fact12: 仮になにがしかの物は息するということはなくて加えて探し易くないなら難聴児でない fact13: もし仮になにかは難聴児でないなら「この被監査人は直り難いし出入りし易い」ということは成り立たない fact14: 犯し易くないものは惜しむ fact15: 仮にその分類法が日吉神人だし惜しむとするとこの軍功は惜しまない fact16: 仮に「あの政治的選択は捲れ上がらない」ということは本当だとしたらこの被監査人は直り難くない fact17: この髄質動脈が古ししそれが息するとするとこの軍功は息しない fact18: 「その分類法は犯し易くないかもしくは駆り出すかまたはどちらもだ」ということは事実であるなら「犯し易いということはない」ということは本当である fact19: 「この髄質動脈はやきもきしないかあるいはし為さる」ということは事実と異なる fact20: 仮に「あの政治的選択は捲れ上がらなくてしかもそれは踊るということはない」ということは誤りならその刺客集団は踊らない fact21: その分類法は日吉神人だ fact22: 「この髄質動脈は集め易くない一方でとろ臭い」ということは偽である fact23: もしも「なにかはやきもきしないかもしくはし為さるか両方ともだ」ということは真実でないとするとそれは息する
fact16 & fact7 -> int1: この被監査人は直り難いということはない; int1 & fact10 -> int2: その刺客集団は直り難いしそれに踊る; int2 -> hypothesis;
fact16 & fact7 -> int1: ¬{B}{b}; int1 & fact10 -> int2: ({B}{c} & {D}{c}); int2 -> hypothesis;
その刺客集団は踊らない
fact25 -> int3: もしあの政治的選択は直り難くないならば「捲れ上がるということはなくて加えて踊らない」ということは事実と異なる; fact29 -> int4: もしこの軍功が息しないし探し易くないとしたら難聴児でない; fact39 & fact26 -> int5: この髄質動脈は鈍い; fact30 & int5 -> int6: この髄質動脈は古し; fact34 -> int7: 「仮に「この髄質動脈はやきもきしないかもしくはし為さるかもしくは両方だ」ということは間違っているとしたら「この髄質動脈は息する」ということは本当である」ということは成り立つ; int7 & fact24 -> int8: この髄質動脈は息する; int6 & int8 -> int9: この髄質動脈は古しし息する; fact35 & int9 -> int10: この軍功は息しない; fact27 -> int11: もしもこの軍功が惜しまないとするとそれは探し易いということはない; fact38 -> int12: 仮にその分類法が犯し易いということはないとしたらそれは惜しむ; fact36 & fact37 -> int13: その分類法は犯し易くない; int12 & int13 -> int14: その分類法は惜しむ; fact33 & int14 -> int15: その分類法は日吉神人で更に惜しむ; fact28 & int15 -> int16: この軍功は惜しまない; int11 & int16 -> int17: この軍功は探し易くない; int10 & int17 -> int18: この軍功は息するということはなくてまた探し易くない; int4 & int18 -> int19: この軍功は難聴児でない; int19 -> int20: 何かは難聴児であるということはない; int20 & fact32 -> int21: 「この被監査人は直り難くてそれは出入りし易い」ということは間違いだ; int21 -> int22: 「「直り難くて出入りし易い」ということは成り立たない」物はある;
$facts$ = fact1: この商品販売は踊る fact2: もしこの被監査人が直り難いということはないならその刺客集団は直り難い fact3: もしもあるものは直り難いということはないとしたら「「それは捲れ上がらないし更に踊らない」ということは確かだ」ということは成り立たない fact4: その分類法は犯し易くないかあるいはそれは駆り出す fact5: もし「この髄質動脈は集め易くない一方でとろ臭い」ということは事実と異なるとすると鈍い fact6: もし仮に何らかの物が惜しまないとしたらそれは探し易くない fact7: あの政治的選択は捲れ上がらない fact8: その刺客集団は直り難い fact9: この行動変容は捲れ上がらない fact10: この被監査人が直り難くないならばその刺客集団は直り難くて更に踊る fact11: もしも「この髄質動脈は鈍い」ということは本当だとしたらそれは古し fact12: 仮になにがしかの物は息するということはなくて加えて探し易くないなら難聴児でない fact13: もし仮になにかは難聴児でないなら「この被監査人は直り難いし出入りし易い」ということは成り立たない fact14: 犯し易くないものは惜しむ fact15: 仮にその分類法が日吉神人だし惜しむとするとこの軍功は惜しまない fact16: 仮に「あの政治的選択は捲れ上がらない」ということは本当だとしたらこの被監査人は直り難くない fact17: この髄質動脈が古ししそれが息するとするとこの軍功は息しない fact18: 「その分類法は犯し易くないかもしくは駆り出すかまたはどちらもだ」ということは事実であるなら「犯し易いということはない」ということは本当である fact19: 「この髄質動脈はやきもきしないかあるいはし為さる」ということは事実と異なる fact20: 仮に「あの政治的選択は捲れ上がらなくてしかもそれは踊るということはない」ということは誤りならその刺客集団は踊らない fact21: その分類法は日吉神人だ fact22: 「この髄質動脈は集め易くない一方でとろ臭い」ということは偽である fact23: もしも「なにかはやきもきしないかもしくはし為さるか両方ともだ」ということは真実でないとするとそれは息する ; $hypothesis$ = その刺客集団は踊らない ; $proof$ = 
fact16 & fact7 -> int1: この被監査人は直り難いということはない; int1 & fact10 -> int2: その刺客集団は直り難いしそれに踊る; int2 -> 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: もしも「なにかはやきもきしないかもしくはし為さるか両方ともだ」ということは真実でないとするとそれは息する

仮説: その刺客集団は踊らない
1. 事実16と事実7から、推論1: "この被監査人は直り難いということはない"が導かれる
2. 推論1と事実10から、推論2: "その刺客集団は直り難いしそれに踊る"が導かれる
3. 推論2から、仮説が否定される

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