その補助は感じする
fact1: この．が発掘するということはないかまたはそれが清しならばその一工場は寄す fact2: 仮にこのブックＳが醸さなくてしかもそれが違くないならその一工場は厚し fact3: 「この．は発掘しないかまたは清しかあるいはどちらもだ」ということは間違っていれば「遺言しない」ということは正しい fact4: もし「厚し」物があるならその補助は感じする fact5: もし仮に「寄すかもしくは厚しかあるいは両方ともな」ものがあるとしたらその補助は感じする fact6: あの清澄さは翼型であるかまたは優しい fact7: この．は遺言するしかつ違い fact8: 仮に「「何らかの物は入り辛くないかまたは厚しかまたはどちらもである」ということは成り立つ」ということは間違いならばぶっとくない fact9: その補助は違い fact10: もしもこの．は清しなら「その一工場は寄す」ということは事実だ fact11: もしこの．が感じするししかもそれが寄すとするとその補助は感じしない fact12: その補助は魏使達であるし邪魔臭い fact13: この．は違い fact14: 「この．は清しということはない」ということは真実だ
void -> assump1: 以下のように仮定する。「この．は発掘するということはないかそれは清し」ということは嘘である; fact3 & assump1 -> int1: この．は遺言しない; fact7 -> int2: この．は遺言する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この．は発掘しないかまたはそれは清しかもしくは両方ともである; int4 & fact1 -> int5: その一工場は寄す; int5 -> int6: その一工場は寄すかもしくは厚し; int6 -> int7: なにがしかの物は寄すかまたは厚しか両方ともだ; int7 & fact5 -> hypothesis;
その補助は感じするということはない
$facts$ = fact1: この．が発掘するということはないかまたはそれが清しならばその一工場は寄す fact2: 仮にこのブックＳが醸さなくてしかもそれが違くないならその一工場は厚し fact3: 「この．は発掘しないかまたは清しかあるいはどちらもだ」ということは間違っていれば「遺言しない」ということは正しい fact4: もし「厚し」物があるならその補助は感じする fact5: もし仮に「寄すかもしくは厚しかあるいは両方ともな」ものがあるとしたらその補助は感じする fact6: あの清澄さは翼型であるかまたは優しい fact7: この．は遺言するしかつ違い fact8: 仮に「「何らかの物は入り辛くないかまたは厚しかまたはどちらもである」ということは成り立つ」ということは間違いならばぶっとくない fact9: その補助は違い fact10: もしもこの．は清しなら「その一工場は寄す」ということは事実だ fact11: もしこの．が感じするししかもそれが寄すとするとその補助は感じしない fact12: その補助は魏使達であるし邪魔臭い fact13: この．は違い fact14: 「この．は清しということはない」ということは真実だ ; $hypothesis$ = その補助は感じする ; $proof$ = 
void -> assump1: 以下のように仮定する。「この．は発掘するということはないかそれは清し」ということは嘘である; fact3 & assump1 -> int1: この．は遺言しない; fact7 -> int2: この．は遺言する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この．は発掘しないかまたはそれは清しかもしくは両方ともである; int4 & fact1 -> int5: その一工場は寄す; int5 -> int6: その一工場は寄すかもしくは厚し; int6 -> int7: なにがしかの物は寄すかまたは厚しか両方ともだ; int7 & fact5 -> hypothesis; __PROVED__
事実1: この．が発掘するということはないかまたはそれが清しならばその一工場は寄す
事実2: 仮にこのブックＳが醸さなくてしかもそれが違くないならその一工場は厚し
事実3: 「この．は発掘しないかまたは清しかあるいはどちらもだ」ということは間違っていれば「遺言しない」ということは正しい
事実4: もし「厚し」物があるならその補助は感じする
事実5: もし仮に「寄すかもしくは厚しかあるいは両方ともな」ものがあるとしたらその補助は感じする
事実6: あの清澄さは翼型であるかまたは優しい
事実7: この．は遺言するしかつ違い
事実8: 仮に「「何らかの物は入り辛くないかまたは厚しかまたはどちらもである」ということは成り立つ」ということは間違いならばぶっとくない
事実9: その補助は違い
事実10: もしもこの．は清しなら「その一工場は寄す」ということは事実だ
事実11: もしこの．が感じするししかもそれが寄すとするとその補助は感じしない
事実12: その補助は魏使達であるし邪魔臭い
事実13: この．は違い
事実14: 「この．は清しということはない」ということは真実だ

仮説: その補助は感じする
1. 仮定1: 以下のように仮定する。「この．は発掘するということはないかそれは清し」ということは嘘である
2. 事実3と仮定1から、推論1: "この．は遺言しない"が導かれる
3. 事実7から、推論2: "この．は遺言する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この．は発掘しないかまたはそれは清しかもしくは両方ともである"が導かれる
6. 推論4と事実1から、推論5: "その一工場は寄す"が導かれる
7. 推論5から、推論6: "その一工場は寄すかもしくは厚し"が導かれる
8. 推論6から、推論7: "なにがしかの物は寄すかまたは厚しか両方ともだ"が導かれる
9. 推論7と事実5から、仮説が導かれる

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