この仕打ちは人減らしであるかまたは利用可能時間であるかもしくは両方ともだ
fact1: この仕打ちは重要任務でない fact2: もし仮に決め難いということはない物が吸引出来るとしたらそれはブッフェでない fact3: この仕打ちは転記しない fact4: 仮にとあるものはシーフードでないなら「それは人減らしであるかもしくはそれは恨みがましいかあるいは両方だ」ということは偽だ fact5: 仮にこの仕打ちは転記しないならば「人減らしであるか利用可能時間であるかあるいは両方ともだ」ということは嘘だ fact6: この仕打ちが転記しないなら利用可能時間でない fact7: 「その人材募集は瑞々しいかあるいはそれは転記する」ということは成り立たない fact8: なにがしかのものはブッフェでないとすると利用可能時間である一方で転記しない fact9: そのマテリアルは転記しない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
この仕打ちは人減らしであるか利用可能時間であるかもしくはどちらもである
fact10 -> int1: もしもこの仕打ちはブッフェでないとするとそれは利用可能時間だがしかし転記しない; fact11 -> int2: もし仮にこの仕打ちは決め難くないけれど吸引出来るとすればそれはブッフェでない;
$facts$ = fact1: この仕打ちは重要任務でない fact2: もし仮に決め難いということはない物が吸引出来るとしたらそれはブッフェでない fact3: この仕打ちは転記しない fact4: 仮にとあるものはシーフードでないなら「それは人減らしであるかもしくはそれは恨みがましいかあるいは両方だ」ということは偽だ fact5: 仮にこの仕打ちは転記しないならば「人減らしであるか利用可能時間であるかあるいは両方ともだ」ということは嘘だ fact6: この仕打ちが転記しないなら利用可能時間でない fact7: 「その人材募集は瑞々しいかあるいはそれは転記する」ということは成り立たない fact8: なにがしかのものはブッフェでないとすると利用可能時間である一方で転記しない fact9: そのマテリアルは転記しない ; $hypothesis$ = この仕打ちは人減らしであるかまたは利用可能時間であるかもしくは両方ともだ ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: この仕打ちは重要任務でない
事実2: もし仮に決め難いということはない物が吸引出来るとしたらそれはブッフェでない
事実3: この仕打ちは転記しない
事実4: 仮にとあるものはシーフードでないなら「それは人減らしであるかもしくはそれは恨みがましいかあるいは両方だ」ということは偽だ
事実5: 仮にこの仕打ちは転記しないならば「人減らしであるか利用可能時間であるかあるいは両方ともだ」ということは嘘だ
事実6: この仕打ちが転記しないなら利用可能時間でない
事実7: 「その人材募集は瑞々しいかあるいはそれは転記する」ということは成り立たない
事実8: なにがしかのものはブッフェでないとすると利用可能時間である一方で転記しない
事実9: そのマテリアルは転記しない

仮説: この仕打ちは人減らしであるかまたは利用可能時間であるかもしくは両方ともだ
1. 事実5と事実3から、仮説が否定される

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