そのＤＶＤ‐ＲＯＭはおっかしい
fact1: もしこの釈が聞き終えるとしたらそのＤＶＤ‐ＲＯＭはおっかしい fact2: もし仮に何らかの物が麗しいとすると計画時だ fact3: もし仮にこの見積もりが計画時だとすると麗しい fact4: この見積もりは計画時であるしさらにシステム系である fact5: もしもこの見積もりが麗しいならばこの釈は触れである fact6: もしあるものは触れであるとしたらそれは聞き終える fact7: この見積もりが聞き終えるとするとこの釈はシステム系だ
fact4 -> int1: この見積もりは計画時である; int1 & fact3 -> int2: この見積もりは麗しい; int2 & fact5 -> int3: この釈は触れだ; fact6 -> int4: もしもこの釈は触れであるとすると「聞き終える」ということは成り立つ; int3 & int4 -> int5: 「この釈は聞き終える」ということは本当である; int5 & fact1 -> hypothesis;
$facts$ = fact1: もしこの釈が聞き終えるとしたらそのＤＶＤ‐ＲＯＭはおっかしい fact2: もし仮に何らかの物が麗しいとすると計画時だ fact3: もし仮にこの見積もりが計画時だとすると麗しい fact4: この見積もりは計画時であるしさらにシステム系である fact5: もしもこの見積もりが麗しいならばこの釈は触れである fact6: もしあるものは触れであるとしたらそれは聞き終える fact7: この見積もりが聞き終えるとするとこの釈はシステム系だ ; $hypothesis$ = そのＤＶＤ‐ＲＯＭはおっかしい ; $proof$ = 
fact4 -> int1: この見積もりは計画時である; int1 & fact3 -> int2: この見積もりは麗しい; int2 & fact5 -> int3: この釈は触れだ; fact6 -> int4: もしもこの釈は触れであるとすると「聞き終える」ということは成り立つ; int3 & int4 -> int5: 「この釈は聞き終える」ということは本当である; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしこの釈が聞き終えるとしたらそのＤＶＤ‐ＲＯＭはおっかしい
事実2: もし仮に何らかの物が麗しいとすると計画時だ
事実3: もし仮にこの見積もりが計画時だとすると麗しい
事実4: この見積もりは計画時であるしさらにシステム系である
事実5: もしもこの見積もりが麗しいならばこの釈は触れである
事実6: もしあるものは触れであるとしたらそれは聞き終える
事実7: この見積もりが聞き終えるとするとこの釈はシステム系だ

仮説: そのＤＶＤ‐ＲＯＭはおっかしい
1. 事実4から、推論1: "この見積もりは計画時である"が導かれる
2. 推論1と事実3から、推論2: "この見積もりは麗しい"が導かれる
3. 推論2と事実5から、推論3: "この釈は触れだ"が導かれる
4. 事実6から、推論4: "もしもこの釈は触れであるとすると「聞き終える」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "「この釈は聞き終える」ということは本当である"が導かれる
6. 推論5と事実1から、仮説が導かれる

よって、仮説が証明されました。