「そのランダムは発痛物質でなくてしかも期待だということはない」ということは真実である
fact1: 「発痛物質でないがしかし期待な」ものがあるとするとそのランダムは嫌らしい fact2: そのランダムは税務上でないしそれにそれは一瞬でない fact3: もし仮にあの粘着性が蒸留しないならそれは嫌らしいということはないし旨いということはない fact4: もしあの粘着性は嫌らしくないとすると「このバジェットは御詳しいし噛み砕く」ということは事実と異なる fact5: もし「噛み砕かない一方で御詳しい」物があればそのランダムは嫌らしい fact6: 「何かは嫌らしい」ということは事実だ fact7: そのランダムが嫌らしいとしたらそれは発痛物質でないしさらに期待でない fact8: 何もかもは蒸留しないしかつ振りかぶる fact9: 「噛み砕くしさらに御詳しい」物はある fact10: そのランダムが嫌らしいならばそれは発痛物質だということはない fact11: 「発痛物質である」ものはある fact12: 「もしも何らかの物が期待でないけれど発痛物質だとするとそのランダムは嫌らしい」ということは事実である fact13: なにかは噛み砕かないけど御詳しい
fact13 & fact5 -> int1: そのランダムは嫌らしい; int1 & fact7 -> hypothesis;
「そのランダムは発痛物質でないししかも期待でない」ということは嘘だ
fact16 -> int2: そのロッククライミングは蒸留するということはないが振りかぶる; int2 -> int3: そのロッククライミングは蒸留しない; int3 -> int4: あらゆる物は蒸留しない; int4 -> int5: 「あの粘着性は蒸留する」ということは成り立たない; int5 & fact14 -> int6: 「あの粘着性は嫌らしくないしそれは旨くない」ということは真実だ; int6 -> int7: あの粘着性は嫌らしくない; fact15 & int7 -> int8: 「このバジェットは御詳しくて噛み砕く」ということは間違いだ;
$facts$ = fact1: 「発痛物質でないがしかし期待な」ものがあるとするとそのランダムは嫌らしい fact2: そのランダムは税務上でないしそれにそれは一瞬でない fact3: もし仮にあの粘着性が蒸留しないならそれは嫌らしいということはないし旨いということはない fact4: もしあの粘着性は嫌らしくないとすると「このバジェットは御詳しいし噛み砕く」ということは事実と異なる fact5: もし「噛み砕かない一方で御詳しい」物があればそのランダムは嫌らしい fact6: 「何かは嫌らしい」ということは事実だ fact7: そのランダムが嫌らしいとしたらそれは発痛物質でないしさらに期待でない fact8: 何もかもは蒸留しないしかつ振りかぶる fact9: 「噛み砕くしさらに御詳しい」物はある fact10: そのランダムが嫌らしいならばそれは発痛物質だということはない fact11: 「発痛物質である」ものはある fact12: 「もしも何らかの物が期待でないけれど発痛物質だとするとそのランダムは嫌らしい」ということは事実である fact13: なにかは噛み砕かないけど御詳しい ; $hypothesis$ = 「そのランダムは発痛物質でなくてしかも期待だということはない」ということは真実である ; $proof$ = 
fact13 & fact5 -> int1: そのランダムは嫌らしい; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「発痛物質でないがしかし期待な」ものがあるとするとそのランダムは嫌らしい
事実2: そのランダムは税務上でないしそれにそれは一瞬でない
事実3: もし仮にあの粘着性が蒸留しないならそれは嫌らしいということはないし旨いということはない
事実4: もしあの粘着性は嫌らしくないとすると「このバジェットは御詳しいし噛み砕く」ということは事実と異なる
事実5: もし「噛み砕かない一方で御詳しい」物があればそのランダムは嫌らしい
事実6: 「何かは嫌らしい」ということは事実だ
事実7: そのランダムが嫌らしいとしたらそれは発痛物質でないしさらに期待でない
事実8: 何もかもは蒸留しないしかつ振りかぶる
事実9: 「噛み砕くしさらに御詳しい」物はある
事実10: そのランダムが嫌らしいならばそれは発痛物質だということはない
事実11: 「発痛物質である」ものはある
事実12: 「もしも何らかの物が期待でないけれど発痛物質だとするとそのランダムは嫌らしい」ということは事実である
事実13: なにかは噛み砕かないけど御詳しい

仮説: 「そのランダムは発痛物質でなくてしかも期待だということはない」ということは真実である
1. 事実13と事実5から、推論1: "そのランダムは嫌らしい"が導かれる
2. 推論1と事実7から、仮説が導かれる

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