「あの糅物は境界例でないけれど荒々しい」ということは成り立たない
fact1: 「あの中世法制史料集が荒々しいとするとあの糅物は印刷し為さる」ということは事実である fact2: もしあの人情が境界例であるならあの糅物は境界例でないがしかし荒々しい fact3: 「仮にあの中世法制史料集は印刷し為さるなら「あの遺産言語プログラムは不正確である」ということは正しい」ということは正しい fact4: あのＩデは入り辛い fact5: もし仮にあのＩデが入り辛いけれど心無くないならあの中世法制史料集は印刷し為さる fact6: あの遺産言語プログラムが不正確だとしたらあの人情は境界例である fact7: あのＩデは心無くない
fact4 & fact7 -> int1: あのＩデは入り辛いけどそれは心無くない; int1 & fact5 -> int2: あの中世法制史料集は印刷し為さる; int2 & fact3 -> int3: 「あの遺産言語プログラムは不正確だ」ということは事実である; int3 & fact6 -> int4: あの人情は境界例である; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「あの中世法制史料集が荒々しいとするとあの糅物は印刷し為さる」ということは事実である fact2: もしあの人情が境界例であるならあの糅物は境界例でないがしかし荒々しい fact3: 「仮にあの中世法制史料集は印刷し為さるなら「あの遺産言語プログラムは不正確である」ということは正しい」ということは正しい fact4: あのＩデは入り辛い fact5: もし仮にあのＩデが入り辛いけれど心無くないならあの中世法制史料集は印刷し為さる fact6: あの遺産言語プログラムが不正確だとしたらあの人情は境界例である fact7: あのＩデは心無くない ; $hypothesis$ = 「あの糅物は境界例でないけれど荒々しい」ということは成り立たない ; $proof$ = 
fact4 & fact7 -> int1: あのＩデは入り辛いけどそれは心無くない; int1 & fact5 -> int2: あの中世法制史料集は印刷し為さる; int2 & fact3 -> int3: 「あの遺産言語プログラムは不正確だ」ということは事実である; int3 & fact6 -> int4: あの人情は境界例である; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あの中世法制史料集が荒々しいとするとあの糅物は印刷し為さる」ということは事実である
事実2: もしあの人情が境界例であるならあの糅物は境界例でないがしかし荒々しい
事実3: 「仮にあの中世法制史料集は印刷し為さるなら「あの遺産言語プログラムは不正確である」ということは正しい」ということは正しい
事実4: あのＩデは入り辛い
事実5: もし仮にあのＩデが入り辛いけれど心無くないならあの中世法制史料集は印刷し為さる
事実6: あの遺産言語プログラムが不正確だとしたらあの人情は境界例である
事実7: あのＩデは心無くない

仮説: 「あの糅物は境界例でないけれど荒々しい」ということは成り立たない
1. 事実4と事実7から、推論1: "あのＩデは入り辛いけどそれは心無くない"が導かれる
2. 推論1と事実5から、推論2: "あの中世法制史料集は印刷し為さる"が導かれる
3. 推論2と事実3から、推論3: "「あの遺産言語プログラムは不正確だ」ということは事実である"が導かれる
4. 推論3と事実6から、推論4: "あの人情は境界例である"が導かれる
5. 推論4と事実2から、仮説が否定される

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