あのカーポートは戦車隊である
fact1: もしも「天馬塚でない」物はあれば「あの金毘羅未生譚は交渉すがしかし発達し始めない」ということは誤りである fact2: もしその手荷物検査が発達し始めるとするとあのカーポートは六人部屋でない fact3: もしも「なんらかの物は持ち合わせないしかつ関係データベースであるということはない」ということは事実であるならば御馴染むということはない fact4: この御要望は寵愛する fact5: この紫雲はスウィートハートである fact6: 仮に「とあるものはスウィートハートだ」ということは本当だとすればこのスキャンダル銘柄は持ち合わせないしそれは関係データベースでない fact7: もし仮にその例話が疎ましくらないかもしくはそれは痩せ難くないかもしくは両方ともならそれは天馬塚でない fact8: もし仮にあの金毘羅未生譚が寵愛するならその手荷物検査は発達し始める fact9: 「なにがしかのものは交渉すけれど発達し始めない」ということは成り立たないとしたら発達し始める fact10: その例話は疎ましいということはないかもしくは痩せ難いということはないかもしくは両方ともである fact11: 仮に「「あの流用パーツは思い煩わないけど内応する」ということは本当である」ということは間違いだとすればその手荷物検査は負傷者でない fact12: もしもあの金毘羅未生譚が発達し始めるし戦車隊であるとすればあのカーポートは戦車隊でない fact13: もしとあるものは御馴染まないとすると「あの流用パーツは思い煩わないがしかしそれは内応する」ということは誤りである fact14: もしその手荷物検査が六人部屋だとすればあの金毘羅未生譚は戦車隊である fact15: もし何らかのものが負傷者でないとすればそれは六人部屋であるかあるいはそれは寵愛するかもしくは両方だ fact16: 仮になにかは六人部屋でないならそれは戦車隊である fact17: あの金毘羅未生譚は寵愛する
fact8 & fact17 -> int1: その手荷物検査は発達し始める; int1 & fact2 -> int2: あのカーポートは六人部屋でない; fact16 -> int3: もしも「あのカーポートは六人部屋である」ということは成り立たないならばそれは戦車隊だ; int2 & int3 -> hypothesis;
fact8 & fact17 -> int1: {B}{b}; int1 & fact2 -> int2: ¬{C}{c}; fact16 -> int3: ¬{C}{c} -> {D}{c}; int2 & int3 -> hypothesis;
「あのカーポートは戦車隊でない」ということは成り立つ
fact21 -> int4: もし「あの金毘羅未生譚は交渉すけれど発達し始めない」ということは成り立たないならば「それは発達し始める」ということは成り立つ; fact25 & fact28 -> int5: その例話は天馬塚であるということはない; int5 -> int6: 「天馬塚でない」物はある; int6 & fact27 -> int7: 「あの金毘羅未生譚は交渉すけど発達し始めるということはない」ということは偽である; int4 & int7 -> int8: あの金毘羅未生譚は発達し始める; fact24 -> int9: もしその手荷物検査が負傷者でないとするとそれは六人部屋であるかまたはそれは寵愛するかどちらもだ; fact20 -> int10: このスキャンダル銘柄が持ち合わせないし関係データベースでないとしたら御馴染まない; fact22 -> int11: なにがしかのものはスウィートハートだ; int11 & fact18 -> int12: このスキャンダル銘柄は持ち合わせないし更に関係データベースでない; int10 & int12 -> int13: このスキャンダル銘柄は御馴染むということはない; int13 -> int14: あるものは御馴染まない; int14 & fact23 -> int15: 「あの流用パーツは思い煩うということはないが内応する」ということは間違いだ; fact19 & int15 -> int16: その手荷物検査は負傷者でない; int9 & int16 -> int17: その手荷物検査は六人部屋であるかもしくは寵愛する;
$facts$ = fact1: もしも「天馬塚でない」物はあれば「あの金毘羅未生譚は交渉すがしかし発達し始めない」ということは誤りである fact2: もしその手荷物検査が発達し始めるとするとあのカーポートは六人部屋でない fact3: もしも「なんらかの物は持ち合わせないしかつ関係データベースであるということはない」ということは事実であるならば御馴染むということはない fact4: この御要望は寵愛する fact5: この紫雲はスウィートハートである fact6: 仮に「とあるものはスウィートハートだ」ということは本当だとすればこのスキャンダル銘柄は持ち合わせないしそれは関係データベースでない fact7: もし仮にその例話が疎ましくらないかもしくはそれは痩せ難くないかもしくは両方ともならそれは天馬塚でない fact8: もし仮にあの金毘羅未生譚が寵愛するならその手荷物検査は発達し始める fact9: 「なにがしかのものは交渉すけれど発達し始めない」ということは成り立たないとしたら発達し始める fact10: その例話は疎ましいということはないかもしくは痩せ難いということはないかもしくは両方ともである fact11: 仮に「「あの流用パーツは思い煩わないけど内応する」ということは本当である」ということは間違いだとすればその手荷物検査は負傷者でない fact12: もしもあの金毘羅未生譚が発達し始めるし戦車隊であるとすればあのカーポートは戦車隊でない fact13: もしとあるものは御馴染まないとすると「あの流用パーツは思い煩わないがしかしそれは内応する」ということは誤りである fact14: もしその手荷物検査が六人部屋だとすればあの金毘羅未生譚は戦車隊である fact15: もし何らかのものが負傷者でないとすればそれは六人部屋であるかあるいはそれは寵愛するかもしくは両方だ fact16: 仮になにかは六人部屋でないならそれは戦車隊である fact17: あの金毘羅未生譚は寵愛する ; $hypothesis$ = あのカーポートは戦車隊である ; $proof$ = 
fact8 & fact17 -> int1: その手荷物検査は発達し始める; int1 & fact2 -> int2: あのカーポートは六人部屋でない; fact16 -> int3: もしも「あのカーポートは六人部屋である」ということは成り立たないならばそれは戦車隊だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「天馬塚でない」物はあれば「あの金毘羅未生譚は交渉すがしかし発達し始めない」ということは誤りである
事実2: もしその手荷物検査が発達し始めるとするとあのカーポートは六人部屋でない
事実3: もしも「なんらかの物は持ち合わせないしかつ関係データベースであるということはない」ということは事実であるならば御馴染むということはない
事実4: この御要望は寵愛する
事実5: この紫雲はスウィートハートである
事実6: 仮に「とあるものはスウィートハートだ」ということは本当だとすればこのスキャンダル銘柄は持ち合わせないしそれは関係データベースでない
事実7: もし仮にその例話が疎ましくらないかもしくはそれは痩せ難くないかもしくは両方ともならそれは天馬塚でない
事実8: もし仮にあの金毘羅未生譚が寵愛するならその手荷物検査は発達し始める
事実9: 「なにがしかのものは交渉すけれど発達し始めない」ということは成り立たないとしたら発達し始める
事実10: その例話は疎ましいということはないかもしくは痩せ難いということはないかもしくは両方ともである
事実11: 仮に「「あの流用パーツは思い煩わないけど内応する」ということは本当である」ということは間違いだとすればその手荷物検査は負傷者でない
事実12: もしもあの金毘羅未生譚が発達し始めるし戦車隊であるとすればあのカーポートは戦車隊でない
事実13: もしとあるものは御馴染まないとすると「あの流用パーツは思い煩わないがしかしそれは内応する」ということは誤りである
事実14: もしその手荷物検査が六人部屋だとすればあの金毘羅未生譚は戦車隊である
事実15: もし何らかのものが負傷者でないとすればそれは六人部屋であるかあるいはそれは寵愛するかもしくは両方だ
事実16: 仮になにかは六人部屋でないならそれは戦車隊である
事実17: あの金毘羅未生譚は寵愛する

仮説: あのカーポートは戦車隊である
1. 事実8と事実17から、推論1: "その手荷物検査は発達し始める"が導かれる
2. 推論1と事実2から、推論2: "あのカーポートは六人部屋でない"が導かれる
3. 事実16から、推論3: "もしも「あのカーポートは六人部屋である」ということは成り立たないならばそれは戦車隊だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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