この実験中はシニア・スタッフだ
fact1: この実験中はぶん殴らない fact2: その作り物はシニア・スタッフでない fact3: もしなにかはアメリカ産業でないとすると「それは武であるけれど馬鹿らしくない」ということは成り立たない fact4: この実験中はシニア・スタッフでない fact5: もしもとある物が武でないとすればそれはシニア・スタッフであるしかつ馬鹿らしい fact6: 「この実験中はアメリカ産業であるし命ず」ということは誤りだとするとそれは武でない fact7: もし仮にある物が陳情しないとしたらアメリカ産業でなくてその上それは命ず fact8: その継続時間バーはシニア・スタッフだということはない fact9: 仮にこの実験中は陳情しないならば「それはアメリカ産業であるしまた命ず」ということは成り立たない
fact4 -> hypothesis;
fact4 -> hypothesis;
そのヤマハ製はシニア・スタッフでない
fact11 -> int1: 仮にこの実験中はアメリカ産業でないとすると「それは武である一方で馬鹿らしくない」ということは誤っている; fact10 -> int2: もしもあの前庭窓が陳情しないとしたらアメリカ産業でないし命ず;
$facts$ = fact1: この実験中はぶん殴らない fact2: その作り物はシニア・スタッフでない fact3: もしなにかはアメリカ産業でないとすると「それは武であるけれど馬鹿らしくない」ということは成り立たない fact4: この実験中はシニア・スタッフでない fact5: もしもとある物が武でないとすればそれはシニア・スタッフであるしかつ馬鹿らしい fact6: 「この実験中はアメリカ産業であるし命ず」ということは誤りだとするとそれは武でない fact7: もし仮にある物が陳情しないとしたらアメリカ産業でなくてその上それは命ず fact8: その継続時間バーはシニア・スタッフだということはない fact9: 仮にこの実験中は陳情しないならば「それはアメリカ産業であるしまた命ず」ということは成り立たない ; $hypothesis$ = この実験中はシニア・スタッフだ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: この実験中はぶん殴らない
事実2: その作り物はシニア・スタッフでない
事実3: もしなにかはアメリカ産業でないとすると「それは武であるけれど馬鹿らしくない」ということは成り立たない
事実4: この実験中はシニア・スタッフでない
事実5: もしもとある物が武でないとすればそれはシニア・スタッフであるしかつ馬鹿らしい
事実6: 「この実験中はアメリカ産業であるし命ず」ということは誤りだとするとそれは武でない
事実7: もし仮にある物が陳情しないとしたらアメリカ産業でなくてその上それは命ず
事実8: その継続時間バーはシニア・スタッフだということはない
事実9: 仮にこの実験中は陳情しないならば「それはアメリカ産業であるしまた命ず」ということは成り立たない

仮説: この実験中はシニア・スタッフだ
1. 事実4から、仮説が否定される

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