この手術手技は手洗いする
fact1: もし仮にあの調査時が学べないししかもワラントだということはないとすればこの手術手技は手洗いする fact2: その才学は学べない fact3: 「この手術手技は学べない」ということは成り立つとすると「それは手洗いしないしさらに攻撃プラグインＫでない」ということは真実である fact4: 仮にあの調査時が携帯しないとするとワラントでない fact5: 「この手術手技はワラントだ」ということは正しい fact6: 「あの調査時が攻撃プラグインＫだということはないならばあの調査時は手洗いしなくてワラントでない」ということは成り立つ fact7: もしあの調査時が学べないがワラントであるならばこの手術手技は手洗いする fact8: もし「あの調査時は攻撃プラグインＫでない」ということは本当であるとしたら学べないしそれはワラントでない fact9: あの大義は攻撃プラグインＫでない fact10: もし仮にあの調査時が攻撃プラグインＫでなくてまたそれが手洗いしないならこの手術手技はワラントだ fact11: この手術手技はガス抜きでないしさらに黒くない fact12: この十四校は京都らしいということはないしそれに隠さない fact13: 「この手術手技は配当要求である」ということは正しいとすれば苦し fact14: もしもこの手術手技がワラントだということはないとするとそれは攻撃プラグインＫだということはなくておまけに手洗いしない fact15: あの調査時は攻撃プラグインＫでない fact16: もしとあるものは苦ししそれに攻撃プラグインＫであるならば手洗いするということはない fact17: あの調査時はワラントでない fact18: そのオーディオミキサーは手洗いする fact19: 「この手術手技は攻撃プラグインＫでない」ということは事実である fact20: 「あの調査時は攻撃プラグインＫでない」ということは事実であるとしたらワラントであるということはない fact21: あの調査時は清算義務だ
fact8 & fact15 -> int1: あの調査時は学べないしそれはワラントでない; int1 & fact1 -> hypothesis;
fact8 & fact15 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
この手術手技は手洗いしない
fact23 -> int2: 「もし仮にこの手術手技が苦ししかつ攻撃プラグインＫならこの手術手技は手洗いしない」ということは成り立つ;
$facts$ = fact1: もし仮にあの調査時が学べないししかもワラントだということはないとすればこの手術手技は手洗いする fact2: その才学は学べない fact3: 「この手術手技は学べない」ということは成り立つとすると「それは手洗いしないしさらに攻撃プラグインＫでない」ということは真実である fact4: 仮にあの調査時が携帯しないとするとワラントでない fact5: 「この手術手技はワラントだ」ということは正しい fact6: 「あの調査時が攻撃プラグインＫだということはないならばあの調査時は手洗いしなくてワラントでない」ということは成り立つ fact7: もしあの調査時が学べないがワラントであるならばこの手術手技は手洗いする fact8: もし「あの調査時は攻撃プラグインＫでない」ということは本当であるとしたら学べないしそれはワラントでない fact9: あの大義は攻撃プラグインＫでない fact10: もし仮にあの調査時が攻撃プラグインＫでなくてまたそれが手洗いしないならこの手術手技はワラントだ fact11: この手術手技はガス抜きでないしさらに黒くない fact12: この十四校は京都らしいということはないしそれに隠さない fact13: 「この手術手技は配当要求である」ということは正しいとすれば苦し fact14: もしもこの手術手技がワラントだということはないとするとそれは攻撃プラグインＫだということはなくておまけに手洗いしない fact15: あの調査時は攻撃プラグインＫでない fact16: もしとあるものは苦ししそれに攻撃プラグインＫであるならば手洗いするということはない fact17: あの調査時はワラントでない fact18: そのオーディオミキサーは手洗いする fact19: 「この手術手技は攻撃プラグインＫでない」ということは事実である fact20: 「あの調査時は攻撃プラグインＫでない」ということは事実であるとしたらワラントであるということはない fact21: あの調査時は清算義務だ ; $hypothesis$ = この手術手技は手洗いする ; $proof$ = 
fact8 & fact15 -> int1: あの調査時は学べないしそれはワラントでない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの調査時が学べないししかもワラントだということはないとすればこの手術手技は手洗いする
事実2: その才学は学べない
事実3: 「この手術手技は学べない」ということは成り立つとすると「それは手洗いしないしさらに攻撃プラグインＫでない」ということは真実である
事実4: 仮にあの調査時が携帯しないとするとワラントでない
事実5: 「この手術手技はワラントだ」ということは正しい
事実6: 「あの調査時が攻撃プラグインＫだということはないならばあの調査時は手洗いしなくてワラントでない」ということは成り立つ
事実7: もしあの調査時が学べないがワラントであるならばこの手術手技は手洗いする
事実8: もし「あの調査時は攻撃プラグインＫでない」ということは本当であるとしたら学べないしそれはワラントでない
事実9: あの大義は攻撃プラグインＫでない
事実10: もし仮にあの調査時が攻撃プラグインＫでなくてまたそれが手洗いしないならこの手術手技はワラントだ
事実11: この手術手技はガス抜きでないしさらに黒くない
事実12: この十四校は京都らしいということはないしそれに隠さない
事実13: 「この手術手技は配当要求である」ということは正しいとすれば苦し
事実14: もしもこの手術手技がワラントだということはないとするとそれは攻撃プラグインＫだということはなくておまけに手洗いしない
事実15: あの調査時は攻撃プラグインＫでない
事実16: もしとあるものは苦ししそれに攻撃プラグインＫであるならば手洗いするということはない
事実17: あの調査時はワラントでない
事実18: そのオーディオミキサーは手洗いする
事実19: 「この手術手技は攻撃プラグインＫでない」ということは事実である
事実20: 「あの調査時は攻撃プラグインＫでない」ということは事実であるとしたらワラントであるということはない
事実21: あの調査時は清算義務だ

仮説: この手術手技は手洗いする
1. 事実8と事実15から、推論1: "あの調査時は学べないしそれはワラントでない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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