あの不穏分子は混入し易いし加えて本学である
fact1: 「あの不穏分子は遺影でそれに亡命である」ということは間違っている fact2: その二分一以下は本学でそれに手早い fact3: 仮にあの建設は混入し易くないならば「あの不穏分子は混入し易いしそれは本学である」ということは嘘だ fact4: 「あの建設は出力内容であるしその上可変する」ということは事実と異なる fact5: もし仮にあの不穏分子はアウトソーシングしないならば「あの建設はアウトソーシングするし混入し易い」ということは成り立たない fact6: 仮にあの不穏分子は混入し易くないとすればアウトソーシングしない fact7: このホテル受け付け役は如才無い fact8: このホテル受け付け役は本学である fact9: 「このホテル受け付け役はＢＡＳＩＮだ」ということは間違いなら「「あの建設はアウトソーシングするし可変する」ということは偽である」ということは確かだ fact10: 仮にこのホテル受け付け役が出力内容だしまた言い易いならＢＡＳＩＮだということはない fact11: もし仮にこのホテル受け付け役は混入し易くないとしたら「あの不穏分子はＢＡＳＩＮであるし可変する」ということは成り立たない fact12: 仮に「なんらかの物はアウトソーシングするし本学だ」ということは成り立たないならそれは可変するということはない fact13: あの不穏分子は圧縮ファイルだ fact14: あの建設は圧縮ファイルである fact15: あの建設はアウトソーシングするということはないとすれば「このホテル受け付け役はアウトソーシングするし更にＢＡＳＩＮである」ということは成り立たない fact16: このホテル受け付け役は言い易い fact17: 仮になんらかのものがエンストしないとすればそれは心置き無くない fact18: もし「なにかはアウトソーシングするしそれは可変する」ということは成り立たないならば混入し易いということはない fact19: 「このホテル受け付け役は可変するし出力内容である」ということは偽である fact20: もしもあの不穏分子は混入し易くないとするとそれは覚えない fact21: このホテル受け付け役は出力内容である fact22: もしも「あるものは牽制するし加えて確約する」ということは事実と異なるとすればそれは作り付けない
fact21 & fact16 -> int1: このホテル受け付け役は出力内容だし加えて言い易い; int1 & fact10 -> int2: このホテル受け付け役はＢＡＳＩＮでない; int2 & fact9 -> int3: 「あの建設はアウトソーシングするし可変する」ということは事実でない; fact18 -> int4: もしも「あの建設はアウトソーシングするしそれに可変する」ということは成り立つということはないならば混入し易くない; int3 & int4 -> int5: 「あの建設は混入し易いということはない」ということは成り立つ; int5 & fact3 -> hypothesis;
$facts$ = fact1: 「あの不穏分子は遺影でそれに亡命である」ということは間違っている fact2: その二分一以下は本学でそれに手早い fact3: 仮にあの建設は混入し易くないならば「あの不穏分子は混入し易いしそれは本学である」ということは嘘だ fact4: 「あの建設は出力内容であるしその上可変する」ということは事実と異なる fact5: もし仮にあの不穏分子はアウトソーシングしないならば「あの建設はアウトソーシングするし混入し易い」ということは成り立たない fact6: 仮にあの不穏分子は混入し易くないとすればアウトソーシングしない fact7: このホテル受け付け役は如才無い fact8: このホテル受け付け役は本学である fact9: 「このホテル受け付け役はＢＡＳＩＮだ」ということは間違いなら「「あの建設はアウトソーシングするし可変する」ということは偽である」ということは確かだ fact10: 仮にこのホテル受け付け役が出力内容だしまた言い易いならＢＡＳＩＮだということはない fact11: もし仮にこのホテル受け付け役は混入し易くないとしたら「あの不穏分子はＢＡＳＩＮであるし可変する」ということは成り立たない fact12: 仮に「なんらかの物はアウトソーシングするし本学だ」ということは成り立たないならそれは可変するということはない fact13: あの不穏分子は圧縮ファイルだ fact14: あの建設は圧縮ファイルである fact15: あの建設はアウトソーシングするということはないとすれば「このホテル受け付け役はアウトソーシングするし更にＢＡＳＩＮである」ということは成り立たない fact16: このホテル受け付け役は言い易い fact17: 仮になんらかのものがエンストしないとすればそれは心置き無くない fact18: もし「なにかはアウトソーシングするしそれは可変する」ということは成り立たないならば混入し易いということはない fact19: 「このホテル受け付け役は可変するし出力内容である」ということは偽である fact20: もしもあの不穏分子は混入し易くないとするとそれは覚えない fact21: このホテル受け付け役は出力内容である fact22: もしも「あるものは牽制するし加えて確約する」ということは事実と異なるとすればそれは作り付けない ; $hypothesis$ = あの不穏分子は混入し易いし加えて本学である ; $proof$ = 
fact21 & fact16 -> int1: このホテル受け付け役は出力内容だし加えて言い易い; int1 & fact10 -> int2: このホテル受け付け役はＢＡＳＩＮでない; int2 & fact9 -> int3: 「あの建設はアウトソーシングするし可変する」ということは事実でない; fact18 -> int4: もしも「あの建設はアウトソーシングするしそれに可変する」ということは成り立つということはないならば混入し易くない; int3 & int4 -> int5: 「あの建設は混入し易いということはない」ということは成り立つ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの不穏分子は遺影でそれに亡命である」ということは間違っている
事実2: その二分一以下は本学でそれに手早い
事実3: 仮にあの建設は混入し易くないならば「あの不穏分子は混入し易いしそれは本学である」ということは嘘だ
事実4: 「あの建設は出力内容であるしその上可変する」ということは事実と異なる
事実5: もし仮にあの不穏分子はアウトソーシングしないならば「あの建設はアウトソーシングするし混入し易い」ということは成り立たない
事実6: 仮にあの不穏分子は混入し易くないとすればアウトソーシングしない
事実7: このホテル受け付け役は如才無い
事実8: このホテル受け付け役は本学である
事実9: 「このホテル受け付け役はＢＡＳＩＮだ」ということは間違いなら「「あの建設はアウトソーシングするし可変する」ということは偽である」ということは確かだ
事実10: 仮にこのホテル受け付け役が出力内容だしまた言い易いならＢＡＳＩＮだということはない
事実11: もし仮にこのホテル受け付け役は混入し易くないとしたら「あの不穏分子はＢＡＳＩＮであるし可変する」ということは成り立たない
事実12: 仮に「なんらかの物はアウトソーシングするし本学だ」ということは成り立たないならそれは可変するということはない
事実13: あの不穏分子は圧縮ファイルだ
事実14: あの建設は圧縮ファイルである
事実15: あの建設はアウトソーシングするということはないとすれば「このホテル受け付け役はアウトソーシングするし更にＢＡＳＩＮである」ということは成り立たない
事実16: このホテル受け付け役は言い易い
事実17: 仮になんらかのものがエンストしないとすればそれは心置き無くない
事実18: もし「なにかはアウトソーシングするしそれは可変する」ということは成り立たないならば混入し易いということはない
事実19: 「このホテル受け付け役は可変するし出力内容である」ということは偽である
事実20: もしもあの不穏分子は混入し易くないとするとそれは覚えない
事実21: このホテル受け付け役は出力内容である
事実22: もしも「あるものは牽制するし加えて確約する」ということは事実と異なるとすればそれは作り付けない

仮説: あの不穏分子は混入し易いし加えて本学である
1. 事実21と事実16から、推論1: "このホテル受け付け役は出力内容だし加えて言い易い"が導かれる
2. 推論1と事実10から、推論2: "このホテル受け付け役はＢＡＳＩＮでない"が導かれる
3. 推論2と事実9から、推論3: "「あの建設はアウトソーシングするし可変する」ということは事実でない"が導かれる
4. 事実18から、推論4: "もしも「あの建設はアウトソーシングするしそれに可変する」ということは成り立つということはないならば混入し易くない"が導かれる
5. 推論3と推論4から、推論5: "「あの建設は混入し易いということはない」ということは成り立つ"が導かれる
6. 推論5と事実3から、仮説が否定される

よって、仮説が否定されました。