その図田帳は危なっかしい
fact1: もし「あの申請当事者は引き直さなくておまけに寝れない」ということは嘘であるなら「その図田帳は危なっかしい」ということは正しい fact2: 「仮にとあるものは起こり難いなら「あの申請当事者は引き直さなくておまけに寝れない」ということは間違いである」ということは間違っていない fact3: この飢え死には起こり難いしおまけに雷精だ fact4: 「あの申請当事者は引き直さないがしかしそれは危なっかしい」ということは成り立たない fact5: 「あの西洋以外は由々しいということはないしそれは引き直すということはない」ということは間違っている fact6: 「生活改善グループである」物はある fact7: 「その図田帳は危なっかしくなくて雷精でない」ということは真実でない
fact3 -> int1: この飢え死には起こり難い; int1 -> int2: 起こり難いものはある; int2 & fact2 -> int3: 「あの申請当事者は引き直さなくて寝れるということはない」ということは成り立たない; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし「あの申請当事者は引き直さなくておまけに寝れない」ということは嘘であるなら「その図田帳は危なっかしい」ということは正しい fact2: 「仮にとあるものは起こり難いなら「あの申請当事者は引き直さなくておまけに寝れない」ということは間違いである」ということは間違っていない fact3: この飢え死には起こり難いしおまけに雷精だ fact4: 「あの申請当事者は引き直さないがしかしそれは危なっかしい」ということは成り立たない fact5: 「あの西洋以外は由々しいということはないしそれは引き直すということはない」ということは間違っている fact6: 「生活改善グループである」物はある fact7: 「その図田帳は危なっかしくなくて雷精でない」ということは真実でない ; $hypothesis$ = その図田帳は危なっかしい ; $proof$ = 
fact3 -> int1: この飢え死には起こり難い; int1 -> int2: 起こり難いものはある; int2 & fact2 -> int3: 「あの申請当事者は引き直さなくて寝れるということはない」ということは成り立たない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの申請当事者は引き直さなくておまけに寝れない」ということは嘘であるなら「その図田帳は危なっかしい」ということは正しい
事実2: 「仮にとあるものは起こり難いなら「あの申請当事者は引き直さなくておまけに寝れない」ということは間違いである」ということは間違っていない
事実3: この飢え死には起こり難いしおまけに雷精だ
事実4: 「あの申請当事者は引き直さないがしかしそれは危なっかしい」ということは成り立たない
事実5: 「あの西洋以外は由々しいということはないしそれは引き直すということはない」ということは間違っている
事実6: 「生活改善グループである」物はある
事実7: 「その図田帳は危なっかしくなくて雷精でない」ということは真実でない

仮説: その図田帳は危なっかしい
1. 事実3から、推論1: "この飢え死には起こり難い"が導かれる
2. 推論1から、推論2: "起こり難いものはある"が導かれる
3. 推論2と事実2から、推論3: "「あの申請当事者は引き直さなくて寝れるということはない」ということは成り立たない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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