その苦さは晦ます
fact1: 仮にその苦さは御尋ねに成らないが探り合えば「流産しない」ということは真実である fact2: 仮にその苦さは弾き易いとすれば「投げ落とす」ということは成り立つ fact3: 「このＮＨＳは探り合う」ということは確かだ fact4: もしその苦さが晦ませば流産する fact5: あの補給部隊は晦ます fact6: この創立大会は御尋ねに成る fact7: 「その苦さは御尋ねに成るし探り合えば「その苦さは流産しない」ということは真実だ」ということは成り立つ fact8: その苦さは険しいということはない fact9: もしその苦さが本当らしいなら包囲攻撃する fact10: その苦さは御尋ねに成らないけど探り合う
void -> assump1: 以下のように仮定する。「その苦さは晦ます」ということは確かである; fact4 & assump1 -> int1: その苦さは流産する; fact1 & fact10 -> int2: その苦さは流産しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にその苦さは御尋ねに成らないが探り合えば「流産しない」ということは真実である fact2: 仮にその苦さは弾き易いとすれば「投げ落とす」ということは成り立つ fact3: 「このＮＨＳは探り合う」ということは確かだ fact4: もしその苦さが晦ませば流産する fact5: あの補給部隊は晦ます fact6: この創立大会は御尋ねに成る fact7: 「その苦さは御尋ねに成るし探り合えば「その苦さは流産しない」ということは真実だ」ということは成り立つ fact8: その苦さは険しいということはない fact9: もしその苦さが本当らしいなら包囲攻撃する fact10: その苦さは御尋ねに成らないけど探り合う ; $hypothesis$ = その苦さは晦ます ; $proof$ = 
void -> assump1: 以下のように仮定する。「その苦さは晦ます」ということは確かである; fact4 & assump1 -> int1: その苦さは流産する; fact1 & fact10 -> int2: その苦さは流産しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にその苦さは御尋ねに成らないが探り合えば「流産しない」ということは真実である
事実2: 仮にその苦さは弾き易いとすれば「投げ落とす」ということは成り立つ
事実3: 「このＮＨＳは探り合う」ということは確かだ
事実4: もしその苦さが晦ませば流産する
事実5: あの補給部隊は晦ます
事実6: この創立大会は御尋ねに成る
事実7: 「その苦さは御尋ねに成るし探り合えば「その苦さは流産しない」ということは真実だ」ということは成り立つ
事実8: その苦さは険しいということはない
事実9: もしその苦さが本当らしいなら包囲攻撃する
事実10: その苦さは御尋ねに成らないけど探り合う

仮説: その苦さは晦ます
1. 仮定1: 以下のように仮定する。「その苦さは晦ます」ということは確かである
2. 事実4と仮定1から、推論1: "その苦さは流産する"が導かれる
3. 事実1と事実10から、推論2: "その苦さは流産しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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