その十八年後は分かち合える
fact1: もしも何かは審理制度でないとすると「漢数字でないけど重い」ということは成り立たない fact2: その十八年後は崩れ落ちない fact3: 「その細胞内ＮＡは僧位であるということはないけれど稼ぎ捲る」ということは誤りである fact4: あのアイスブルーは崩れ落ちるということはない fact5: 重くないものは否めるし分かち合える fact6: このスコップが分かち合えるとすればその細胞内ＮＡはクロックアップする fact7: もしも「「クロックアップする」ということは成り立つ」ものがあるとしたらその十八年後は稼ぎ捲る fact8: 何かは否めないならば「クロックアップするしそれにそれは分かち合える」ということは偽だ fact9: もしも反時計方向は一工場でないとするとそれは審理制度でない fact10: その細胞内ＮＡは僧位でない fact11: 仮になんらかの物はクロックアップすれば「分かち合える」ということは真実である fact12: 仮になにかは審理制度でないとすればそれが重くないしさらに漢数字である fact13: もしもあのアイスブルーが崩れ落ちないとすればこのスコップが反時計方向だけど一工場でない fact14: 仮にその十八年後がクロックアップしないならその細胞内ＮＡは僧位でないが稼ぎ捲る
void -> assump1: 以下のように仮定する。その十八年後はクロックアップしない; fact14 & assump1 -> int1: その細胞内ＮＡは僧位でないが稼ぎ捲る; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その十八年後はクロックアップする; fact11 -> int4: もし仮にその十八年後がクロックアップすれば分かち合える; int3 & int4 -> hypothesis;
その十八年後は稼ぎ捲る
fact19 -> int5: もしもこのスコップが重くないとすれば否めるしまた分かち合える; fact15 -> int6: もしこのスコップは審理制度でないならば「それは重くないしそれは漢数字だ」ということは成り立つ; fact20 -> int7: このスコップは反時計方向であるがしかし一工場でないとすると「審理制度でない」ということは確かである; fact17 & fact18 -> int8: このスコップは反時計方向だ一方で一工場でない; int7 & int8 -> int9: このスコップは審理制度でない; int6 & int9 -> int10: このスコップは重くない一方で漢数字だ; int10 -> int11: このスコップは重くない; int5 & int11 -> int12: このスコップは否めるしさらに分かち合える; int12 -> int13: このスコップは分かち合える; fact21 & int13 -> int14: 「その細胞内ＮＡはクロックアップしない」ということは成り立たない; int14 -> int15: 「クロックアップする」ものはある; int15 & fact16 -> hypothesis;
$facts$ = fact1: もしも何かは審理制度でないとすると「漢数字でないけど重い」ということは成り立たない fact2: その十八年後は崩れ落ちない fact3: 「その細胞内ＮＡは僧位であるということはないけれど稼ぎ捲る」ということは誤りである fact4: あのアイスブルーは崩れ落ちるということはない fact5: 重くないものは否めるし分かち合える fact6: このスコップが分かち合えるとすればその細胞内ＮＡはクロックアップする fact7: もしも「「クロックアップする」ということは成り立つ」ものがあるとしたらその十八年後は稼ぎ捲る fact8: 何かは否めないならば「クロックアップするしそれにそれは分かち合える」ということは偽だ fact9: もしも反時計方向は一工場でないとするとそれは審理制度でない fact10: その細胞内ＮＡは僧位でない fact11: 仮になんらかの物はクロックアップすれば「分かち合える」ということは真実である fact12: 仮になにかは審理制度でないとすればそれが重くないしさらに漢数字である fact13: もしもあのアイスブルーが崩れ落ちないとすればこのスコップが反時計方向だけど一工場でない fact14: 仮にその十八年後がクロックアップしないならその細胞内ＮＡは僧位でないが稼ぎ捲る ; $hypothesis$ = その十八年後は分かち合える ; $proof$ = 
void -> assump1: 以下のように仮定する。その十八年後はクロックアップしない; fact14 & assump1 -> int1: その細胞内ＮＡは僧位でないが稼ぎ捲る; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その十八年後はクロックアップする; fact11 -> int4: もし仮にその十八年後がクロックアップすれば分かち合える; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも何かは審理制度でないとすると「漢数字でないけど重い」ということは成り立たない
事実2: その十八年後は崩れ落ちない
事実3: 「その細胞内ＮＡは僧位であるということはないけれど稼ぎ捲る」ということは誤りである
事実4: あのアイスブルーは崩れ落ちるということはない
事実5: 重くないものは否めるし分かち合える
事実6: このスコップが分かち合えるとすればその細胞内ＮＡはクロックアップする
事実7: もしも「「クロックアップする」ということは成り立つ」ものがあるとしたらその十八年後は稼ぎ捲る
事実8: 何かは否めないならば「クロックアップするしそれにそれは分かち合える」ということは偽だ
事実9: もしも反時計方向は一工場でないとするとそれは審理制度でない
事実10: その細胞内ＮＡは僧位でない
事実11: 仮になんらかの物はクロックアップすれば「分かち合える」ということは真実である
事実12: 仮になにかは審理制度でないとすればそれが重くないしさらに漢数字である
事実13: もしもあのアイスブルーが崩れ落ちないとすればこのスコップが反時計方向だけど一工場でない
事実14: 仮にその十八年後がクロックアップしないならその細胞内ＮＡは僧位でないが稼ぎ捲る

仮説: その十八年後は分かち合える
1. 仮定1: 以下のように仮定する。その十八年後はクロックアップしない
2. 事実14と仮定1から、推論1: "その細胞内ＮＡは僧位でないが稼ぎ捲る"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その十八年後はクロックアップする"が導かれる
5. 事実11から、推論4: "もし仮にその十八年後がクロックアップすれば分かち合える"が導かれる
6. 推論3と推論4から、仮説が導かれる

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