このリフティングはプリントプリセットである
fact1: あの七世紀は喫する fact2: その水溶化は自治令である fact3: その実験装置は言語世界でない fact4: その水溶化はプリントプリセットである fact5: もしその水溶化が暗しとするとこのリフティングは言語世界である fact6: その水溶化は暗ししさらにそれは栄養源だ fact7: もしこのリフティングは言語世界であるし喫するとすればプリントプリセットでない fact8: 仮にとある物は栄養源でないとしたらそれはプリントプリセットであるし更に暗し fact9: このリフティングは喫する fact10: もし仮にその実験装置は言語世界でないけど喫するとしたら「それは御知らせ下さる」ということは真実だ fact11: その水溶化は栄養源だ
fact6 -> int1: その水溶化は暗し; int1 & fact5 -> int2: このリフティングは言語世界だ; int2 & fact9 -> int3: このリフティングは言語世界であるし更にそれは喫する; int3 & fact7 -> hypothesis;
このリフティングはプリントプリセットだ
fact12 -> int4: もしもこのリフティングが栄養源でないとしたらプリントプリセットであるし暗し;
$facts$ = fact1: あの七世紀は喫する fact2: その水溶化は自治令である fact3: その実験装置は言語世界でない fact4: その水溶化はプリントプリセットである fact5: もしその水溶化が暗しとするとこのリフティングは言語世界である fact6: その水溶化は暗ししさらにそれは栄養源だ fact7: もしこのリフティングは言語世界であるし喫するとすればプリントプリセットでない fact8: 仮にとある物は栄養源でないとしたらそれはプリントプリセットであるし更に暗し fact9: このリフティングは喫する fact10: もし仮にその実験装置は言語世界でないけど喫するとしたら「それは御知らせ下さる」ということは真実だ fact11: その水溶化は栄養源だ ; $hypothesis$ = このリフティングはプリントプリセットである ; $proof$ = 
fact6 -> int1: その水溶化は暗し; int1 & fact5 -> int2: このリフティングは言語世界だ; int2 & fact9 -> int3: このリフティングは言語世界であるし更にそれは喫する; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: あの七世紀は喫する
事実2: その水溶化は自治令である
事実3: その実験装置は言語世界でない
事実4: その水溶化はプリントプリセットである
事実5: もしその水溶化が暗しとするとこのリフティングは言語世界である
事実6: その水溶化は暗ししさらにそれは栄養源だ
事実7: もしこのリフティングは言語世界であるし喫するとすればプリントプリセットでない
事実8: 仮にとある物は栄養源でないとしたらそれはプリントプリセットであるし更に暗し
事実9: このリフティングは喫する
事実10: もし仮にその実験装置は言語世界でないけど喫するとしたら「それは御知らせ下さる」ということは真実だ
事実11: その水溶化は栄養源だ

仮説: このリフティングはプリントプリセットである
1. 事実6から、推論1: "その水溶化は暗し"が導かれる
2. 推論1と事実5から、推論2: "このリフティングは言語世界だ"が導かれる
3. 推論2と事実9から、推論3: "このリフティングは言語世界であるし更にそれは喫する"が導かれる
4. 推論3と事実7から、仮説が否定される

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