「揮発し易い」物はある
fact1: ドレステリア原宿店は何気無くないがしかし漏れ無い fact2: もしなにがしかのものは清しないとしたら「それがドレステリア原宿店だしそれにそれは何気無くない」ということは成り立たない fact3: 仮に「とある物はドレステリア原宿店だけれど何気無くない」ということは偽だとすればそれは何気無い fact4: とある物がどうしても欲しいとするとそれは争い合わない fact5: もしもこの看護部長が何気無いしまた漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実と異ならない fact6: 仮にこのＢ細胞が中央進出でないならこの借家は揮発し易い fact7: この看護部長は清し fact8: もし仮に揮発し易いものが漏れ無いならそれは清しない fact9: もしもこの看護部長が発射出来ないならこの借家は漏れ無くて茸クリームソースである fact10: もしも「この看護部長は清し」ということは事実だとするとそれはドレステリア原宿店である fact11: もしも「何らかの物は六籍でないけどそれは浅ましい」ということは間違いであるとしたら発射出来るということはない fact12: もしもこの看護部長は何気無くないが漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実である fact13: 「「この看護部長は六籍であるということはないけど浅ましい」ということは嘘だ」ということは事実だ fact14: この看護部長は課税自主権である
fact10 & fact7 -> int1: この看護部長はドレステリア原宿店だ; fact1 -> int2: もし仮に「この看護部長はドレステリア原宿店だ」ということは真実だとしたら何気無くないが漏れ無い; int1 & int2 -> int3: この看護部長は何気無くないけれど漏れ無い; int3 & fact12 -> int4: このＢ細胞は揮発し易い; int4 -> hypothesis;
この借家は何気無い
fact21 -> int5: もし仮に「この借家はドレステリア原宿店であるけど何気無くない」ということは成り立たないとすると何気無い; fact17 -> int6: 仮にこの借家は清しないとしたら「それがドレステリア原宿店だししかも何気無いということはない」ということは成り立たない; fact16 -> int7: もしこの借家が揮発し易いしその上漏れ無いならばそれは清しということはない; fact15 -> int8: もし「「この看護部長は六籍でないけれど浅ましい」ということは成り立つ」ということは事実でないならば発射出来るということはない; int8 & fact19 -> int9: 「この看護部長は発射出来ない」ということは事実だ; fact18 & int9 -> int10: この借家は漏れ無いしそれは茸クリームソースである; int10 -> int11: 「この借家は漏れ無い」ということは成り立つ;
$facts$ = fact1: ドレステリア原宿店は何気無くないがしかし漏れ無い fact2: もしなにがしかのものは清しないとしたら「それがドレステリア原宿店だしそれにそれは何気無くない」ということは成り立たない fact3: 仮に「とある物はドレステリア原宿店だけれど何気無くない」ということは偽だとすればそれは何気無い fact4: とある物がどうしても欲しいとするとそれは争い合わない fact5: もしもこの看護部長が何気無いしまた漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実と異ならない fact6: 仮にこのＢ細胞が中央進出でないならこの借家は揮発し易い fact7: この看護部長は清し fact8: もし仮に揮発し易いものが漏れ無いならそれは清しない fact9: もしもこの看護部長が発射出来ないならこの借家は漏れ無くて茸クリームソースである fact10: もしも「この看護部長は清し」ということは事実だとするとそれはドレステリア原宿店である fact11: もしも「何らかの物は六籍でないけどそれは浅ましい」ということは間違いであるとしたら発射出来るということはない fact12: もしもこの看護部長は何気無くないが漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実である fact13: 「「この看護部長は六籍であるということはないけど浅ましい」ということは嘘だ」ということは事実だ fact14: この看護部長は課税自主権である ; $hypothesis$ = 「揮発し易い」物はある ; $proof$ = 
fact10 & fact7 -> int1: この看護部長はドレステリア原宿店だ; fact1 -> int2: もし仮に「この看護部長はドレステリア原宿店だ」ということは真実だとしたら何気無くないが漏れ無い; int1 & int2 -> int3: この看護部長は何気無くないけれど漏れ無い; int3 & fact12 -> int4: このＢ細胞は揮発し易い; int4 -> hypothesis; __PROVED__
事実1: ドレステリア原宿店は何気無くないがしかし漏れ無い
事実2: もしなにがしかのものは清しないとしたら「それがドレステリア原宿店だしそれにそれは何気無くない」ということは成り立たない
事実3: 仮に「とある物はドレステリア原宿店だけれど何気無くない」ということは偽だとすればそれは何気無い
事実4: とある物がどうしても欲しいとするとそれは争い合わない
事実5: もしもこの看護部長が何気無いしまた漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実と異ならない
事実6: 仮にこのＢ細胞が中央進出でないならこの借家は揮発し易い
事実7: この看護部長は清し
事実8: もし仮に揮発し易いものが漏れ無いならそれは清しない
事実9: もしもこの看護部長が発射出来ないならこの借家は漏れ無くて茸クリームソースである
事実10: もしも「この看護部長は清し」ということは事実だとするとそれはドレステリア原宿店である
事実11: もしも「何らかの物は六籍でないけどそれは浅ましい」ということは間違いであるとしたら発射出来るということはない
事実12: もしもこの看護部長は何気無くないが漏れ無いとすると「このＢ細胞は揮発し易い」ということは事実である
事実13: 「「この看護部長は六籍であるということはないけど浅ましい」ということは嘘だ」ということは事実だ
事実14: この看護部長は課税自主権である

仮説: 「揮発し易い」物はある
1. 事実10と事実7から、推論1: "この看護部長はドレステリア原宿店だ"が導かれる
2. 事実1から、推論2: "もし仮に「この看護部長はドレステリア原宿店だ」ということは真実だとしたら何気無くないが漏れ無い"が導かれる
3. 推論1と推論2から、推論3: "この看護部長は何気無くないけれど漏れ無い"が導かれる
4. 推論3と事実12から、推論4: "このＢ細胞は揮発し易い"が導かれる
5. 推論4から、仮説が導かれる

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