この印刷位置はペース配分である
fact1: もし燃え易いものは指示係であるならそれは製造中だということはない fact2: 全ては英語訳である fact3: もしこの真実性が天パンでそれが時相だとしたらそれは淀み無くない fact4: もし仮に天パンは時相でないならそれは淀み無くない fact5: もし「育て易い」物があればこの真実性は天パンであるけれど時相であるということはない fact6: すべては育て易い fact7: 仮に「「淀み無いということはない」ということは真実である」物があるならこの印刷位置はペース配分でないしさらにしゃぶらない fact8: ある物は読み辛い
fact6 -> int1: その列車は育て易い; int1 -> int2: あるものは育て易い; int2 & fact5 -> int3: この真実性は天パンであるが時相であるということはない; fact4 -> int4: もしこの真実性が天パンである一方でそれは時相でないならそれは淀み無くない; int3 & int4 -> int5: この真実性は淀み無くない; int5 -> int6: 淀み無くないものはある; int6 & fact7 -> int7: この印刷位置はペース配分でなくて加えてしゃぶらない; int7 -> hypothesis;
$facts$ = fact1: もし燃え易いものは指示係であるならそれは製造中だということはない fact2: 全ては英語訳である fact3: もしこの真実性が天パンでそれが時相だとしたらそれは淀み無くない fact4: もし仮に天パンは時相でないならそれは淀み無くない fact5: もし「育て易い」物があればこの真実性は天パンであるけれど時相であるということはない fact6: すべては育て易い fact7: 仮に「「淀み無いということはない」ということは真実である」物があるならこの印刷位置はペース配分でないしさらにしゃぶらない fact8: ある物は読み辛い ; $hypothesis$ = この印刷位置はペース配分である ; $proof$ = 
fact6 -> int1: その列車は育て易い; int1 -> int2: あるものは育て易い; int2 & fact5 -> int3: この真実性は天パンであるが時相であるということはない; fact4 -> int4: もしこの真実性が天パンである一方でそれは時相でないならそれは淀み無くない; int3 & int4 -> int5: この真実性は淀み無くない; int5 -> int6: 淀み無くないものはある; int6 & fact7 -> int7: この印刷位置はペース配分でなくて加えてしゃぶらない; int7 -> hypothesis; __DISPROVED__
事実1: もし燃え易いものは指示係であるならそれは製造中だということはない
事実2: 全ては英語訳である
事実3: もしこの真実性が天パンでそれが時相だとしたらそれは淀み無くない
事実4: もし仮に天パンは時相でないならそれは淀み無くない
事実5: もし「育て易い」物があればこの真実性は天パンであるけれど時相であるということはない
事実6: すべては育て易い
事実7: 仮に「「淀み無いということはない」ということは真実である」物があるならこの印刷位置はペース配分でないしさらにしゃぶらない
事実8: ある物は読み辛い

仮説: この印刷位置はペース配分である
1. 事実6から、推論1: "その列車は育て易い"が導かれる
2. 推論1から、推論2: "あるものは育て易い"が導かれる
3. 推論2と事実5から、推論3: "この真実性は天パンであるが時相であるということはない"が導かれる
4. 事実4から、推論4: "もしこの真実性が天パンである一方でそれは時相でないならそれは淀み無くない"が導かれる
5. 推論3と推論4から、推論5: "この真実性は淀み無くない"が導かれる
6. 推論5から、推論6: "淀み無くないものはある"が導かれる
7. 推論6と事実7から、推論7: "この印刷位置はペース配分でなくて加えてしゃぶらない"が導かれる
8. 推論7から、仮説が否定される

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