その一週間後は一日する
fact1: そのエープリルは身体可動性であるとしたらそれは人間らしい fact2: そのエープリルは身体可動性だ fact3: 「なんらかのものは一日しないけど身体可動性である」ということは間違いであるとしたら一日する fact4: 「この東京地裁判決がトラックボールでなくて人間らしくないとしたらその一週間後は一日しない」ということは誤りでない fact5: もしそのエープリルが人間らしいならばこの東京地裁判決はトラックボールでなくてその上人間らしくない
fact1 & fact2 -> int1: そのエープリルは人間らしい; int1 & fact5 -> int2: この東京地裁判決はトラックボールであるということはないしおまけに人間らしくない; int2 & fact4 -> hypothesis;
その一週間後は一日する
fact6 -> int3: 「その一週間後は一日しない一方でそれは身体可動性である」ということは間違っているとしたら「一日する」ということは間違いでない;
$facts$ = fact1: そのエープリルは身体可動性であるとしたらそれは人間らしい fact2: そのエープリルは身体可動性だ fact3: 「なんらかのものは一日しないけど身体可動性である」ということは間違いであるとしたら一日する fact4: 「この東京地裁判決がトラックボールでなくて人間らしくないとしたらその一週間後は一日しない」ということは誤りでない fact5: もしそのエープリルが人間らしいならばこの東京地裁判決はトラックボールでなくてその上人間らしくない ; $hypothesis$ = その一週間後は一日する ; $proof$ = 
fact1 & fact2 -> int1: そのエープリルは人間らしい; int1 & fact5 -> int2: この東京地裁判決はトラックボールであるということはないしおまけに人間らしくない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: そのエープリルは身体可動性であるとしたらそれは人間らしい
事実2: そのエープリルは身体可動性だ
事実3: 「なんらかのものは一日しないけど身体可動性である」ということは間違いであるとしたら一日する
事実4: 「この東京地裁判決がトラックボールでなくて人間らしくないとしたらその一週間後は一日しない」ということは誤りでない
事実5: もしそのエープリルが人間らしいならばこの東京地裁判決はトラックボールでなくてその上人間らしくない

仮説: その一週間後は一日する
1. 事実1と事実2から、推論1: "そのエープリルは人間らしい"が導かれる
2. 推論1と事実5から、推論2: "この東京地裁判決はトラックボールであるということはないしおまけに人間らしくない"が導かれる
3. 推論2と事実4から、仮説が否定される

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