あのデュー・プロセスは冷ます
fact1: あのデュー・プロセスは越前藩士だ fact2: あの相違識別能力は小屋組材だ fact3: あのデュー・プロセスは書き溜めない fact4: あの保護責任者遺棄罪は鏤める fact5: この尺貫法は小屋組材であるということはない fact6: あの表題作は鏤めない fact7: 「その歴史記述は薬物投与だということはないけれど小屋組材である」ということは成り立つ fact8: 「もしもあのデュー・プロセスが冷ますとするとあのデュー・プロセスは鏤める」ということは成り立つ fact9: あのデュー・プロセスは通す fact10: あのデュー・プロセスは鏤めないがしかし小屋組材である fact11: あのデュー・プロセスは通園しない fact12: もし仮にあのデュー・プロセスが押し易いならばそれは冷ます fact13: この呼び出し音は鏤める fact14: 仮にあのデュー・プロセスは小屋組材であるとしたらそれは分類方法だ
void -> assump1: 以下のように仮定する。「あのデュー・プロセスは冷ます」ということは成り立つ; fact8 & assump1 -> int1: あのデュー・プロセスは鏤める; fact10 -> int2: 「あのデュー・プロセスは鏤めない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact8 & assump1 -> int1: {B}{a}; fact10 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あのデュー・プロセスは越前藩士だ fact2: あの相違識別能力は小屋組材だ fact3: あのデュー・プロセスは書き溜めない fact4: あの保護責任者遺棄罪は鏤める fact5: この尺貫法は小屋組材であるということはない fact6: あの表題作は鏤めない fact7: 「その歴史記述は薬物投与だということはないけれど小屋組材である」ということは成り立つ fact8: 「もしもあのデュー・プロセスが冷ますとするとあのデュー・プロセスは鏤める」ということは成り立つ fact9: あのデュー・プロセスは通す fact10: あのデュー・プロセスは鏤めないがしかし小屋組材である fact11: あのデュー・プロセスは通園しない fact12: もし仮にあのデュー・プロセスが押し易いならばそれは冷ます fact13: この呼び出し音は鏤める fact14: 仮にあのデュー・プロセスは小屋組材であるとしたらそれは分類方法だ ; $hypothesis$ = あのデュー・プロセスは冷ます ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのデュー・プロセスは冷ます」ということは成り立つ; fact8 & assump1 -> int1: あのデュー・プロセスは鏤める; fact10 -> int2: 「あのデュー・プロセスは鏤めない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あのデュー・プロセスは越前藩士だ
事実2: あの相違識別能力は小屋組材だ
事実3: あのデュー・プロセスは書き溜めない
事実4: あの保護責任者遺棄罪は鏤める
事実5: この尺貫法は小屋組材であるということはない
事実6: あの表題作は鏤めない
事実7: 「その歴史記述は薬物投与だということはないけれど小屋組材である」ということは成り立つ
事実8: 「もしもあのデュー・プロセスが冷ますとするとあのデュー・プロセスは鏤める」ということは成り立つ
事実9: あのデュー・プロセスは通す
事実10: あのデュー・プロセスは鏤めないがしかし小屋組材である
事実11: あのデュー・プロセスは通園しない
事実12: もし仮にあのデュー・プロセスが押し易いならばそれは冷ます
事実13: この呼び出し音は鏤める
事実14: 仮にあのデュー・プロセスは小屋組材であるとしたらそれは分類方法だ

仮説: あのデュー・プロセスは冷ます
1. 仮定1: 以下のように仮定する。「あのデュー・プロセスは冷ます」ということは成り立つ
2. 事実8と仮定1から、推論1: "あのデュー・プロセスは鏤める"が導かれる
3. 事実10から、推論2: "「あのデュー・プロセスは鏤めない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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