その裁判外紛争処理制度はおどろおどろしい
fact1: あの影法師は軽快する fact2: もしあの影法師が給与するしそれにそれがおどろおどろしいとしたらあの二ＡＶＩは軽快しない fact3: この種蒔きは給与する fact4: あの二ＡＶＩは給与する fact5: もしもあの影法師は軽快するとすれば「あの一ＰＸは軽快する」ということは本当だ fact6: もしもあの二ＡＶＩがサンキュでないならばあの裁判外紛争処理制度は給与するししかもおどろおどろしい fact7: この四句は給与するしそれにあぶれる fact8: もしも何らかの物が懐かしいならばそれはサンキュでないしそれは軽快する fact9: 仮にあの二ＡＶＩが給与するならあの一ＰＸはサンキュである fact10: 仮にあの一ＰＸがサンキュだしかつ軽快するとすればその裁判外紛争処理制度はおどろおどろしくない
fact9 & fact4 -> int1: あの一ＰＸはサンキュである; fact5 & fact1 -> int2: あの一ＰＸは軽快する; int1 & int2 -> int3: あの一ＰＸはサンキュでかつ軽快する; int3 & fact10 -> hypothesis;
fact9 & fact4 -> int1: {B}{b}; fact5 & fact1 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); int3 & fact10 -> hypothesis;
その裁判外紛争処理制度はおどろおどろしい
fact11 -> int4: もしもあの二ＡＶＩが懐かしいとしたらサンキュでないしさらに軽快する;
$facts$ = fact1: あの影法師は軽快する fact2: もしあの影法師が給与するしそれにそれがおどろおどろしいとしたらあの二ＡＶＩは軽快しない fact3: この種蒔きは給与する fact4: あの二ＡＶＩは給与する fact5: もしもあの影法師は軽快するとすれば「あの一ＰＸは軽快する」ということは本当だ fact6: もしもあの二ＡＶＩがサンキュでないならばあの裁判外紛争処理制度は給与するししかもおどろおどろしい fact7: この四句は給与するしそれにあぶれる fact8: もしも何らかの物が懐かしいならばそれはサンキュでないしそれは軽快する fact9: 仮にあの二ＡＶＩが給与するならあの一ＰＸはサンキュである fact10: 仮にあの一ＰＸがサンキュだしかつ軽快するとすればその裁判外紛争処理制度はおどろおどろしくない ; $hypothesis$ = その裁判外紛争処理制度はおどろおどろしい ; $proof$ = 
fact9 & fact4 -> int1: あの一ＰＸはサンキュである; fact5 & fact1 -> int2: あの一ＰＸは軽快する; int1 & int2 -> int3: あの一ＰＸはサンキュでかつ軽快する; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: あの影法師は軽快する
事実2: もしあの影法師が給与するしそれにそれがおどろおどろしいとしたらあの二ＡＶＩは軽快しない
事実3: この種蒔きは給与する
事実4: あの二ＡＶＩは給与する
事実5: もしもあの影法師は軽快するとすれば「あの一ＰＸは軽快する」ということは本当だ
事実6: もしもあの二ＡＶＩがサンキュでないならばあの裁判外紛争処理制度は給与するししかもおどろおどろしい
事実7: この四句は給与するしそれにあぶれる
事実8: もしも何らかの物が懐かしいならばそれはサンキュでないしそれは軽快する
事実9: 仮にあの二ＡＶＩが給与するならあの一ＰＸはサンキュである
事実10: 仮にあの一ＰＸがサンキュだしかつ軽快するとすればその裁判外紛争処理制度はおどろおどろしくない

仮説: その裁判外紛争処理制度はおどろおどろしい
1. 事実9と事実4から、推論1: "あの一ＰＸはサンキュである"が導かれる
2. 事実5と事実1から、推論2: "あの一ＰＸは軽快する"が導かれる
3. 推論1と推論2から、推論3: "あの一ＰＸはサンキュでかつ軽快する"が導かれる
4. 推論3と事実10から、仮説が否定される

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