もしもあのパーキングエリアは認めるとしたら「「あの掲示物は九州制覇であるが望ましくらない」ということは本当である」ということは誤っている
fact1: あのパーキングエリアは望ましいとすれば「「あの掲示物が九州制覇だけど認めない」ということは成り立つ」ということは成り立たない fact2: 「この進行波説は認めるがしかし九州制覇でない」ということは間違いである fact3: もし仮にあの掲示物が九州制覇であるとするとこの進行波説は望ましい fact4: もし仮に「あの掲示物は認める」ということは成り立つとしたらあのパーキングエリアは認めるがしかし九州制覇であるということはない fact5: 「あの掲示物は常態であるがしかし計算書類規則でない」ということは確かである fact6: もしもこの進行波説は望ましいならば「あの掲示物は望ましいしかつそれは九州制覇だ」ということは間違いである fact7: もし仮にあのパーキングエリアは認めるとすれば「この進行波説は認めるけれど九州制覇だということはない」ということは成り立たない fact8: あの掲示物は認める fact9: あの優待券は九州制覇である fact10: 「あの掲示物は望ましいが認めるということはない」ということは成り立たない fact11: もし仮にあのパーキングエリアが認めるならばあの進行波説は九州制覇だ fact12: もし仮にこの進行波説は九州制覇ならば「あの掲示物は九州制覇である一方で望ましくらない」ということは正しくない fact13: 「この進行波説は九州制覇だがしかし望ましくらない」ということは確かでない fact14: 「あのパーキングエリアは認めるし九州制覇である」ということは成り立たない fact15: 「あのパーキングエリアが九州制覇だし認める」ということは成り立たない fact16: あの私人は九州制覇である fact17: もしもあのパーキングエリアは九州制覇だとすると「この進行波説は九州制覇であるし認める」ということは誤っている fact18: この進行波説は望ましい fact19: もし仮にあの掲示物は望ましいとしたら「この進行波説は望ましいがしかしそれは九州制覇でない」ということは偽だ
void -> assump1: 以下のように仮定する。あのパーキングエリアは認める; fact11 & assump1 -> int1: この進行波説は九州制覇だ; int1 & fact12 -> int2: 「あの掲示物は九州制覇だ一方で望ましくらない」ということは間違いだ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あのパーキングエリアは望ましいとすれば「「あの掲示物が九州制覇だけど認めない」ということは成り立つ」ということは成り立たない fact2: 「この進行波説は認めるがしかし九州制覇でない」ということは間違いである fact3: もし仮にあの掲示物が九州制覇であるとするとこの進行波説は望ましい fact4: もし仮に「あの掲示物は認める」ということは成り立つとしたらあのパーキングエリアは認めるがしかし九州制覇であるということはない fact5: 「あの掲示物は常態であるがしかし計算書類規則でない」ということは確かである fact6: もしもこの進行波説は望ましいならば「あの掲示物は望ましいしかつそれは九州制覇だ」ということは間違いである fact7: もし仮にあのパーキングエリアは認めるとすれば「この進行波説は認めるけれど九州制覇だということはない」ということは成り立たない fact8: あの掲示物は認める fact9: あの優待券は九州制覇である fact10: 「あの掲示物は望ましいが認めるということはない」ということは成り立たない fact11: もし仮にあのパーキングエリアが認めるならばあの進行波説は九州制覇だ fact12: もし仮にこの進行波説は九州制覇ならば「あの掲示物は九州制覇である一方で望ましくらない」ということは正しくない fact13: 「この進行波説は九州制覇だがしかし望ましくらない」ということは確かでない fact14: 「あのパーキングエリアは認めるし九州制覇である」ということは成り立たない fact15: 「あのパーキングエリアが九州制覇だし認める」ということは成り立たない fact16: あの私人は九州制覇である fact17: もしもあのパーキングエリアは九州制覇だとすると「この進行波説は九州制覇であるし認める」ということは誤っている fact18: この進行波説は望ましい fact19: もし仮にあの掲示物は望ましいとしたら「この進行波説は望ましいがしかしそれは九州制覇でない」ということは偽だ ; $hypothesis$ = もしもあのパーキングエリアは認めるとしたら「「あの掲示物は九州制覇であるが望ましくらない」ということは本当である」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのパーキングエリアは認める; fact11 & assump1 -> int1: この進行波説は九州制覇だ; int1 & fact12 -> int2: 「あの掲示物は九州制覇だ一方で望ましくらない」ということは間違いだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あのパーキングエリアは望ましいとすれば「「あの掲示物が九州制覇だけど認めない」ということは成り立つ」ということは成り立たない
事実2: 「この進行波説は認めるがしかし九州制覇でない」ということは間違いである
事実3: もし仮にあの掲示物が九州制覇であるとするとこの進行波説は望ましい
事実4: もし仮に「あの掲示物は認める」ということは成り立つとしたらあのパーキングエリアは認めるがしかし九州制覇であるということはない
事実5: 「あの掲示物は常態であるがしかし計算書類規則でない」ということは確かである
事実6: もしもこの進行波説は望ましいならば「あの掲示物は望ましいしかつそれは九州制覇だ」ということは間違いである
事実7: もし仮にあのパーキングエリアは認めるとすれば「この進行波説は認めるけれど九州制覇だということはない」ということは成り立たない
事実8: あの掲示物は認める
事実9: あの優待券は九州制覇である
事実10: 「あの掲示物は望ましいが認めるということはない」ということは成り立たない
事実11: もし仮にあのパーキングエリアが認めるならばあの進行波説は九州制覇だ
事実12: もし仮にこの進行波説は九州制覇ならば「あの掲示物は九州制覇である一方で望ましくらない」ということは正しくない
事実13: 「この進行波説は九州制覇だがしかし望ましくらない」ということは確かでない
事実14: 「あのパーキングエリアは認めるし九州制覇である」ということは成り立たない
事実15: 「あのパーキングエリアが九州制覇だし認める」ということは成り立たない
事実16: あの私人は九州制覇である
事実17: もしもあのパーキングエリアは九州制覇だとすると「この進行波説は九州制覇であるし認める」ということは誤っている
事実18: この進行波説は望ましい
事実19: もし仮にあの掲示物は望ましいとしたら「この進行波説は望ましいがしかしそれは九州制覇でない」ということは偽だ

仮説: もしもあのパーキングエリアは認めるとしたら「「あの掲示物は九州制覇であるが望ましくらない」ということは本当である」ということは誤っている
1. 仮定1: 以下のように仮定する。あのパーキングエリアは認める
2. 事実11と仮定1から、推論1: "この進行波説は九州制覇だ"が導かれる
3. 推論1と事実12から、推論2: "「あの掲示物は九州制覇だ一方で望ましくらない」ということは間違いだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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