あの潜在的産出量は軟らかい
fact1: あの潜在的産出量は女っぽい fact2: あの潜在的産出量は少年少女達でおまけにそれは先程だ fact3: 仮にあの潜在的産出量は少年少女達でそれに軟らかいとするとそれは平和問題でない fact4: もしもあるものが先程だということはないとしたら軟らかくておまけにそれは少年少女達である fact5: あの潜在的産出量は先程である fact6: この一個体は総意だ fact7: この一個体は少年少女達である fact8: もしもこの一個体が平和問題だとすればあの潜在的産出量は平和問題だ fact9: もしも「この一個体は総意である」ということは事実であるとすれば平和問題だ fact10: あのディップは軟らかくない fact11: 「「湿潤しないけど苦い」ということは事実でない」物があるとするとあの猥褻性は総意であるということはない fact12: 「「湿潤しない一方で苦い」ということは事実と異なる」ものはある fact13: あの潜在的産出量は総意だということはない
fact2 -> int1: あの潜在的産出量は少年少女達である; void -> assump1: 以下のように仮定する。あの潜在的産出量は軟らかい; int1 & assump1 -> int2: あの潜在的産出量は少年少女達であるし軟らかい; int2 & fact3 -> int3: あの潜在的産出量は平和問題でない; fact6 & fact9 -> int4: この一個体は平和問題だ; fact8 & int4 -> int5: あの潜在的産出量は平和問題である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの潜在的産出量は軟らかい
fact15 -> int7: あの潜在的産出量が先程でないとしたらそれは軟らかいしかつそれは少年少女達である; fact16 & fact14 -> int8: あの猥褻性は総意でない; int8 -> int9: 「総意でない」物はある;
$facts$ = fact1: あの潜在的産出量は女っぽい fact2: あの潜在的産出量は少年少女達でおまけにそれは先程だ fact3: 仮にあの潜在的産出量は少年少女達でそれに軟らかいとするとそれは平和問題でない fact4: もしもあるものが先程だということはないとしたら軟らかくておまけにそれは少年少女達である fact5: あの潜在的産出量は先程である fact6: この一個体は総意だ fact7: この一個体は少年少女達である fact8: もしもこの一個体が平和問題だとすればあの潜在的産出量は平和問題だ fact9: もしも「この一個体は総意である」ということは事実であるとすれば平和問題だ fact10: あのディップは軟らかくない fact11: 「「湿潤しないけど苦い」ということは事実でない」物があるとするとあの猥褻性は総意であるということはない fact12: 「「湿潤しない一方で苦い」ということは事実と異なる」ものはある fact13: あの潜在的産出量は総意だということはない ; $hypothesis$ = あの潜在的産出量は軟らかい ; $proof$ = 
fact2 -> int1: あの潜在的産出量は少年少女達である; void -> assump1: 以下のように仮定する。あの潜在的産出量は軟らかい; int1 & assump1 -> int2: あの潜在的産出量は少年少女達であるし軟らかい; int2 & fact3 -> int3: あの潜在的産出量は平和問題でない; fact6 & fact9 -> int4: この一個体は平和問題だ; fact8 & int4 -> int5: あの潜在的産出量は平和問題である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: あの潜在的産出量は女っぽい
事実2: あの潜在的産出量は少年少女達でおまけにそれは先程だ
事実3: 仮にあの潜在的産出量は少年少女達でそれに軟らかいとするとそれは平和問題でない
事実4: もしもあるものが先程だということはないとしたら軟らかくておまけにそれは少年少女達である
事実5: あの潜在的産出量は先程である
事実6: この一個体は総意だ
事実7: この一個体は少年少女達である
事実8: もしもこの一個体が平和問題だとすればあの潜在的産出量は平和問題だ
事実9: もしも「この一個体は総意である」ということは事実であるとすれば平和問題だ
事実10: あのディップは軟らかくない
事実11: 「「湿潤しないけど苦い」ということは事実でない」物があるとするとあの猥褻性は総意であるということはない
事実12: 「「湿潤しない一方で苦い」ということは事実と異なる」ものはある
事実13: あの潜在的産出量は総意だということはない

仮説: あの潜在的産出量は軟らかい
1. 事実2から、推論1: "あの潜在的産出量は少年少女達である"が導かれる
2. 仮定1: 以下のように仮定する。あの潜在的産出量は軟らかい
3. 推論1と仮定1から、推論2: "あの潜在的産出量は少年少女達であるし軟らかい"が導かれる
4. 推論2と事実3から、推論3: "あの潜在的産出量は平和問題でない"が導かれる
5. 事実6と事実9から、推論4: "この一個体は平和問題だ"が導かれる
6. 事実8と推論4から、推論5: "あの潜在的産出量は平和問題である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。