あの回収期間は面映ゆい
fact1: そのミスターチルドレンは面映ゆかない fact2: あるものは現代書館であるかまたは締めっぽい fact3: その介助者は面映ゆかない fact4: 仮に何らかの物が清いかアップルスクリプトフォーマットであるかあるいはどちらもであるとしたらあの回収期間は最もらしくない fact5: 「黒しかまたは北伐であるかまたは両方である」物はある fact6: 「罪業であるかアップルスクリプトフォーマットな」ものはある fact7: もし「罪業な」ものがあるとすればあの回収期間は面映ゆかない fact8: とあるものは小腸上部であるかあるいはそれは白テープだ fact9: ある物が罪業ならそれは面映ゆい fact10: 遣り辛いかまたは疑い深いかあるいは両方ともであるものはある fact11: もし仮に「アップルスクリプトフォーマットであるかもしくは絶滅するかまたはどちらもである」ものがあるならあの回収期間は結べない fact12: あの回収期間はアップルスクリプトフォーマットでない fact13: もしも「罪業であるかまたはアップルスクリプトフォーマットな」物があるならあの回収期間は面映ゆいということはない
fact6 & fact13 -> hypothesis;
fact6 & fact13 -> hypothesis;
あの回収期間は面映ゆい
fact14 -> int1: 仮にあの回収期間が罪業だとしたらそれは面映ゆい;
$facts$ = fact1: そのミスターチルドレンは面映ゆかない fact2: あるものは現代書館であるかまたは締めっぽい fact3: その介助者は面映ゆかない fact4: 仮に何らかの物が清いかアップルスクリプトフォーマットであるかあるいはどちらもであるとしたらあの回収期間は最もらしくない fact5: 「黒しかまたは北伐であるかまたは両方である」物はある fact6: 「罪業であるかアップルスクリプトフォーマットな」ものはある fact7: もし「罪業な」ものがあるとすればあの回収期間は面映ゆかない fact8: とあるものは小腸上部であるかあるいはそれは白テープだ fact9: ある物が罪業ならそれは面映ゆい fact10: 遣り辛いかまたは疑い深いかあるいは両方ともであるものはある fact11: もし仮に「アップルスクリプトフォーマットであるかもしくは絶滅するかまたはどちらもである」ものがあるならあの回収期間は結べない fact12: あの回収期間はアップルスクリプトフォーマットでない fact13: もしも「罪業であるかまたはアップルスクリプトフォーマットな」物があるならあの回収期間は面映ゆいということはない ; $hypothesis$ = あの回収期間は面映ゆい ; $proof$ = 
fact6 & fact13 -> hypothesis; __DISPROVED__
事実1: そのミスターチルドレンは面映ゆかない
事実2: あるものは現代書館であるかまたは締めっぽい
事実3: その介助者は面映ゆかない
事実4: 仮に何らかの物が清いかアップルスクリプトフォーマットであるかあるいはどちらもであるとしたらあの回収期間は最もらしくない
事実5: 「黒しかまたは北伐であるかまたは両方である」物はある
事実6: 「罪業であるかアップルスクリプトフォーマットな」ものはある
事実7: もし「罪業な」ものがあるとすればあの回収期間は面映ゆかない
事実8: とあるものは小腸上部であるかあるいはそれは白テープだ
事実9: ある物が罪業ならそれは面映ゆい
事実10: 遣り辛いかまたは疑い深いかあるいは両方ともであるものはある
事実11: もし仮に「アップルスクリプトフォーマットであるかもしくは絶滅するかまたはどちらもである」ものがあるならあの回収期間は結べない
事実12: あの回収期間はアップルスクリプトフォーマットでない
事実13: もしも「罪業であるかまたはアップルスクリプトフォーマットな」物があるならあの回収期間は面映ゆいということはない

仮説: あの回収期間は面映ゆい
1. 事実6と事実13から、仮説が否定される

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