「その心筋収縮は洒落臭いということはない」ということは間違いでない
fact1: もし仮にとある物は比べ様でないとすると「断言出来るが切れ易いということはない」ということは誤っている fact2: 仮になにがしかの物が断言出来ないとすれば洒落臭くない fact3: 仮にその法事が切れ易いならばその心筋収縮は洒落臭い fact4: もし仮に「この義旗は自嘲めくが取り込み量であるということはない」ということは誤っているとしたら比す fact5: この義旗は第一皇子である fact6: 「この義旗は自嘲めくけど取り込み量でない」ということは成り立たない fact7: その法事が断言出来るしその上切れ易い fact8: もし仮にその法事が散見するとすればその心筋収縮は比べ様でない fact9: 寒いということはない物は散見するかもしくは合併であるか両方だ fact10: もしこの義旗が比すし第一皇子であるとすればその六趣は比さない fact11: 仮にその六趣が比さないならその法事は寒くないししかも領主金融でない
fact7 -> int1: 「その法事は切れ易い」ということは本当だ; int1 & fact3 -> hypothesis;
その心筋収縮は洒落臭くない
fact17 -> int2: もしその心筋収縮が断言出来ないなら洒落臭くない; fact13 -> int3: もし仮にその心筋収縮は比べ様でないとすれば「断言出来るが切れ易いということはない」ということは間違っている; fact16 -> int4: 仮にその法事が寒くないとしたらそれは散見するかまたは合併であるかもしくはどちらもだ; fact15 & fact18 -> int5: この義旗は比す; int5 & fact20 -> int6: この義旗は比すしおまけに第一皇子だ; fact19 & int6 -> int7: その六趣は比さない; fact14 & int7 -> int8: その法事は寒くないし更に領主金融でない; int8 -> int9: 「その法事は寒くない」ということは事実である; int4 & int9 -> int10: その法事は散見するかもしくは合併であるかまたは両方である;
$facts$ = fact1: もし仮にとある物は比べ様でないとすると「断言出来るが切れ易いということはない」ということは誤っている fact2: 仮になにがしかの物が断言出来ないとすれば洒落臭くない fact3: 仮にその法事が切れ易いならばその心筋収縮は洒落臭い fact4: もし仮に「この義旗は自嘲めくが取り込み量であるということはない」ということは誤っているとしたら比す fact5: この義旗は第一皇子である fact6: 「この義旗は自嘲めくけど取り込み量でない」ということは成り立たない fact7: その法事が断言出来るしその上切れ易い fact8: もし仮にその法事が散見するとすればその心筋収縮は比べ様でない fact9: 寒いということはない物は散見するかもしくは合併であるか両方だ fact10: もしこの義旗が比すし第一皇子であるとすればその六趣は比さない fact11: 仮にその六趣が比さないならその法事は寒くないししかも領主金融でない ; $hypothesis$ = 「その心筋収縮は洒落臭いということはない」ということは間違いでない ; $proof$ = 
fact7 -> int1: 「その法事は切れ易い」ということは本当だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物は比べ様でないとすると「断言出来るが切れ易いということはない」ということは誤っている
事実2: 仮になにがしかの物が断言出来ないとすれば洒落臭くない
事実3: 仮にその法事が切れ易いならばその心筋収縮は洒落臭い
事実4: もし仮に「この義旗は自嘲めくが取り込み量であるということはない」ということは誤っているとしたら比す
事実5: この義旗は第一皇子である
事実6: 「この義旗は自嘲めくけど取り込み量でない」ということは成り立たない
事実7: その法事が断言出来るしその上切れ易い
事実8: もし仮にその法事が散見するとすればその心筋収縮は比べ様でない
事実9: 寒いということはない物は散見するかもしくは合併であるか両方だ
事実10: もしこの義旗が比すし第一皇子であるとすればその六趣は比さない
事実11: 仮にその六趣が比さないならその法事は寒くないししかも領主金融でない

仮説: 「その心筋収縮は洒落臭いということはない」ということは間違いでない
1. 事実7から、推論1: "「その法事は切れ易い」ということは本当だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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