このタピオカはＣＦである
fact1: 仮に「この神経分化は経理する」ということは成り立つなら「それは蒸し暑い」ということは本当である fact2: この神経分化がＣＦでないとすればあのタピオカはＣＦでない fact3: もしも「この神経分化は撓るかあるいはそれは御早い」ということは嘘だということはないとすれば蒸し暑くない fact4: もし「何かは美しないけど古い」ということは嘘なら「蒸し暑くない」ということは正しい fact5: もしも「この神経分化は経理するが御早くない」ということは成り立たないとすればそれは御早い fact6: もしもその特定承継人は蒸し暑いということはないなら「「この神経分化は経理する一方で御早いということはない」ということは真実だ」ということは誤りだ fact7: この神経分化は経理する fact8: 御早い物はＣＦでない一方で撓る fact9: なにがしかの物は埋置するとしたら「美しない一方で古い」ということは成り立たない fact10: あの鼻は経理する fact11: この神経分化が撓らないならこのタピオカはＣＦだ
void -> assump1: 以下のように仮定する。この神経分化は撓る; assump1 -> int1: この神経分化は撓るか御早い; int1 & fact3 -> int2: この神経分化は蒸し暑くない; fact1 & fact7 -> int3: この神経分化は蒸し暑い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この神経分化は撓らない; int5 & fact11 -> hypothesis;
このタピオカはＣＦでない
fact13 -> int6: もし仮にこの神経分化が御早いとするとそれはＣＦだということはないしそれは撓る; fact15 -> int7: もし「その特定承継人は美しないがしかしそれは古い」ということは事実と異なるとしたら蒸し暑くない; fact16 -> int8: もしその特定承継人は埋置するとしたら「美しないけれど古い」ということは成り立たない;
$facts$ = fact1: 仮に「この神経分化は経理する」ということは成り立つなら「それは蒸し暑い」ということは本当である fact2: この神経分化がＣＦでないとすればあのタピオカはＣＦでない fact3: もしも「この神経分化は撓るかあるいはそれは御早い」ということは嘘だということはないとすれば蒸し暑くない fact4: もし「何かは美しないけど古い」ということは嘘なら「蒸し暑くない」ということは正しい fact5: もしも「この神経分化は経理するが御早くない」ということは成り立たないとすればそれは御早い fact6: もしもその特定承継人は蒸し暑いということはないなら「「この神経分化は経理する一方で御早いということはない」ということは真実だ」ということは誤りだ fact7: この神経分化は経理する fact8: 御早い物はＣＦでない一方で撓る fact9: なにがしかの物は埋置するとしたら「美しない一方で古い」ということは成り立たない fact10: あの鼻は経理する fact11: この神経分化が撓らないならこのタピオカはＣＦだ ; $hypothesis$ = このタピオカはＣＦである ; $proof$ = 
void -> assump1: 以下のように仮定する。この神経分化は撓る; assump1 -> int1: この神経分化は撓るか御早い; int1 & fact3 -> int2: この神経分化は蒸し暑くない; fact1 & fact7 -> int3: この神経分化は蒸し暑い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この神経分化は撓らない; int5 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「この神経分化は経理する」ということは成り立つなら「それは蒸し暑い」ということは本当である
事実2: この神経分化がＣＦでないとすればあのタピオカはＣＦでない
事実3: もしも「この神経分化は撓るかあるいはそれは御早い」ということは嘘だということはないとすれば蒸し暑くない
事実4: もし「何かは美しないけど古い」ということは嘘なら「蒸し暑くない」ということは正しい
事実5: もしも「この神経分化は経理するが御早くない」ということは成り立たないとすればそれは御早い
事実6: もしもその特定承継人は蒸し暑いということはないなら「「この神経分化は経理する一方で御早いということはない」ということは真実だ」ということは誤りだ
事実7: この神経分化は経理する
事実8: 御早い物はＣＦでない一方で撓る
事実9: なにがしかの物は埋置するとしたら「美しない一方で古い」ということは成り立たない
事実10: あの鼻は経理する
事実11: この神経分化が撓らないならこのタピオカはＣＦだ

仮説: このタピオカはＣＦである
1. 仮定1: 以下のように仮定する。この神経分化は撓る
2. 仮定1から、推論1: "この神経分化は撓るか御早い"が導かれる
3. 推論1と事実3から、推論2: "この神経分化は蒸し暑くない"が導かれる
4. 事実1と事実7から、推論3: "この神経分化は蒸し暑い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この神経分化は撓らない"が導かれる
7. 推論5と事実11から、仮説が導かれる

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