このタール火山は拠出時である
fact1: もしこの境界エッジが更生するならこのタール火山は当大学塾だ fact2: この境界エッジは恐ろしくてそれはおっそろし fact3: おっそろしない物は拠出時でないけれど恐ろしい fact4: 恐ろしいものは外的条件だ fact5: もしもこの境界エッジが外的条件だとすればあのスト不参加者は当大学塾である fact6: もしそのスト不参加者が当大学塾であるとすればあのタール火山は拠出時だ fact7: 当大学塾は外的条件である
fact2 -> int1: この境界エッジは恐ろしい; fact4 -> int2: この境界エッジが恐ろしいとするとそれは外的条件である; int1 & int2 -> int3: この境界エッジは外的条件だ; int3 & fact5 -> int4: そのスト不参加者は当大学塾だ; int4 & fact6 -> hypothesis;
このタール火山は拠出時でない
fact10 -> int5: 仮にこのタール火山がおっそろしないとしたら拠出時でないがしかし恐ろしい; fact9 -> int6: もしもこのタール火山が当大学塾ならば外的条件である;
$facts$ = fact1: もしこの境界エッジが更生するならこのタール火山は当大学塾だ fact2: この境界エッジは恐ろしくてそれはおっそろし fact3: おっそろしない物は拠出時でないけれど恐ろしい fact4: 恐ろしいものは外的条件だ fact5: もしもこの境界エッジが外的条件だとすればあのスト不参加者は当大学塾である fact6: もしそのスト不参加者が当大学塾であるとすればあのタール火山は拠出時だ fact7: 当大学塾は外的条件である ; $hypothesis$ = このタール火山は拠出時である ; $proof$ = 
fact2 -> int1: この境界エッジは恐ろしい; fact4 -> int2: この境界エッジが恐ろしいとするとそれは外的条件である; int1 & int2 -> int3: この境界エッジは外的条件だ; int3 & fact5 -> int4: そのスト不参加者は当大学塾だ; int4 & fact6 -> hypothesis; __PROVED__
事実1: もしこの境界エッジが更生するならこのタール火山は当大学塾だ
事実2: この境界エッジは恐ろしくてそれはおっそろし
事実3: おっそろしない物は拠出時でないけれど恐ろしい
事実4: 恐ろしいものは外的条件だ
事実5: もしもこの境界エッジが外的条件だとすればあのスト不参加者は当大学塾である
事実6: もしそのスト不参加者が当大学塾であるとすればあのタール火山は拠出時だ
事実7: 当大学塾は外的条件である

仮説: このタール火山は拠出時である
1. 事実2から、推論1: "この境界エッジは恐ろしい"が導かれる
2. 事実4から、推論2: "この境界エッジが恐ろしいとするとそれは外的条件である"が導かれる
3. 推論1と推論2から、推論3: "この境界エッジは外的条件だ"が導かれる
4. 推論3と事実5から、推論4: "そのスト不参加者は当大学塾だ"が導かれる
5. 推論4と事実6から、仮説が導かれる

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