もし仮にこの二要素間が写るとすればその開始前は食養法だ
fact1: もしもその開始前が五円玉でないかもしくは記念誌でないかあるいは両方だとしたらこの二要素間は写る fact2: もしもなにがしかのものが形容し難いとすれば掘り下げない fact3: もし仮にその開始前が五円玉でないかそれが記念誌でないとすればこの二要素間は写るということはない fact4: 「「聞き易いし小憎らしい」ということは嘘である」物があるとするとその御祭り気分は形容し難い fact5: 仮にその開始前が記念誌でないとすればこの二要素間は写らない fact6: その開始前が記念誌でないならこの二要素間は食養法でない fact7: 確かめ様は食養法だ fact8: もしも「なんらかのものは食養法であるし果て半島だ」ということは事実でないとすると食養法でない fact9: もし仮になにがしかの物は食養法でないとしたら写らないかあるいは確かめ様であるか両方ともである fact10: もしもその開始前は確かめ様でないとすると五円玉でないかまたは記念誌だということはないかまたはどちらもである fact11: もし仮になんらかの物は掘り下げないとすると「それは食養法であるし果て半島である」ということは間違いである fact12: その開始前は五円玉でないかまたはそれは記念誌であるかまたは両方ともだ fact13: 「「聞き易いし小憎らしい」ということは事実と異なる」ものはある fact14: この二要素間は五円玉である
void -> assump1: 以下のように仮定する。その開始前は確かめ様でない; fact10 & assump1 -> int1: その開始前は五円玉でないかそれは記念誌でない; int1 & fact3 -> int2: この二要素間は写らない; void -> assump2: 以下のように仮定する。この二要素間は写る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その開始前は確かめ様だ; fact7 -> int5: もしも「その開始前は確かめ様である」ということは成り立てばそれは食養法である; int4 & int5 -> int6: その開始前は食養法だ; [assump2] & int6 -> hypothesis;
その御祭り気分は記念誌でない
fact16 -> int7: もしもその御祭り気分は食養法でないならばそれは写るということはないかあるいは確かめ様であるかもしくは両方である; fact15 -> int8: もし仮に「その御祭り気分は食養法で果て半島である」ということは真実だということはないとすれば食養法でない; fact19 -> int9: もし仮にその御祭り気分は掘り下げないとすれば「それは食養法でそれは果て半島だ」ということは本当でない; fact20 -> int10: もしもその御祭り気分が形容し難いならば掘り下げない; fact18 & fact17 -> int11: その御祭り気分は形容し難い; int10 & int11 -> int12: その御祭り気分は掘り下げない; int9 & int12 -> int13: 「「その御祭り気分は食養法で加えて果て半島である」ということは成り立つ」ということは成り立たない; int8 & int13 -> int14: その御祭り気分は食養法でない; int7 & int14 -> int15: その御祭り気分は写るということはないかあるいは確かめ様であるかもしくは両方ともである;
$facts$ = fact1: もしもその開始前が五円玉でないかもしくは記念誌でないかあるいは両方だとしたらこの二要素間は写る fact2: もしもなにがしかのものが形容し難いとすれば掘り下げない fact3: もし仮にその開始前が五円玉でないかそれが記念誌でないとすればこの二要素間は写るということはない fact4: 「「聞き易いし小憎らしい」ということは嘘である」物があるとするとその御祭り気分は形容し難い fact5: 仮にその開始前が記念誌でないとすればこの二要素間は写らない fact6: その開始前が記念誌でないならこの二要素間は食養法でない fact7: 確かめ様は食養法だ fact8: もしも「なんらかのものは食養法であるし果て半島だ」ということは事実でないとすると食養法でない fact9: もし仮になにがしかの物は食養法でないとしたら写らないかあるいは確かめ様であるか両方ともである fact10: もしもその開始前は確かめ様でないとすると五円玉でないかまたは記念誌だということはないかまたはどちらもである fact11: もし仮になんらかの物は掘り下げないとすると「それは食養法であるし果て半島である」ということは間違いである fact12: その開始前は五円玉でないかまたはそれは記念誌であるかまたは両方ともだ fact13: 「「聞き易いし小憎らしい」ということは事実と異なる」ものはある fact14: この二要素間は五円玉である ; $hypothesis$ = もし仮にこの二要素間が写るとすればその開始前は食養法だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その開始前は確かめ様でない; fact10 & assump1 -> int1: その開始前は五円玉でないかそれは記念誌でない; int1 & fact3 -> int2: この二要素間は写らない; void -> assump2: 以下のように仮定する。この二要素間は写る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その開始前は確かめ様だ; fact7 -> int5: もしも「その開始前は確かめ様である」ということは成り立てばそれは食養法である; int4 & int5 -> int6: その開始前は食養法だ; [assump2] & int6 -> hypothesis; __PROVED__
事実1: もしもその開始前が五円玉でないかもしくは記念誌でないかあるいは両方だとしたらこの二要素間は写る
事実2: もしもなにがしかのものが形容し難いとすれば掘り下げない
事実3: もし仮にその開始前が五円玉でないかそれが記念誌でないとすればこの二要素間は写るということはない
事実4: 「「聞き易いし小憎らしい」ということは嘘である」物があるとするとその御祭り気分は形容し難い
事実5: 仮にその開始前が記念誌でないとすればこの二要素間は写らない
事実6: その開始前が記念誌でないならこの二要素間は食養法でない
事実7: 確かめ様は食養法だ
事実8: もしも「なんらかのものは食養法であるし果て半島だ」ということは事実でないとすると食養法でない
事実9: もし仮になにがしかの物は食養法でないとしたら写らないかあるいは確かめ様であるか両方ともである
事実10: もしもその開始前は確かめ様でないとすると五円玉でないかまたは記念誌だということはないかまたはどちらもである
事実11: もし仮になんらかの物は掘り下げないとすると「それは食養法であるし果て半島である」ということは間違いである
事実12: その開始前は五円玉でないかまたはそれは記念誌であるかまたは両方ともだ
事実13: 「「聞き易いし小憎らしい」ということは事実と異なる」ものはある
事実14: この二要素間は五円玉である

仮説: もし仮にこの二要素間が写るとすればその開始前は食養法だ
1. 仮定1: 以下のように仮定する。その開始前は確かめ様でない
2. 事実10と仮定1から、推論1: "その開始前は五円玉でないかそれは記念誌でない"が導かれる
3. 推論1と事実3から、推論2: "この二要素間は写らない"が導かれる
4. 仮定2: 以下のように仮定する。この二要素間は写る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その開始前は確かめ様だ"が導かれる
7. 事実7から、推論5: "もしも「その開始前は確かめ様である」ということは成り立てばそれは食養法である"が導かれる
8. 推論4と推論5から、推論6: "その開始前は食養法だ"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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