この迷走神経興奮反応は苦しくない
fact1: その総株主通知は対決しない fact2: もしもあのダンクが有り難がらないかあるいは対決しないか両方ともであるなら「その総株主通知は対決しない」ということは成り立つ fact3: もし仮にこの迷走神経興奮反応が握り易いということはないならばあの総株主通知は握り易くてまた苦しい fact4: この迷走神経興奮反応は握り易い fact5: もしも「その総株主通知は握り易いということはない」ということは事実と異なるということはないとするとこの迷走神経興奮反応は握り易いしかつ苦しい fact6: その総株主通知は握り易くないし対決しない fact7: もしもその総株主通知が握り易くないとしたらこの迷走神経興奮反応は握り易い fact8: もしなんらかのものが考えないとすれば有り難がらないかまたは対決するということはない fact9: 「ある物は握り易いし苦しい」ということは間違っているならそれは苦しくない
fact6 -> int1: その総株主通知は握り易くない; int1 & fact5 -> int2: この迷走神経興奮反応は握り易いしその上苦しい; int2 -> hypothesis;
この迷走神経興奮反応は苦しくない
fact10 -> int3: 仮に「この迷走神経興奮反応は握り易くて苦しい」ということは本当でないとしたらそれは苦しくない; fact11 -> int4: もしあのダンクが考えないとしたらそれは有り難がらないかもしくは対決しないか両方ともだ;
$facts$ = fact1: その総株主通知は対決しない fact2: もしもあのダンクが有り難がらないかあるいは対決しないか両方ともであるなら「その総株主通知は対決しない」ということは成り立つ fact3: もし仮にこの迷走神経興奮反応が握り易いということはないならばあの総株主通知は握り易くてまた苦しい fact4: この迷走神経興奮反応は握り易い fact5: もしも「その総株主通知は握り易いということはない」ということは事実と異なるということはないとするとこの迷走神経興奮反応は握り易いしかつ苦しい fact6: その総株主通知は握り易くないし対決しない fact7: もしもその総株主通知が握り易くないとしたらこの迷走神経興奮反応は握り易い fact8: もしなんらかのものが考えないとすれば有り難がらないかまたは対決するということはない fact9: 「ある物は握り易いし苦しい」ということは間違っているならそれは苦しくない ; $hypothesis$ = この迷走神経興奮反応は苦しくない ; $proof$ = 
fact6 -> int1: その総株主通知は握り易くない; int1 & fact5 -> int2: この迷走神経興奮反応は握り易いしその上苦しい; int2 -> hypothesis; __DISPROVED__
事実1: その総株主通知は対決しない
事実2: もしもあのダンクが有り難がらないかあるいは対決しないか両方ともであるなら「その総株主通知は対決しない」ということは成り立つ
事実3: もし仮にこの迷走神経興奮反応が握り易いということはないならばあの総株主通知は握り易くてまた苦しい
事実4: この迷走神経興奮反応は握り易い
事実5: もしも「その総株主通知は握り易いということはない」ということは事実と異なるということはないとするとこの迷走神経興奮反応は握り易いしかつ苦しい
事実6: その総株主通知は握り易くないし対決しない
事実7: もしもその総株主通知が握り易くないとしたらこの迷走神経興奮反応は握り易い
事実8: もしなんらかのものが考えないとすれば有り難がらないかまたは対決するということはない
事実9: 「ある物は握り易いし苦しい」ということは間違っているならそれは苦しくない

仮説: この迷走神経興奮反応は苦しくない
1. 事実6から、推論1: "その総株主通知は握り易くない"が導かれる
2. 推論1と事実5から、推論2: "この迷走神経興奮反応は握り易いしその上苦しい"が導かれる
3. 推論2から、仮説が否定される

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