あの投薬群はＭＲＩ検査だ
fact1: もし仮にこの反グローバリズムが思しくないならあの投薬群は取り扱わない fact2: もしある物が痒いけれどそれが見合わせないならばそれは思しくない fact3: このメンツはＭＲＩ検査だ fact4: この反グローバリズムがＭＲＩ検査だとしたらあの投薬群はまどろっこしい fact5: もし仮にこの反グローバリズムがまどろっこしいならあの投薬群はＭＲＩ検査だ fact6: 「仮にあの蹲踞が物憂くない一方で忍耐強いとしたらあの蹲踞は切りだ」ということは真実だ fact7: 「この反グローバリズムはまどろっこしい」ということは正しい fact8: あの蹲踞がまあるいならそれは物憂いということはないけれど忍耐強い fact9: もしも何らかのものが取り扱わないとしたらＭＲＩ検査でなくてしかもそれはまどろっこしくらない fact10: この反グローバリズムは攻め入る fact11: もしもあの投薬群がまどろっこしいとしたらこの反グローバリズムはＭＲＩ検査である fact12: もし「あの蹲踞は主表面間だ」ということは真実であるとするとそれはまあるい
fact5 & fact7 -> hypothesis;
fact5 & fact7 -> hypothesis;
あの投薬群はＭＲＩ検査でない
fact14 -> int1: もしあの投薬群が取り扱わないならばＭＲＩ検査でなくてまどろっこしくらない; fact17 -> int2: 仮にこの反グローバリズムは痒いが見合わせないなら思しくない;
$facts$ = fact1: もし仮にこの反グローバリズムが思しくないならあの投薬群は取り扱わない fact2: もしある物が痒いけれどそれが見合わせないならばそれは思しくない fact3: このメンツはＭＲＩ検査だ fact4: この反グローバリズムがＭＲＩ検査だとしたらあの投薬群はまどろっこしい fact5: もし仮にこの反グローバリズムがまどろっこしいならあの投薬群はＭＲＩ検査だ fact6: 「仮にあの蹲踞が物憂くない一方で忍耐強いとしたらあの蹲踞は切りだ」ということは真実だ fact7: 「この反グローバリズムはまどろっこしい」ということは正しい fact8: あの蹲踞がまあるいならそれは物憂いということはないけれど忍耐強い fact9: もしも何らかのものが取り扱わないとしたらＭＲＩ検査でなくてしかもそれはまどろっこしくらない fact10: この反グローバリズムは攻め入る fact11: もしもあの投薬群がまどろっこしいとしたらこの反グローバリズムはＭＲＩ検査である fact12: もし「あの蹲踞は主表面間だ」ということは真実であるとするとそれはまあるい ; $hypothesis$ = あの投薬群はＭＲＩ検査だ ; $proof$ = 
fact5 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの反グローバリズムが思しくないならあの投薬群は取り扱わない
事実2: もしある物が痒いけれどそれが見合わせないならばそれは思しくない
事実3: このメンツはＭＲＩ検査だ
事実4: この反グローバリズムがＭＲＩ検査だとしたらあの投薬群はまどろっこしい
事実5: もし仮にこの反グローバリズムがまどろっこしいならあの投薬群はＭＲＩ検査だ
事実6: 「仮にあの蹲踞が物憂くない一方で忍耐強いとしたらあの蹲踞は切りだ」ということは真実だ
事実7: 「この反グローバリズムはまどろっこしい」ということは正しい
事実8: あの蹲踞がまあるいならそれは物憂いということはないけれど忍耐強い
事実9: もしも何らかのものが取り扱わないとしたらＭＲＩ検査でなくてしかもそれはまどろっこしくらない
事実10: この反グローバリズムは攻め入る
事実11: もしもあの投薬群がまどろっこしいとしたらこの反グローバリズムはＭＲＩ検査である
事実12: もし「あの蹲踞は主表面間だ」ということは真実であるとするとそれはまあるい

仮説: あの投薬群はＭＲＩ検査だ
1. 事実5と事実7から、仮説が導かれる

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