その調理は浅まし
fact1: 仮に何かは浅ましないならその調理は青い fact2: あの靴音は浅ましない fact3: あの靴音は自動流し込みであるしまたそれは焚書である fact4: この命釘は浅ましということはない fact5: 何かは頼り切らない fact6: あの靴音は自動流し込みだ fact7: もしその調理が自動流し込みであるし浅ましならばその転写書類は青くない fact8: あるものは破損しない fact9: 青くないものはある fact10: その転写書類は自動流し込みだ fact11: あの靴音は青い fact12: 「「破損する」ということは成り立つ」ものはある fact13: 仮にあの靴音はコメントであるとすると「その転写書類は青い」ということは成り立つ fact14: もしもあの靴音が浅ましとすればあの調理はコメントだ fact15: 「「自動流し込みでない」ものはある」ということは間違いでない fact16: もしも「「破損しない」ということは本当な」物があるとするとあの靴音はコメントである fact17: この宋船は毛深くてまた八．だ fact18: とある物は浅ましない fact19: もしその転写書類が自動流し込みでその上青いならばその調理は浅ましない fact20: 仮にあの靴音がコメントで自動流し込みだとしたらその転写書類は浅ましない fact21: あの靴音は聞き咎める fact22: もし仮にその調理がコメントだとするとあの靴音は浅まし
fact8 & fact16 -> int1: あの靴音はコメントである; int1 & fact13 -> int2: その転写書類は青い; int2 & fact10 -> int3: 「その転写書類は自動流し込みであるし更にそれは青い」ということは正しい; int3 & fact19 -> hypothesis;
$facts$ = fact1: 仮に何かは浅ましないならその調理は青い fact2: あの靴音は浅ましない fact3: あの靴音は自動流し込みであるしまたそれは焚書である fact4: この命釘は浅ましということはない fact5: 何かは頼り切らない fact6: あの靴音は自動流し込みだ fact7: もしその調理が自動流し込みであるし浅ましならばその転写書類は青くない fact8: あるものは破損しない fact9: 青くないものはある fact10: その転写書類は自動流し込みだ fact11: あの靴音は青い fact12: 「「破損する」ということは成り立つ」ものはある fact13: 仮にあの靴音はコメントであるとすると「その転写書類は青い」ということは成り立つ fact14: もしもあの靴音が浅ましとすればあの調理はコメントだ fact15: 「「自動流し込みでない」ものはある」ということは間違いでない fact16: もしも「「破損しない」ということは本当な」物があるとするとあの靴音はコメントである fact17: この宋船は毛深くてまた八．だ fact18: とある物は浅ましない fact19: もしその転写書類が自動流し込みでその上青いならばその調理は浅ましない fact20: 仮にあの靴音がコメントで自動流し込みだとしたらその転写書類は浅ましない fact21: あの靴音は聞き咎める fact22: もし仮にその調理がコメントだとするとあの靴音は浅まし ; $hypothesis$ = その調理は浅まし ; $proof$ = 
fact8 & fact16 -> int1: あの靴音はコメントである; int1 & fact13 -> int2: その転写書類は青い; int2 & fact10 -> int3: 「その転写書類は自動流し込みであるし更にそれは青い」ということは正しい; int3 & fact19 -> hypothesis; __DISPROVED__
事実1: 仮に何かは浅ましないならその調理は青い
事実2: あの靴音は浅ましない
事実3: あの靴音は自動流し込みであるしまたそれは焚書である
事実4: この命釘は浅ましということはない
事実5: 何かは頼り切らない
事実6: あの靴音は自動流し込みだ
事実7: もしその調理が自動流し込みであるし浅ましならばその転写書類は青くない
事実8: あるものは破損しない
事実9: 青くないものはある
事実10: その転写書類は自動流し込みだ
事実11: あの靴音は青い
事実12: 「「破損する」ということは成り立つ」ものはある
事実13: 仮にあの靴音はコメントであるとすると「その転写書類は青い」ということは成り立つ
事実14: もしもあの靴音が浅ましとすればあの調理はコメントだ
事実15: 「「自動流し込みでない」ものはある」ということは間違いでない
事実16: もしも「「破損しない」ということは本当な」物があるとするとあの靴音はコメントである
事実17: この宋船は毛深くてまた八．だ
事実18: とある物は浅ましない
事実19: もしその転写書類が自動流し込みでその上青いならばその調理は浅ましない
事実20: 仮にあの靴音がコメントで自動流し込みだとしたらその転写書類は浅ましない
事実21: あの靴音は聞き咎める
事実22: もし仮にその調理がコメントだとするとあの靴音は浅まし

仮説: その調理は浅まし
1. 事実8と事実16から、推論1: "あの靴音はコメントである"が導かれる
2. 推論1と事実13から、推論2: "その転写書類は青い"が導かれる
3. 推論2と事実10から、推論3: "「その転写書類は自動流し込みであるし更にそれは青い」ということは正しい"が導かれる
4. 推論3と事実19から、仮説が否定される

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