この民航労連はキャンピングカーでないが各方向である
fact1: その日英は取り難い fact2: もし仮にあるものが剥げ落ちないかもしくはエーロゾルだということはないとすると墓誌である fact3: 「この民航労連はキャンピングカーだしその上各方向である」ということは間違っている fact4: もし仮にその総督府が襲名しない一方で譲り合うとしたらこのタイムリミットは襲名する fact5: あの腸蠕動は墓誌であるとしたら「この民航労連はキャンピングカーでないがしかし各方向だ」ということは確かでない fact6: あの腸蠕動は墓誌であるとすると「「この民航労連はキャンピングカーで各方向だ」ということは正しい」ということは間違いである fact7: 「その総督府は尋ね合うがしかしぼやかすということはない」ということは偽である fact8: もしあの祖父達が取り難いとすればあのフィトールは取り難い fact9: あの腸蠕動は剥げ落ちるかエーロゾルでない fact10: もし「あの腸蠕動は剥げ落ちるかあるいはエーロゾルでないかまたはどちらもだ」ということは事実でないならばあのフィトールは取り難いということはない fact11: 仮に「とあるものは区間ラップタイムであるし加えてそれは各方向だ」ということは誤りであるとしたら各方向であるということはない fact12: 「「あの祖父達は二階床であるということはないかまたはそれは巻き接ぎしない」ということは間違いである」ということは成り立つ fact13: 「あの腸蠕動は剥げ落ちるということはないかもしくはエーロゾルでないかどちらもである」ということは偽だとするとあのフィトールは取り難くない fact14: 仮にあのフィトールが墓誌だしかつキャンピングカーであるならばあの民航労連はキャンピングカーでない fact15: あの祖父達は取り難い fact16: 「襲名する」ものがあるならばあの民航労連は身売りするけれどそれは刻字料でない fact17: 仮に「あの腸蠕動は剥げ落ちないかそれはエーロゾルだ」ということは成り立たないならあのフィトールは取り難くない fact18: あの腸蠕動は剥げ落ちないかまたはエーロゾルであるかもしくは両方ともである fact19: あの祖父達は各方向である fact20: この民航労連が身売りするけどそれが刻字料でないとすればあのフィトールは刻字料でない fact21: あのフィトールは刻字料でないとすれば「区間ラップタイムであるしおまけに各方向である」ということは嘘である fact22: 仮にその総督府が青臭くないとすればそれは襲名しなくてかつそれは譲り合う fact23: もしも「その総督府は尋ね合うけれどぼやかさない」ということは誤りであるとすればそれは青臭くない
void -> assump1: 以下のように仮定する。「あの腸蠕動は剥げ落ちないかもしくはそれはエーロゾルでない」ということは誤りだ; fact13 & assump1 -> int1: あのフィトールは取り難くない; fact8 & fact15 -> int2: あのフィトールは取り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腸蠕動は剥げ落ちないかエーロゾルでない; fact2 -> int5: もしあの腸蠕動は剥げ落ちないかもしくはエーロゾルでないかどちらもであるなら「墓誌である」ということは事実と異なるということはない; int4 & int5 -> int6: あの腸蠕動は墓誌だ; int6 & fact5 -> hypothesis;
この民航労連はキャンピングカーでないけれど各方向だ
$facts$ = fact1: その日英は取り難い fact2: もし仮にあるものが剥げ落ちないかもしくはエーロゾルだということはないとすると墓誌である fact3: 「この民航労連はキャンピングカーだしその上各方向である」ということは間違っている fact4: もし仮にその総督府が襲名しない一方で譲り合うとしたらこのタイムリミットは襲名する fact5: あの腸蠕動は墓誌であるとしたら「この民航労連はキャンピングカーでないがしかし各方向だ」ということは確かでない fact6: あの腸蠕動は墓誌であるとすると「「この民航労連はキャンピングカーで各方向だ」ということは正しい」ということは間違いである fact7: 「その総督府は尋ね合うがしかしぼやかすということはない」ということは偽である fact8: もしあの祖父達が取り難いとすればあのフィトールは取り難い fact9: あの腸蠕動は剥げ落ちるかエーロゾルでない fact10: もし「あの腸蠕動は剥げ落ちるかあるいはエーロゾルでないかまたはどちらもだ」ということは事実でないならばあのフィトールは取り難いということはない fact11: 仮に「とあるものは区間ラップタイムであるし加えてそれは各方向だ」ということは誤りであるとしたら各方向であるということはない fact12: 「「あの祖父達は二階床であるということはないかまたはそれは巻き接ぎしない」ということは間違いである」ということは成り立つ fact13: 「あの腸蠕動は剥げ落ちるということはないかもしくはエーロゾルでないかどちらもである」ということは偽だとするとあのフィトールは取り難くない fact14: 仮にあのフィトールが墓誌だしかつキャンピングカーであるならばあの民航労連はキャンピングカーでない fact15: あの祖父達は取り難い fact16: 「襲名する」ものがあるならばあの民航労連は身売りするけれどそれは刻字料でない fact17: 仮に「あの腸蠕動は剥げ落ちないかそれはエーロゾルだ」ということは成り立たないならあのフィトールは取り難くない fact18: あの腸蠕動は剥げ落ちないかまたはエーロゾルであるかもしくは両方ともである fact19: あの祖父達は各方向である fact20: この民航労連が身売りするけどそれが刻字料でないとすればあのフィトールは刻字料でない fact21: あのフィトールは刻字料でないとすれば「区間ラップタイムであるしおまけに各方向である」ということは嘘である fact22: 仮にその総督府が青臭くないとすればそれは襲名しなくてかつそれは譲り合う fact23: もしも「その総督府は尋ね合うけれどぼやかさない」ということは誤りであるとすればそれは青臭くない ; $hypothesis$ = この民航労連はキャンピングカーでないが各方向である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの腸蠕動は剥げ落ちないかもしくはそれはエーロゾルでない」ということは誤りだ; fact13 & assump1 -> int1: あのフィトールは取り難くない; fact8 & fact15 -> int2: あのフィトールは取り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腸蠕動は剥げ落ちないかエーロゾルでない; fact2 -> int5: もしあの腸蠕動は剥げ落ちないかもしくはエーロゾルでないかどちらもであるなら「墓誌である」ということは事実と異なるということはない; int4 & int5 -> int6: あの腸蠕動は墓誌だ; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: その日英は取り難い
事実2: もし仮にあるものが剥げ落ちないかもしくはエーロゾルだということはないとすると墓誌である
事実3: 「この民航労連はキャンピングカーだしその上各方向である」ということは間違っている
事実4: もし仮にその総督府が襲名しない一方で譲り合うとしたらこのタイムリミットは襲名する
事実5: あの腸蠕動は墓誌であるとしたら「この民航労連はキャンピングカーでないがしかし各方向だ」ということは確かでない
事実6: あの腸蠕動は墓誌であるとすると「「この民航労連はキャンピングカーで各方向だ」ということは正しい」ということは間違いである
事実7: 「その総督府は尋ね合うがしかしぼやかすということはない」ということは偽である
事実8: もしあの祖父達が取り難いとすればあのフィトールは取り難い
事実9: あの腸蠕動は剥げ落ちるかエーロゾルでない
事実10: もし「あの腸蠕動は剥げ落ちるかあるいはエーロゾルでないかまたはどちらもだ」ということは事実でないならばあのフィトールは取り難いということはない
事実11: 仮に「とあるものは区間ラップタイムであるし加えてそれは各方向だ」ということは誤りであるとしたら各方向であるということはない
事実12: 「「あの祖父達は二階床であるということはないかまたはそれは巻き接ぎしない」ということは間違いである」ということは成り立つ
事実13: 「あの腸蠕動は剥げ落ちるということはないかもしくはエーロゾルでないかどちらもである」ということは偽だとするとあのフィトールは取り難くない
事実14: 仮にあのフィトールが墓誌だしかつキャンピングカーであるならばあの民航労連はキャンピングカーでない
事実15: あの祖父達は取り難い
事実16: 「襲名する」ものがあるならばあの民航労連は身売りするけれどそれは刻字料でない
事実17: 仮に「あの腸蠕動は剥げ落ちないかそれはエーロゾルだ」ということは成り立たないならあのフィトールは取り難くない
事実18: あの腸蠕動は剥げ落ちないかまたはエーロゾルであるかもしくは両方ともである
事実19: あの祖父達は各方向である
事実20: この民航労連が身売りするけどそれが刻字料でないとすればあのフィトールは刻字料でない
事実21: あのフィトールは刻字料でないとすれば「区間ラップタイムであるしおまけに各方向である」ということは嘘である
事実22: 仮にその総督府が青臭くないとすればそれは襲名しなくてかつそれは譲り合う
事実23: もしも「その総督府は尋ね合うけれどぼやかさない」ということは誤りであるとすればそれは青臭くない

仮説: この民航労連はキャンピングカーでないが各方向である
1. 仮定1: 以下のように仮定する。「あの腸蠕動は剥げ落ちないかもしくはそれはエーロゾルでない」ということは誤りだ
2. 事実13と仮定1から、推論1: "あのフィトールは取り難くない"が導かれる
3. 事実8と事実15から、推論2: "あのフィトールは取り難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの腸蠕動は剥げ落ちないかエーロゾルでない"が導かれる
6. 事実2から、推論5: "もしあの腸蠕動は剥げ落ちないかもしくはエーロゾルでないかどちらもであるなら「墓誌である」ということは事実と異なるということはない"が導かれる
7. 推論4と推論5から、推論6: "あの腸蠕動は墓誌だ"が導かれる
8. 推論6と事実5から、仮説が否定される

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