あの防衛費は消防長だ
fact1: あの防衛費は飲み易いし消防長だ fact2: 何らかのものが発行出来るとすると動物性食品だ fact3: あの防衛費は形成し易い fact4: この旅行者は消防長だ fact5: このクラス編成は飲み易い fact6: 仮にあの強さが動物性食品であるならそれは整復するかまたは気忙しくない fact7: あの強さはローマ世界である fact8: 仮にあの強さはローマ世界であるとすれば発行出来る fact9: あの防衛費は要綱等である fact10: 黒しないものは飲み易いということはないしおまけに啓蒙しない fact11: もしとある物が整復するとするとそれは黒しない
fact1 -> hypothesis;
fact1 -> hypothesis;
あの防衛費は消防長だということはない
fact16 -> int1: 仮にあの強さは黒しないなら「それは飲み易いということはなくて啓蒙しない」ということは本当である; fact17 -> int2: もしあの強さが発行出来るとするとそれは動物性食品だ; fact12 & fact15 -> int3: あの強さは発行出来る; int2 & int3 -> int4: あの強さは動物性食品だ; fact13 & int4 -> int5: あの強さは整復するかあるいはそれは気忙しくないかもしくは両方だ; fact14 -> int6: もしもあの強さが整復すれば黒しない;
$facts$ = fact1: あの防衛費は飲み易いし消防長だ fact2: 何らかのものが発行出来るとすると動物性食品だ fact3: あの防衛費は形成し易い fact4: この旅行者は消防長だ fact5: このクラス編成は飲み易い fact6: 仮にあの強さが動物性食品であるならそれは整復するかまたは気忙しくない fact7: あの強さはローマ世界である fact8: 仮にあの強さはローマ世界であるとすれば発行出来る fact9: あの防衛費は要綱等である fact10: 黒しないものは飲み易いということはないしおまけに啓蒙しない fact11: もしとある物が整復するとするとそれは黒しない ; $hypothesis$ = あの防衛費は消防長だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの防衛費は飲み易いし消防長だ
事実2: 何らかのものが発行出来るとすると動物性食品だ
事実3: あの防衛費は形成し易い
事実4: この旅行者は消防長だ
事実5: このクラス編成は飲み易い
事実6: 仮にあの強さが動物性食品であるならそれは整復するかまたは気忙しくない
事実7: あの強さはローマ世界である
事実8: 仮にあの強さはローマ世界であるとすれば発行出来る
事実9: あの防衛費は要綱等である
事実10: 黒しないものは飲み易いということはないしおまけに啓蒙しない
事実11: もしとある物が整復するとするとそれは黒しない

仮説: あの防衛費は消防長だ
1. 事実1から、仮説が導かれる

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