あの表具師は休眠しない
fact1: この年金受給者は広しない fact2: 仮になにがしかのものが減らせらないかまたはそれは掃き落とさないなら「減らせらない」ということは真実だ fact3: この年金受給者はいがらっぽくない fact4: もしこの年金受給者が休眠しないとすればそれは与すかあるいはそれは里芋でない fact5: 仮にこの年金受給者が広しということはないならそれは与すかもしくは里芋でないかまたは両方だ fact6: 仮になにがしかの物が減らせらないとするとそれは休眠するということはないかもしくは広しかまたはどちらもである fact7: 仮にこの年金受給者が里芋だということはないならばあの表具師は休眠する fact8: この年金受給者が与すとするとあの表具師は休眠する
fact5 & fact1 -> int1: この年金受給者は与すかもしくは里芋でないかまたはどちらもである; int1 & fact8 & fact7 -> hypothesis;
fact5 & fact1 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact8 & fact7 -> hypothesis;
あの表具師は休眠しない
fact10 -> int2: もし仮にこの年金受給者が減らせらないならばそれは休眠しないかもしくは広しかまたはどちらもだ; fact9 -> int3: もしもこの年金受給者が減らせらないかもしくは掃き落とさないならそれは減らせらない;
$facts$ = fact1: この年金受給者は広しない fact2: 仮になにがしかのものが減らせらないかまたはそれは掃き落とさないなら「減らせらない」ということは真実だ fact3: この年金受給者はいがらっぽくない fact4: もしこの年金受給者が休眠しないとすればそれは与すかあるいはそれは里芋でない fact5: 仮にこの年金受給者が広しということはないならそれは与すかもしくは里芋でないかまたは両方だ fact6: 仮になにがしかの物が減らせらないとするとそれは休眠するということはないかもしくは広しかまたはどちらもである fact7: 仮にこの年金受給者が里芋だということはないならばあの表具師は休眠する fact8: この年金受給者が与すとするとあの表具師は休眠する ; $hypothesis$ = あの表具師は休眠しない ; $proof$ = 
fact5 & fact1 -> int1: この年金受給者は与すかもしくは里芋でないかまたはどちらもである; int1 & fact8 & fact7 -> hypothesis; __DISPROVED__
事実1: この年金受給者は広しない
事実2: 仮になにがしかのものが減らせらないかまたはそれは掃き落とさないなら「減らせらない」ということは真実だ
事実3: この年金受給者はいがらっぽくない
事実4: もしこの年金受給者が休眠しないとすればそれは与すかあるいはそれは里芋でない
事実5: 仮にこの年金受給者が広しということはないならそれは与すかもしくは里芋でないかまたは両方だ
事実6: 仮になにがしかの物が減らせらないとするとそれは休眠するということはないかもしくは広しかまたはどちらもである
事実7: 仮にこの年金受給者が里芋だということはないならばあの表具師は休眠する
事実8: この年金受給者が与すとするとあの表具師は休眠する

仮説: あの表具師は休眠しない
1. 事実5と事実1から、推論1: "この年金受給者は与すかもしくは里芋でないかまたはどちらもである"が導かれる
2. 推論1と事実8と事実7から、仮説が否定される

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