あの就寝中は表示等でないしそれは幹部等であるということはない
fact1: もしあの就寝中が折衝するということはないならばそれは加工し易い一方で表示等だということはない fact2: 「なにがしかの物は法螺貝であるか定性評価であるかもしくは両方だ」ということは間違っているとすると折衝するということはない fact3: 「あの就寝中は法螺貝であるかもしくは定性評価であるかもしくは両方ともだ」ということは嘘だ fact4: あの就寝中は幹部等でない
fact2 -> int1: もしも「あの就寝中は法螺貝であるか定性評価であるかどちらもだ」ということは成り立たないとすれば折衝しない; int1 & fact3 -> int2: あの就寝中は折衝しない; int2 & fact1 -> int3: あの就寝中は加工し易いけれど表示等だということはない; int3 -> int4: 「あの就寝中は表示等でない」ということは成り立つ; int4 & fact4 -> hypothesis;
$facts$ = fact1: もしあの就寝中が折衝するということはないならばそれは加工し易い一方で表示等だということはない fact2: 「なにがしかの物は法螺貝であるか定性評価であるかもしくは両方だ」ということは間違っているとすると折衝するということはない fact3: 「あの就寝中は法螺貝であるかもしくは定性評価であるかもしくは両方ともだ」ということは嘘だ fact4: あの就寝中は幹部等でない ; $hypothesis$ = あの就寝中は表示等でないしそれは幹部等であるということはない ; $proof$ = 
fact2 -> int1: もしも「あの就寝中は法螺貝であるか定性評価であるかどちらもだ」ということは成り立たないとすれば折衝しない; int1 & fact3 -> int2: あの就寝中は折衝しない; int2 & fact1 -> int3: あの就寝中は加工し易いけれど表示等だということはない; int3 -> int4: 「あの就寝中は表示等でない」ということは成り立つ; int4 & fact4 -> hypothesis; __PROVED__
事実1: もしあの就寝中が折衝するということはないならばそれは加工し易い一方で表示等だということはない
事実2: 「なにがしかの物は法螺貝であるか定性評価であるかもしくは両方だ」ということは間違っているとすると折衝するということはない
事実3: 「あの就寝中は法螺貝であるかもしくは定性評価であるかもしくは両方ともだ」ということは嘘だ
事実4: あの就寝中は幹部等でない

仮説: あの就寝中は表示等でないしそれは幹部等であるということはない
1. 事実2から、推論1: "もしも「あの就寝中は法螺貝であるか定性評価であるかどちらもだ」ということは成り立たないとすれば折衝しない"が導かれる
2. 推論1と事実3から、推論2: "あの就寝中は折衝しない"が導かれる
3. 推論2と事実1から、推論3: "あの就寝中は加工し易いけれど表示等だということはない"が導かれる
4. 推論3から、推論4: "「あの就寝中は表示等でない」ということは成り立つ"が導かれる
5. 推論4と事実4から、仮説が導かれる

よって、仮説が証明されました。