この蓋石は確定期限付け債務である
fact1: 何かは捧げるなら大土地所有者でないか誤り無いかまたは両方である fact2: もし「あの砲火は撥ね付けるけど確定期限付け債務でない」ということは確かでないとするとこの蓋石は確定期限付け債務でない fact3: あの砲火は大土地所有者だとすれば「あの客席は捧げる」ということは成り立つ fact4: 何らかの物が捧げないとすると撥ね付けるし更に大土地所有者である fact5: この蓋石は加筆する fact6: あの砲火は大土地所有者であるかあるいは撥ね付けないかあるいはどちらもである fact7: もし仮に「あの客席は捧げる」ということは成り立てばその保呂草達は誤り無い fact8: 「あの砲火は誤り無くないし捧げない」ということは成り立つということはないならばその預金振り替えは捧げない fact9: もしもその保呂草達が撥ね付ければあの砲火は誤り無い fact10: 仮にその保呂草達が誤り無いとすればあの蓋石は確定期限付け債務である fact11: あの客席は蒸留する fact12: もしもなんらかの物は大土地所有者でないか誤り無いかまたは両方ともであるとするとそれは大土地所有者でない fact13: その日本経済全体は確定期限付け債務である fact14: もし仮に「あの客席は遺影でないけど人恋しい」ということは間違いであるとすればその保呂草達は捧げる fact15: あの砲火が撥ね付けるということはないとすればあの客席は捧げる fact16: あの客席は印象深いとすれば「遺影であるということはないし人恋しい」ということは嘘である
fact6 & fact3 & fact15 -> int1: あの客席は捧げる; int1 & fact7 -> int2: その保呂草達は誤り無い; int2 & fact10 -> hypothesis;
fact6 & fact3 & fact15 -> int1: {C}{c}; int1 & fact7 -> int2: {D}{b}; int2 & fact10 -> hypothesis;
この蓋石は確定期限付け債務でない
fact19 -> int3: もし仮にその保呂草達が大土地所有者でないかもしくはそれが誤り無いとすれば大土地所有者でない; fact17 -> int4: もしその保呂草達が捧げるとするとそれは大土地所有者でないかあるいは誤り無いかあるいは両方ともだ;
$facts$ = fact1: 何かは捧げるなら大土地所有者でないか誤り無いかまたは両方である fact2: もし「あの砲火は撥ね付けるけど確定期限付け債務でない」ということは確かでないとするとこの蓋石は確定期限付け債務でない fact3: あの砲火は大土地所有者だとすれば「あの客席は捧げる」ということは成り立つ fact4: 何らかの物が捧げないとすると撥ね付けるし更に大土地所有者である fact5: この蓋石は加筆する fact6: あの砲火は大土地所有者であるかあるいは撥ね付けないかあるいはどちらもである fact7: もし仮に「あの客席は捧げる」ということは成り立てばその保呂草達は誤り無い fact8: 「あの砲火は誤り無くないし捧げない」ということは成り立つということはないならばその預金振り替えは捧げない fact9: もしもその保呂草達が撥ね付ければあの砲火は誤り無い fact10: 仮にその保呂草達が誤り無いとすればあの蓋石は確定期限付け債務である fact11: あの客席は蒸留する fact12: もしもなんらかの物は大土地所有者でないか誤り無いかまたは両方ともであるとするとそれは大土地所有者でない fact13: その日本経済全体は確定期限付け債務である fact14: もし仮に「あの客席は遺影でないけど人恋しい」ということは間違いであるとすればその保呂草達は捧げる fact15: あの砲火が撥ね付けるということはないとすればあの客席は捧げる fact16: あの客席は印象深いとすれば「遺影であるということはないし人恋しい」ということは嘘である ; $hypothesis$ = この蓋石は確定期限付け債務である ; $proof$ = 
fact6 & fact3 & fact15 -> int1: あの客席は捧げる; int1 & fact7 -> int2: その保呂草達は誤り無い; int2 & fact10 -> hypothesis; __PROVED__
事実1: 何かは捧げるなら大土地所有者でないか誤り無いかまたは両方である
事実2: もし「あの砲火は撥ね付けるけど確定期限付け債務でない」ということは確かでないとするとこの蓋石は確定期限付け債務でない
事実3: あの砲火は大土地所有者だとすれば「あの客席は捧げる」ということは成り立つ
事実4: 何らかの物が捧げないとすると撥ね付けるし更に大土地所有者である
事実5: この蓋石は加筆する
事実6: あの砲火は大土地所有者であるかあるいは撥ね付けないかあるいはどちらもである
事実7: もし仮に「あの客席は捧げる」ということは成り立てばその保呂草達は誤り無い
事実8: 「あの砲火は誤り無くないし捧げない」ということは成り立つということはないならばその預金振り替えは捧げない
事実9: もしもその保呂草達が撥ね付ければあの砲火は誤り無い
事実10: 仮にその保呂草達が誤り無いとすればあの蓋石は確定期限付け債務である
事実11: あの客席は蒸留する
事実12: もしもなんらかの物は大土地所有者でないか誤り無いかまたは両方ともであるとするとそれは大土地所有者でない
事実13: その日本経済全体は確定期限付け債務である
事実14: もし仮に「あの客席は遺影でないけど人恋しい」ということは間違いであるとすればその保呂草達は捧げる
事実15: あの砲火が撥ね付けるということはないとすればあの客席は捧げる
事実16: あの客席は印象深いとすれば「遺影であるということはないし人恋しい」ということは嘘である

仮説: この蓋石は確定期限付け債務である
1. 事実6と事実3と事実15から、推論1: "あの客席は捧げる"が導かれる
2. 推論1と事実7から、推論2: "その保呂草達は誤り無い"が導かれる
3. 推論2と事実10から、仮説が導かれる

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