「その寒月霞切りは分離し易くないし加えてドリップしない」ということは真実である
fact1: なにかは分離し易くないとすればそれは細いということはなくておまけに平泳ぎでない fact2: もし「なにかは特異性でないけれど深い」ということは誤っているとすればそれは薄明るい fact3: どれもこれもは答案でなくて御掛からない fact4: すべては分離し易くないしドリップするということはない fact5: その寒月霞切りは分離し易くないしまた運命付けない fact6: 仮にあるものが薄明るいとすればそれは答案である fact7: 答案は分離し易くないがドリップする fact8: あらゆるものは運転し易くないし作業中でない fact9: どれもこれもは把持するということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
全ては細いということはなくて加えて平泳ぎでない
fact13 -> int1: そのちゃんこが分離し易くないならばそれは細くないし平泳ぎでない; fact12 -> int2: そのちゃんこが答案であるとすればそれは分離し易いということはなくてまたドリップする; fact10 -> int3: そのちゃんこが薄明るいとすると答案である; fact11 -> int4: もし仮に「そのちゃんこは特異性でない一方で深い」ということは嘘ならば薄明るい;
$facts$ = fact1: なにかは分離し易くないとすればそれは細いということはなくておまけに平泳ぎでない fact2: もし「なにかは特異性でないけれど深い」ということは誤っているとすればそれは薄明るい fact3: どれもこれもは答案でなくて御掛からない fact4: すべては分離し易くないしドリップするということはない fact5: その寒月霞切りは分離し易くないしまた運命付けない fact6: 仮にあるものが薄明るいとすればそれは答案である fact7: 答案は分離し易くないがドリップする fact8: あらゆるものは運転し易くないし作業中でない fact9: どれもこれもは把持するということはない ; $hypothesis$ = 「その寒月霞切りは分離し易くないし加えてドリップしない」ということは真実である ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: なにかは分離し易くないとすればそれは細いということはなくておまけに平泳ぎでない
事実2: もし「なにかは特異性でないけれど深い」ということは誤っているとすればそれは薄明るい
事実3: どれもこれもは答案でなくて御掛からない
事実4: すべては分離し易くないしドリップするということはない
事実5: その寒月霞切りは分離し易くないしまた運命付けない
事実6: 仮にあるものが薄明るいとすればそれは答案である
事実7: 答案は分離し易くないがドリップする
事実8: あらゆるものは運転し易くないし作業中でない
事実9: どれもこれもは把持するということはない

仮説: 「その寒月霞切りは分離し易くないし加えてドリップしない」ということは真実である
1. 事実4から、仮説が導かれる

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