「この湿式以外は面映ゆい」ということは確かである
fact1: もしこの排気ガス中は属地性でないとすると「用い得るしそれは辻堂でない」ということは間違いだ fact2: もしもとあるものは形成し始めないならば論評する fact3: もし仮に何らかの物が面映ゆいとしたらそれは論評する fact4: もしこの湿式以外が面映ゆいしその上形成し始めるとしたらこの排気ガス中は論評しない fact5: この公開草案は論評する fact6: もしこの排気ガス中が用い得ないかあるいはそれが渋いということはないかもしくは両方であるとするとこの墜落事故は大燥ぎしない fact7: この病棟スタッフは論評しない fact8: もし仮にこの墜落事故が大燥ぎしないとするとそれは上がり始めなくてそれは商家でない fact9: もし仮にこの湿式以外が狩猟民族であるならばあの墜落事故は果てする fact10: この湿式以外は放射線照射であるしそれにぱりっとする fact11: もし仮になんらかの物が上がり始めないならそれは面映ゆいかもしくは形成し始めないか両方である fact12: この排気ガス中は形成し始める fact13: もしもこの排気ガス中は大燥ぎしないなら「それは商家であるしまた上がり始める」ということは成り立たない fact14: あの外側翼突筋は形成し始める fact15: もし仮にこの湿式以外が放射線照射だとしたらそれは狩猟民族である fact16: この排気ガス中は論評する fact17: もしもこの排気ガス中が論評するし形成し始めるならこの湿式以外は面映ゆかない fact18: もし仮になんらかのものは形成し始めないとしたら論評するし面映ゆい fact19: この排気ガス中は属地性でない fact20: もし「とあるものは用い得るけど辻堂でない」ということは誤りだとしたら用い得ない
fact16 & fact12 -> int1: この排気ガス中が論評するしその上それは形成し始める; int1 & fact17 -> hypothesis;
fact16 & fact12 -> int1: ({A}{a} & {B}{a}); int1 & fact17 -> hypothesis;
この墜落事故は論評するし果てする
fact26 -> int2: この墜落事故が上がり始めないなら面映ゆいかもしくは形成し始めないかもしくは両方ともだ; fact29 -> int3: 「この排気ガス中は用い得るが辻堂でない」ということは偽であるならば用い得ない; fact28 & fact23 -> int4: 「この排気ガス中は用い得るけど辻堂でない」ということは偽だ; int3 & int4 -> int5: この排気ガス中は用い得ない; int5 -> int6: この排気ガス中は用い得るということはないかもしくはそれは渋くない; fact25 & int6 -> int7: この墜落事故は大燥ぎしない; fact27 & int7 -> int8: 「この墜落事故は上がり始めないしその上商家でない」ということは本当だ; int8 -> int9: この墜落事故は上がり始めるということはない; int2 & int9 -> int10: この墜落事故は面映ゆいかもしくは形成し始めないかあるいは両方だ; fact24 -> int11: 仮にこの墜落事故が面映ゆいとしたらそれは論評する; fact30 -> int12: もし「この墜落事故は形成し始めない」ということは確かだとしたらそれは論評する; int10 & int11 & int12 -> int13: この墜落事故は論評する; fact22 -> int14: 「この湿式以外は放射線照射である」ということは確かだ; fact31 & int14 -> int15: この湿式以外は狩猟民族だ; fact21 & int15 -> int16: この墜落事故は果てする; int13 & int16 -> hypothesis;
$facts$ = fact1: もしこの排気ガス中は属地性でないとすると「用い得るしそれは辻堂でない」ということは間違いだ fact2: もしもとあるものは形成し始めないならば論評する fact3: もし仮に何らかの物が面映ゆいとしたらそれは論評する fact4: もしこの湿式以外が面映ゆいしその上形成し始めるとしたらこの排気ガス中は論評しない fact5: この公開草案は論評する fact6: もしこの排気ガス中が用い得ないかあるいはそれが渋いということはないかもしくは両方であるとするとこの墜落事故は大燥ぎしない fact7: この病棟スタッフは論評しない fact8: もし仮にこの墜落事故が大燥ぎしないとするとそれは上がり始めなくてそれは商家でない fact9: もし仮にこの湿式以外が狩猟民族であるならばあの墜落事故は果てする fact10: この湿式以外は放射線照射であるしそれにぱりっとする fact11: もし仮になんらかの物が上がり始めないならそれは面映ゆいかもしくは形成し始めないか両方である fact12: この排気ガス中は形成し始める fact13: もしもこの排気ガス中は大燥ぎしないなら「それは商家であるしまた上がり始める」ということは成り立たない fact14: あの外側翼突筋は形成し始める fact15: もし仮にこの湿式以外が放射線照射だとしたらそれは狩猟民族である fact16: この排気ガス中は論評する fact17: もしもこの排気ガス中が論評するし形成し始めるならこの湿式以外は面映ゆかない fact18: もし仮になんらかのものは形成し始めないとしたら論評するし面映ゆい fact19: この排気ガス中は属地性でない fact20: もし「とあるものは用い得るけど辻堂でない」ということは誤りだとしたら用い得ない ; $hypothesis$ = 「この湿式以外は面映ゆい」ということは確かである ; $proof$ = 
fact16 & fact12 -> int1: この排気ガス中が論評するしその上それは形成し始める; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: もしこの排気ガス中は属地性でないとすると「用い得るしそれは辻堂でない」ということは間違いだ
事実2: もしもとあるものは形成し始めないならば論評する
事実3: もし仮に何らかの物が面映ゆいとしたらそれは論評する
事実4: もしこの湿式以外が面映ゆいしその上形成し始めるとしたらこの排気ガス中は論評しない
事実5: この公開草案は論評する
事実6: もしこの排気ガス中が用い得ないかあるいはそれが渋いということはないかもしくは両方であるとするとこの墜落事故は大燥ぎしない
事実7: この病棟スタッフは論評しない
事実8: もし仮にこの墜落事故が大燥ぎしないとするとそれは上がり始めなくてそれは商家でない
事実9: もし仮にこの湿式以外が狩猟民族であるならばあの墜落事故は果てする
事実10: この湿式以外は放射線照射であるしそれにぱりっとする
事実11: もし仮になんらかの物が上がり始めないならそれは面映ゆいかもしくは形成し始めないか両方である
事実12: この排気ガス中は形成し始める
事実13: もしもこの排気ガス中は大燥ぎしないなら「それは商家であるしまた上がり始める」ということは成り立たない
事実14: あの外側翼突筋は形成し始める
事実15: もし仮にこの湿式以外が放射線照射だとしたらそれは狩猟民族である
事実16: この排気ガス中は論評する
事実17: もしもこの排気ガス中が論評するし形成し始めるならこの湿式以外は面映ゆかない
事実18: もし仮になんらかのものは形成し始めないとしたら論評するし面映ゆい
事実19: この排気ガス中は属地性でない
事実20: もし「とあるものは用い得るけど辻堂でない」ということは誤りだとしたら用い得ない

仮説: 「この湿式以外は面映ゆい」ということは確かである
1. 事実16と事実12から、推論1: "この排気ガス中が論評するしその上それは形成し始める"が導かれる
2. 推論1と事実17から、仮説が否定される

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