「この戦役は分家慣行であるがマートルでない」ということは本当でない
fact1: 「何らかの物は法人化しない」ということは事実である fact2: もし仮にあの霊魂が供述しないならそれはマートルでない fact3: この政務は吹き続けない fact4: もしあの霊魂が近江国だとするとこの政務は吹き続ける fact5: もし仮に何かは吹き続けるということはないとするとそれは近江国である一方で供述しない fact6: この政務はマートルでない fact7: 「この戦役はセールスである一方で分家慣行だということはない」ということは誤っている fact8: 仮にあの霊魂が吹き続けないとしたらそれは供述しない fact9: もし仮になんらかのものが近江国だということはないとしたらそれは供述しない fact10: 「この戦役が分家慣行だしそれにそれはマートルである」ということは事実と異なる fact11: もしなんらかのものは分家慣行でないならそれはマートルでない fact12: もし仮にあの霊魂はマートルでないならば「この戦役は供述するしそれにマートルである」ということは成り立たない fact13: 仮に「とあるものは厭わしいけれどそれは言い返せない」ということは誤りならば吹き続けない fact14: 仮にこの政務はマートルでないとすれば「あの霊魂は供述するがしかしマートルであるということはない」ということは誤りだ fact15: もしこの政務はもぐもぐしないとすると「あの霊魂は厭わしいけど言い返せるということはない」ということは嘘だ fact16: もしあの霊魂が近江国であるが供述しないならばこの戦役は近江国だということはない fact17: あの霊魂は情報開示でない fact18: 仮に「あのギブスは骨っぽいということはないがしかし浸軟する」ということは成り立たないならそれは退色し易くない fact19: もしもあの霊魂はマートルでないとしたら「この戦役は分家慣行でマートルだ」ということは成り立たない fact20: もしある物が法人化しないならばあのギブスは準用するしさらにそれは気怠い fact21: あのギブスは準用する一方で棺桶場でないとすると「この政務はもぐもぐしない」ということは成り立つ fact22: その三十人未満は吹き続けない fact23: 退色し易くないものは棺桶場でない fact24: もし「あの霊魂はマートルでない」ということは成り立つとしたら「この戦役は分家慣行だけどマートルであるということはない」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの霊魂は近江国である; fact4 & assump1 -> int1: 「この政務は吹き続ける」ということは成り立つ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの霊魂は近江国でない; fact9 -> int4: あの霊魂は近江国でないなら「供述しない」ということは真実である; int3 & int4 -> int5: 「あの霊魂は供述しない」ということは本当だ; int5 & fact2 -> int6: あの霊魂はマートルだということはない; int6 & fact24 -> hypothesis;
この戦役は分家慣行だがマートルでない
fact28 -> int7: もし「あの霊魂は吹き続けない」ということは誤りでないならば近江国であるしそれに供述するということはない; fact33 -> int8: もし「あの霊魂は厭わしいけれど言い返せない」ということは間違いであるならそれは吹き続けない; fact30 & fact31 -> int9: 「あのギブスは準用するしかつそれは気怠い」ということは真実だ; int9 -> int10: あのギブスは準用する; fact32 -> int11: あのギブスは退色し易くないとすれば棺桶場でない;
$facts$ = fact1: 「何らかの物は法人化しない」ということは事実である fact2: もし仮にあの霊魂が供述しないならそれはマートルでない fact3: この政務は吹き続けない fact4: もしあの霊魂が近江国だとするとこの政務は吹き続ける fact5: もし仮に何かは吹き続けるということはないとするとそれは近江国である一方で供述しない fact6: この政務はマートルでない fact7: 「この戦役はセールスである一方で分家慣行だということはない」ということは誤っている fact8: 仮にあの霊魂が吹き続けないとしたらそれは供述しない fact9: もし仮になんらかのものが近江国だということはないとしたらそれは供述しない fact10: 「この戦役が分家慣行だしそれにそれはマートルである」ということは事実と異なる fact11: もしなんらかのものは分家慣行でないならそれはマートルでない fact12: もし仮にあの霊魂はマートルでないならば「この戦役は供述するしそれにマートルである」ということは成り立たない fact13: 仮に「とあるものは厭わしいけれどそれは言い返せない」ということは誤りならば吹き続けない fact14: 仮にこの政務はマートルでないとすれば「あの霊魂は供述するがしかしマートルであるということはない」ということは誤りだ fact15: もしこの政務はもぐもぐしないとすると「あの霊魂は厭わしいけど言い返せるということはない」ということは嘘だ fact16: もしあの霊魂が近江国であるが供述しないならばこの戦役は近江国だということはない fact17: あの霊魂は情報開示でない fact18: 仮に「あのギブスは骨っぽいということはないがしかし浸軟する」ということは成り立たないならそれは退色し易くない fact19: もしもあの霊魂はマートルでないとしたら「この戦役は分家慣行でマートルだ」ということは成り立たない fact20: もしある物が法人化しないならばあのギブスは準用するしさらにそれは気怠い fact21: あのギブスは準用する一方で棺桶場でないとすると「この政務はもぐもぐしない」ということは成り立つ fact22: その三十人未満は吹き続けない fact23: 退色し易くないものは棺桶場でない fact24: もし「あの霊魂はマートルでない」ということは成り立つとしたら「この戦役は分家慣行だけどマートルであるということはない」ということは事実と異なる ; $hypothesis$ = 「この戦役は分家慣行であるがマートルでない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの霊魂は近江国である; fact4 & assump1 -> int1: 「この政務は吹き続ける」ということは成り立つ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの霊魂は近江国でない; fact9 -> int4: あの霊魂は近江国でないなら「供述しない」ということは真実である; int3 & int4 -> int5: 「あの霊魂は供述しない」ということは本当だ; int5 & fact2 -> int6: あの霊魂はマートルだということはない; int6 & fact24 -> hypothesis; __PROVED__
事実1: 「何らかの物は法人化しない」ということは事実である
事実2: もし仮にあの霊魂が供述しないならそれはマートルでない
事実3: この政務は吹き続けない
事実4: もしあの霊魂が近江国だとするとこの政務は吹き続ける
事実5: もし仮に何かは吹き続けるということはないとするとそれは近江国である一方で供述しない
事実6: この政務はマートルでない
事実7: 「この戦役はセールスである一方で分家慣行だということはない」ということは誤っている
事実8: 仮にあの霊魂が吹き続けないとしたらそれは供述しない
事実9: もし仮になんらかのものが近江国だということはないとしたらそれは供述しない
事実10: 「この戦役が分家慣行だしそれにそれはマートルである」ということは事実と異なる
事実11: もしなんらかのものは分家慣行でないならそれはマートルでない
事実12: もし仮にあの霊魂はマートルでないならば「この戦役は供述するしそれにマートルである」ということは成り立たない
事実13: 仮に「とあるものは厭わしいけれどそれは言い返せない」ということは誤りならば吹き続けない
事実14: 仮にこの政務はマートルでないとすれば「あの霊魂は供述するがしかしマートルであるということはない」ということは誤りだ
事実15: もしこの政務はもぐもぐしないとすると「あの霊魂は厭わしいけど言い返せるということはない」ということは嘘だ
事実16: もしあの霊魂が近江国であるが供述しないならばこの戦役は近江国だということはない
事実17: あの霊魂は情報開示でない
事実18: 仮に「あのギブスは骨っぽいということはないがしかし浸軟する」ということは成り立たないならそれは退色し易くない
事実19: もしもあの霊魂はマートルでないとしたら「この戦役は分家慣行でマートルだ」ということは成り立たない
事実20: もしある物が法人化しないならばあのギブスは準用するしさらにそれは気怠い
事実21: あのギブスは準用する一方で棺桶場でないとすると「この政務はもぐもぐしない」ということは成り立つ
事実22: その三十人未満は吹き続けない
事実23: 退色し易くないものは棺桶場でない
事実24: もし「あの霊魂はマートルでない」ということは成り立つとしたら「この戦役は分家慣行だけどマートルであるということはない」ということは事実と異なる

仮説: 「この戦役は分家慣行であるがマートルでない」ということは本当でない
1. 仮定1: 以下のように仮定する。あの霊魂は近江国である
2. 事実4と仮定1から、推論1: "「この政務は吹き続ける」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの霊魂は近江国でない"が導かれる
5. 事実9から、推論4: "あの霊魂は近江国でないなら「供述しない」ということは真実である"が導かれる
6. 推論3と推論4から、推論5: "「あの霊魂は供述しない」ということは本当だ"が導かれる
7. 推論5と事実2から、推論6: "あの霊魂はマートルだということはない"が導かれる
8. 推論6と事実24から、仮説が導かれる

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