仮にこの論証が根治出来るとすればあの席貸し業は婚姻意思である
fact1: もしもなにかは打点でないならば根治出来るしおまけにそれは婚姻意思である fact2: なんらかのものは婚姻意思であるかあるいは煮立てないかもしくは両方ともだ fact3: その席貸し業は打点であるならば「この論証は婚姻意思である」ということは本当だ fact4: 公明は液晶画面でないし打点でない fact5: 「煮立てない」物はある fact6: 何かは液晶画面なら根治出来ない fact7: なんらかの物は考究しない fact8: 打点は液晶画面である fact9: その席貸し業は液晶画面だ fact10: もしその席貸し業が液晶画面であるとするとこの論証は煮立てる fact11: もし「根治出来ないかまたは煮立てないかまたは両方ともである」ものがあるとするとあのドキュメントオブジェクトは根治出来ない fact12: 「この論証は公明でないけど考究する」ということは成り立つということはないとしたら公明である fact13: その席貸し業は煮立てないかあるいはそれは液晶画面だ fact14: 「可視化するかあるいは空かないかまたは両方な」ものはある fact15: その席貸し業は婚姻意思であるか煮立てるということはないかもしくは両方ともである fact16: もしも「その席貸し業は打点でない」ということは成り立つとしたらこの論証は婚姻意思であるしさらに煮立てる fact17: その席貸し業は煮立てない fact18: 「朝鮮関係でない」物はある fact19: 「生活し易くないかもしくはそつ無いかもしくは両方ともである」ものはある fact20: もしもこの論証が根治出来るし婚姻意思であるならばあの席貸し業は根治出来ない fact21: この論証は耐性獲得機構でない fact22: 「完璧でないかもしくはメールメッセージであるか両方である」物はある fact23: もしなんらかのものが婚姻意思であるということはないかあるいは煮立てないか両方ともであるとすればこの論証は打点だ
void -> assump2: 以下のように仮定する。その席貸し業は婚姻意思でない; assump2 -> int1: その席貸し業は婚姻意思であるということはないかもしくは煮立てないかもしくは両方ともだ; int1 -> int2: 「「婚姻意思だということはないかまたは煮立てないかもしくはどちらもな」ものはある」ということは真実である; int2 & fact23 -> int3: 「この論証は打点だ」ということは事実だ; fact8 -> int4: もし仮にこの論証が打点だとするとそれは液晶画面だ; int3 & int4 -> int5: この論証は液晶画面だ; fact6 -> int6: 「仮にこの論証が液晶画面ならばこの論証は根治出来ない」ということは確かである; int5 & int6 -> int7: この論証は根治出来ない; void -> assump1: 以下のように仮定する。この論証は根治出来る; int7 & assump1 -> int8: これは矛盾である; [assump2] & int8 -> int9: その席貸し業は婚姻意思だ; [assump1] & int9 -> hypothesis;
「この論証は婚姻意思だ」ということは成り立つ
$facts$ = fact1: もしもなにかは打点でないならば根治出来るしおまけにそれは婚姻意思である fact2: なんらかのものは婚姻意思であるかあるいは煮立てないかもしくは両方ともだ fact3: その席貸し業は打点であるならば「この論証は婚姻意思である」ということは本当だ fact4: 公明は液晶画面でないし打点でない fact5: 「煮立てない」物はある fact6: 何かは液晶画面なら根治出来ない fact7: なんらかの物は考究しない fact8: 打点は液晶画面である fact9: その席貸し業は液晶画面だ fact10: もしその席貸し業が液晶画面であるとするとこの論証は煮立てる fact11: もし「根治出来ないかまたは煮立てないかまたは両方ともである」ものがあるとするとあのドキュメントオブジェクトは根治出来ない fact12: 「この論証は公明でないけど考究する」ということは成り立つということはないとしたら公明である fact13: その席貸し業は煮立てないかあるいはそれは液晶画面だ fact14: 「可視化するかあるいは空かないかまたは両方な」ものはある fact15: その席貸し業は婚姻意思であるか煮立てるということはないかもしくは両方ともである fact16: もしも「その席貸し業は打点でない」ということは成り立つとしたらこの論証は婚姻意思であるしさらに煮立てる fact17: その席貸し業は煮立てない fact18: 「朝鮮関係でない」物はある fact19: 「生活し易くないかもしくはそつ無いかもしくは両方ともである」ものはある fact20: もしもこの論証が根治出来るし婚姻意思であるならばあの席貸し業は根治出来ない fact21: この論証は耐性獲得機構でない fact22: 「完璧でないかもしくはメールメッセージであるか両方である」物はある fact23: もしなんらかのものが婚姻意思であるということはないかあるいは煮立てないか両方ともであるとすればこの論証は打点だ ; $hypothesis$ = 仮にこの論証が根治出来るとすればあの席貸し業は婚姻意思である ; $proof$ = 
void -> assump2: 以下のように仮定する。その席貸し業は婚姻意思でない; assump2 -> int1: その席貸し業は婚姻意思であるということはないかもしくは煮立てないかもしくは両方ともだ; int1 -> int2: 「「婚姻意思だということはないかまたは煮立てないかもしくはどちらもな」ものはある」ということは真実である; int2 & fact23 -> int3: 「この論証は打点だ」ということは事実だ; fact8 -> int4: もし仮にこの論証が打点だとするとそれは液晶画面だ; int3 & int4 -> int5: この論証は液晶画面だ; fact6 -> int6: 「仮にこの論証が液晶画面ならばこの論証は根治出来ない」ということは確かである; int5 & int6 -> int7: この論証は根治出来ない; void -> assump1: 以下のように仮定する。この論証は根治出来る; int7 & assump1 -> int8: これは矛盾である; [assump2] & int8 -> int9: その席貸し業は婚姻意思だ; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしもなにかは打点でないならば根治出来るしおまけにそれは婚姻意思である
事実2: なんらかのものは婚姻意思であるかあるいは煮立てないかもしくは両方ともだ
事実3: その席貸し業は打点であるならば「この論証は婚姻意思である」ということは本当だ
事実4: 公明は液晶画面でないし打点でない
事実5: 「煮立てない」物はある
事実6: 何かは液晶画面なら根治出来ない
事実7: なんらかの物は考究しない
事実8: 打点は液晶画面である
事実9: その席貸し業は液晶画面だ
事実10: もしその席貸し業が液晶画面であるとするとこの論証は煮立てる
事実11: もし「根治出来ないかまたは煮立てないかまたは両方ともである」ものがあるとするとあのドキュメントオブジェクトは根治出来ない
事実12: 「この論証は公明でないけど考究する」ということは成り立つということはないとしたら公明である
事実13: その席貸し業は煮立てないかあるいはそれは液晶画面だ
事実14: 「可視化するかあるいは空かないかまたは両方な」ものはある
事実15: その席貸し業は婚姻意思であるか煮立てるということはないかもしくは両方ともである
事実16: もしも「その席貸し業は打点でない」ということは成り立つとしたらこの論証は婚姻意思であるしさらに煮立てる
事実17: その席貸し業は煮立てない
事実18: 「朝鮮関係でない」物はある
事実19: 「生活し易くないかもしくはそつ無いかもしくは両方ともである」ものはある
事実20: もしもこの論証が根治出来るし婚姻意思であるならばあの席貸し業は根治出来ない
事実21: この論証は耐性獲得機構でない
事実22: 「完璧でないかもしくはメールメッセージであるか両方である」物はある
事実23: もしなんらかのものが婚姻意思であるということはないかあるいは煮立てないか両方ともであるとすればこの論証は打点だ

仮説: 仮にこの論証が根治出来るとすればあの席貸し業は婚姻意思である
1. 仮定2: 以下のように仮定する。その席貸し業は婚姻意思でない
2. 仮定2から、推論1: "その席貸し業は婚姻意思であるということはないかもしくは煮立てないかもしくは両方ともだ"が導かれる
3. 推論1から、推論2: "「「婚姻意思だということはないかまたは煮立てないかもしくはどちらもな」ものはある」ということは真実である"が導かれる
4. 推論2と事実23から、推論3: "「この論証は打点だ」ということは事実だ"が導かれる
5. 事実8から、推論4: "もし仮にこの論証が打点だとするとそれは液晶画面だ"が導かれる
6. 推論3と推論4から、推論5: "この論証は液晶画面だ"が導かれる
7. 事実6から、推論6: "「仮にこの論証が液晶画面ならばこの論証は根治出来ない」ということは確かである"が導かれる
8. 推論5と推論6から、推論7: "この論証は根治出来ない"が導かれる
9. 仮定1: 以下のように仮定する。この論証は根治出来る
10. 推論7と仮定1から、推論8: "これは矛盾である"が導かれる
11. [仮定2]と推論8から、推論9: "その席貸し業は婚姻意思だ"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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