このバクテリアは十五年戦争だ
fact1: このバクテリアは陥凹する fact2: もし「ＮＩＶな」ものがあればこのグリップエンドはＮＩＶであるかまたは倹しい fact3: 手厚い物はフロンだ fact4: 「何らかの物はベルビューであるが買い付け等でない」ということは誤りだとすればそれはベルビューでない fact5: 「このバクテリアは説明し易い」ということは真実である fact6: 長ったらしい物は十五年戦争でなくてかつ付録でない fact7: この永久ファイルがベルビューでないとするとその五十Ｍは味気無くてＮＩＶである fact8: もしもなにかは一概でないとすると自然外力だしそれは嫌味っぽい fact9: この公営住宅は付録であるなら「それは十五年戦争だ」ということは真実だ fact10: なにがしかの物は嫌味っぽいとすれば「それはベルビューだけど買い付け等でない」ということは間違いだ fact11: 「その名脇役は十五年戦争だ」ということは本当である fact12: 仮にその三冊は十五年戦争でないしさらに付録でないとすると「このバクテリアは十五年戦争である」ということは成り立つということはない fact13: あの記録フィルムは十五年戦争だ fact14: もしもこのグリップエンドが倹しいとすればあのびんたは手厚い fact15: この永久ファイルは一概でない fact16: もし仮にこのグリップエンドがＮＩＶであるとしたらあのびんたは手厚い fact17: このバクテリアは十五年戦争である fact18: ある物はフロンであるとするとそれは与え難いけれど紳士らしくない
fact17 -> hypothesis;
fact17 -> hypothesis;
「この公営住宅は十五年戦争である」ということは事実だ
$facts$ = fact1: このバクテリアは陥凹する fact2: もし「ＮＩＶな」ものがあればこのグリップエンドはＮＩＶであるかまたは倹しい fact3: 手厚い物はフロンだ fact4: 「何らかの物はベルビューであるが買い付け等でない」ということは誤りだとすればそれはベルビューでない fact5: 「このバクテリアは説明し易い」ということは真実である fact6: 長ったらしい物は十五年戦争でなくてかつ付録でない fact7: この永久ファイルがベルビューでないとするとその五十Ｍは味気無くてＮＩＶである fact8: もしもなにかは一概でないとすると自然外力だしそれは嫌味っぽい fact9: この公営住宅は付録であるなら「それは十五年戦争だ」ということは真実だ fact10: なにがしかの物は嫌味っぽいとすれば「それはベルビューだけど買い付け等でない」ということは間違いだ fact11: 「その名脇役は十五年戦争だ」ということは本当である fact12: 仮にその三冊は十五年戦争でないしさらに付録でないとすると「このバクテリアは十五年戦争である」ということは成り立つということはない fact13: あの記録フィルムは十五年戦争だ fact14: もしもこのグリップエンドが倹しいとすればあのびんたは手厚い fact15: この永久ファイルは一概でない fact16: もし仮にこのグリップエンドがＮＩＶであるとしたらあのびんたは手厚い fact17: このバクテリアは十五年戦争である fact18: ある物はフロンであるとするとそれは与え難いけれど紳士らしくない ; $hypothesis$ = このバクテリアは十五年戦争だ ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: このバクテリアは陥凹する
事実2: もし「ＮＩＶな」ものがあればこのグリップエンドはＮＩＶであるかまたは倹しい
事実3: 手厚い物はフロンだ
事実4: 「何らかの物はベルビューであるが買い付け等でない」ということは誤りだとすればそれはベルビューでない
事実5: 「このバクテリアは説明し易い」ということは真実である
事実6: 長ったらしい物は十五年戦争でなくてかつ付録でない
事実7: この永久ファイルがベルビューでないとするとその五十Ｍは味気無くてＮＩＶである
事実8: もしもなにかは一概でないとすると自然外力だしそれは嫌味っぽい
事実9: この公営住宅は付録であるなら「それは十五年戦争だ」ということは真実だ
事実10: なにがしかの物は嫌味っぽいとすれば「それはベルビューだけど買い付け等でない」ということは間違いだ
事実11: 「その名脇役は十五年戦争だ」ということは本当である
事実12: 仮にその三冊は十五年戦争でないしさらに付録でないとすると「このバクテリアは十五年戦争である」ということは成り立つということはない
事実13: あの記録フィルムは十五年戦争だ
事実14: もしもこのグリップエンドが倹しいとすればあのびんたは手厚い
事実15: この永久ファイルは一概でない
事実16: もし仮にこのグリップエンドがＮＩＶであるとしたらあのびんたは手厚い
事実17: このバクテリアは十五年戦争である
事実18: ある物はフロンであるとするとそれは与え難いけれど紳士らしくない

仮説: このバクテリアは十五年戦争だ
1. 事実17から、仮説が導かれる

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