あの来客は適用する一方でそれは嘱託しない
fact1: もし「この自由分子は支払い義務でない」ということは正しいとしたらそれは邁進するし更に進め易い fact2: 「この会社名義は支払い義務でないけれど猛々しい」ということは確かだ fact3: 仮になにかは帰結しないとすると「嘱託するということはない」ということは事実だ fact4: 「この自由分子は興業であるけど適用しない」ということは確かでない fact5: もしもこの会社名義が支払い義務だということはないけれど猛々しいならばこの自由分子は支払い義務でない fact6: 問題関心は適用するけれど興業でない fact7: もしとある物が過不足無いなら問題関心である fact8: もし仮に何かは予定するなら過不足無いけど住宅取得時でない fact9: 仮になんらかのものは問題関心でないならば「興業でまた渋滞しない」ということは成り立たない fact10: もし「あの来客は興業だ」ということは嘘でないならば「この自由分子は嘱託するけど適用しない」ということは成り立たない fact11: あの来客は適用するとすると「この自由分子は嘱託するがしかしそれは興業でない」ということは成り立たない fact12: この自由分子は興業だ fact13: 仮に「あの来客は適用する」ということは確かだとすれば「この自由分子は興業であるがそれは嘱託しない」ということは成り立たない fact14: あのモニタ上は止めど無い fact15: この十七日発行は興業だ fact16: 「この自由分子は興業だ」ということは成り立つとすれば「あの来客は適用するがそれは嘱託しない」ということは成り立つということはない fact17: その売色は興業だ fact18: もしあのモニタ上が止めど無いとすればあの来客は予定する
fact16 & fact12 -> hypothesis;
あの来客は適用するけれどそれは嘱託しない
fact19 -> int1: もし仮にあの来客が問題関心であるならばそれは適用するしかつ興業でない; fact20 -> int2: もしもあの来客が過不足無いとしたらそれは問題関心だ; fact26 -> int3: あの来客が予定するならそれは過不足無いけど住宅取得時でない; fact23 & fact22 -> int4: あの来客は予定する; int3 & int4 -> int5: あの来客は過不足無いが住宅取得時でない; int5 -> int6: あの来客は過不足無い; int2 & int6 -> int7: あの来客は問題関心だ; int1 & int7 -> int8: あの来客は適用するけど興業でない; int8 -> int9: あの来客は適用する; fact25 -> int10: 仮にあの来客が帰結しないならばそれは嘱託するということはない; fact27 & fact21 -> int11: この自由分子は支払い義務でない; fact24 & int11 -> int12: この自由分子は邁進するしそれに進め易い; int12 -> int13: この自由分子は邁進する; int13 -> int14: 「邁進する」物はある;
$facts$ = fact1: もし「この自由分子は支払い義務でない」ということは正しいとしたらそれは邁進するし更に進め易い fact2: 「この会社名義は支払い義務でないけれど猛々しい」ということは確かだ fact3: 仮になにかは帰結しないとすると「嘱託するということはない」ということは事実だ fact4: 「この自由分子は興業であるけど適用しない」ということは確かでない fact5: もしもこの会社名義が支払い義務だということはないけれど猛々しいならばこの自由分子は支払い義務でない fact6: 問題関心は適用するけれど興業でない fact7: もしとある物が過不足無いなら問題関心である fact8: もし仮に何かは予定するなら過不足無いけど住宅取得時でない fact9: 仮になんらかのものは問題関心でないならば「興業でまた渋滞しない」ということは成り立たない fact10: もし「あの来客は興業だ」ということは嘘でないならば「この自由分子は嘱託するけど適用しない」ということは成り立たない fact11: あの来客は適用するとすると「この自由分子は嘱託するがしかしそれは興業でない」ということは成り立たない fact12: この自由分子は興業だ fact13: 仮に「あの来客は適用する」ということは確かだとすれば「この自由分子は興業であるがそれは嘱託しない」ということは成り立たない fact14: あのモニタ上は止めど無い fact15: この十七日発行は興業だ fact16: 「この自由分子は興業だ」ということは成り立つとすれば「あの来客は適用するがそれは嘱託しない」ということは成り立つということはない fact17: その売色は興業だ fact18: もしあのモニタ上が止めど無いとすればあの来客は予定する ; $hypothesis$ = あの来客は適用する一方でそれは嘱託しない ; $proof$ = 
fact16 & fact12 -> hypothesis; __DISPROVED__
事実1: もし「この自由分子は支払い義務でない」ということは正しいとしたらそれは邁進するし更に進め易い
事実2: 「この会社名義は支払い義務でないけれど猛々しい」ということは確かだ
事実3: 仮になにかは帰結しないとすると「嘱託するということはない」ということは事実だ
事実4: 「この自由分子は興業であるけど適用しない」ということは確かでない
事実5: もしもこの会社名義が支払い義務だということはないけれど猛々しいならばこの自由分子は支払い義務でない
事実6: 問題関心は適用するけれど興業でない
事実7: もしとある物が過不足無いなら問題関心である
事実8: もし仮に何かは予定するなら過不足無いけど住宅取得時でない
事実9: 仮になんらかのものは問題関心でないならば「興業でまた渋滞しない」ということは成り立たない
事実10: もし「あの来客は興業だ」ということは嘘でないならば「この自由分子は嘱託するけど適用しない」ということは成り立たない
事実11: あの来客は適用するとすると「この自由分子は嘱託するがしかしそれは興業でない」ということは成り立たない
事実12: この自由分子は興業だ
事実13: 仮に「あの来客は適用する」ということは確かだとすれば「この自由分子は興業であるがそれは嘱託しない」ということは成り立たない
事実14: あのモニタ上は止めど無い
事実15: この十七日発行は興業だ
事実16: 「この自由分子は興業だ」ということは成り立つとすれば「あの来客は適用するがそれは嘱託しない」ということは成り立つということはない
事実17: その売色は興業だ
事実18: もしあのモニタ上が止めど無いとすればあの来客は予定する

仮説: あの来客は適用する一方でそれは嘱託しない
1. 事実16と事実12から、仮説が否定される

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