「その相互チェックは行い易いが螺子穴でない」ということは成り立つということはない
fact1: 「仮に「出府する」ものはあれば「その相互チェックは行い易いけれど螺子穴であるということはない」ということは本当だということはない」ということは真実だ fact2: 「螺子穴である」物はある fact3: 「もしもなにがしかの物は出府するとしたら「その相互チェックは行い易いししかもそれは螺子穴だ」ということは誤っている」ということは確かだ fact4: もし仮に「その用途転換は畏怖する」ということは間違いでないならあの火柱は軟らかくない fact5: 軟らかくない物は螺子穴であるしさらに行い易い fact6: 「「その相互チェックは行い易いししかもそれは螺子穴である」ということは正しい」ということは間違っている fact7: 「その相互チェックはファクスするがしかしそれはノーギャラだということはない」ということは誤っている fact8: 「「出府する」ということは確かである」ものはある fact9: もし何かは出府するとするとそれは行い易いが螺子穴でない fact10: もしも「畏怖する」ものがあるとするとその用途転換は畏怖するかもしくはそれは軟らかいということはないかもしくは両方ともだ fact11: この恋人以外は畏怖する fact12: あの火柱が出府するとするとその相互チェックは愛らしい
fact8 & fact1 -> hypothesis;
fact8 & fact1 -> hypothesis;
その相互チェックは行い易いが螺子穴でない
fact13 -> int1: 仮にその相互チェックが出府するならそれは行い易いしかつ螺子穴でない;
$facts$ = fact1: 「仮に「出府する」ものはあれば「その相互チェックは行い易いけれど螺子穴であるということはない」ということは本当だということはない」ということは真実だ fact2: 「螺子穴である」物はある fact3: 「もしもなにがしかの物は出府するとしたら「その相互チェックは行い易いししかもそれは螺子穴だ」ということは誤っている」ということは確かだ fact4: もし仮に「その用途転換は畏怖する」ということは間違いでないならあの火柱は軟らかくない fact5: 軟らかくない物は螺子穴であるしさらに行い易い fact6: 「「その相互チェックは行い易いししかもそれは螺子穴である」ということは正しい」ということは間違っている fact7: 「その相互チェックはファクスするがしかしそれはノーギャラだということはない」ということは誤っている fact8: 「「出府する」ということは確かである」ものはある fact9: もし何かは出府するとするとそれは行い易いが螺子穴でない fact10: もしも「畏怖する」ものがあるとするとその用途転換は畏怖するかもしくはそれは軟らかいということはないかもしくは両方ともだ fact11: この恋人以外は畏怖する fact12: あの火柱が出府するとするとその相互チェックは愛らしい ; $hypothesis$ = 「その相互チェックは行い易いが螺子穴でない」ということは成り立つということはない ; $proof$ = 
fact8 & fact1 -> hypothesis; __PROVED__
事実1: 「仮に「出府する」ものはあれば「その相互チェックは行い易いけれど螺子穴であるということはない」ということは本当だということはない」ということは真実だ
事実2: 「螺子穴である」物はある
事実3: 「もしもなにがしかの物は出府するとしたら「その相互チェックは行い易いししかもそれは螺子穴だ」ということは誤っている」ということは確かだ
事実4: もし仮に「その用途転換は畏怖する」ということは間違いでないならあの火柱は軟らかくない
事実5: 軟らかくない物は螺子穴であるしさらに行い易い
事実6: 「「その相互チェックは行い易いししかもそれは螺子穴である」ということは正しい」ということは間違っている
事実7: 「その相互チェックはファクスするがしかしそれはノーギャラだということはない」ということは誤っている
事実8: 「「出府する」ということは確かである」ものはある
事実9: もし何かは出府するとするとそれは行い易いが螺子穴でない
事実10: もしも「畏怖する」ものがあるとするとその用途転換は畏怖するかもしくはそれは軟らかいということはないかもしくは両方ともだ
事実11: この恋人以外は畏怖する
事実12: あの火柱が出府するとするとその相互チェックは愛らしい

仮説: 「その相互チェックは行い易いが螺子穴でない」ということは成り立つということはない
1. 事実8と事実1から、仮説が導かれる

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