もし仮にあのレーダー探知器が対話するとするとそのメタプログラムは国税不服審判所である
fact1: あのレーダー探知器は対話するし更に共鳴し易い fact2: もしも「あのレーダー探知器は対話するしまた共鳴し易い」ということは成り立たないならばあのメタプログラムは国税不服審判所だ fact3: もしそのメタプログラムが共鳴し易いとするとあのレーダー探知器は国税不服審判所だ fact4: 「あのレーダー探知器は共鳴し易い」ということは成り立つ fact5: あのステイヤー血統は対話しない fact6: もし仮に「あのレーダー探知器は対話するしかつ国税不服審判所である」ということは成り立たないとするとそのメタプログラムは共鳴し易い fact7: 「そのメタプログラムは共鳴し易いということはないがそれは国税不服審判所である」ということは成り立たない fact8: そのメタプログラムは共鳴し易い fact9: この雑掌は国税不服審判所だ fact10: あのレーダー探知器は国税不服審判所だしさらに共鳴し易い fact11: 「あのレーダー探知器は知り抜かないけれどそれは対話する」ということは真実でない fact12: もしもそのメタプログラムが共鳴し易くないとするとあのレーダー探知器は国税不服審判所だ fact13: そのメタプログラムが対話しないならばあのレーダー探知器は国税不服審判所だ fact14: 「「「あのレーダー探知器は対話しないけれど共鳴し易い」ということは成り立たない」ということは事実であるならばそのメタプログラムは国税不服審判所である」ということは成り立つ fact15: あのレーダー探知器は内部資料である fact16: あのレーダー探知器は隠形する fact17: あのレーダー探知器が共鳴し易くないならそのメタプログラムは国税不服審判所である fact18: この仕事分担は対話する fact19: あのレーダー探知器は対話しないが共鳴し易いとしたら「そのメタプログラムは国税不服審判所だ」ということは間違っていない fact20: あのレーダー探知器は国税不服審判所であるしそれにそれは対話する
void -> assump1: 以下のように仮定する。あのレーダー探知器は対話しないが共鳴し易い; assump1 -> int1: あのレーダー探知器は対話しない; void -> assump2: 以下のように仮定する。あのレーダー探知器は対話する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのレーダー探知器は対話しないがしかし共鳴し易い」ということは成り立たない; int3 & fact14 -> int4: そのメタプログラムは国税不服審判所だ; [assump2] & int4 -> hypothesis;
$facts$ = fact1: あのレーダー探知器は対話するし更に共鳴し易い fact2: もしも「あのレーダー探知器は対話するしまた共鳴し易い」ということは成り立たないならばあのメタプログラムは国税不服審判所だ fact3: もしそのメタプログラムが共鳴し易いとするとあのレーダー探知器は国税不服審判所だ fact4: 「あのレーダー探知器は共鳴し易い」ということは成り立つ fact5: あのステイヤー血統は対話しない fact6: もし仮に「あのレーダー探知器は対話するしかつ国税不服審判所である」ということは成り立たないとするとそのメタプログラムは共鳴し易い fact7: 「そのメタプログラムは共鳴し易いということはないがそれは国税不服審判所である」ということは成り立たない fact8: そのメタプログラムは共鳴し易い fact9: この雑掌は国税不服審判所だ fact10: あのレーダー探知器は国税不服審判所だしさらに共鳴し易い fact11: 「あのレーダー探知器は知り抜かないけれどそれは対話する」ということは真実でない fact12: もしもそのメタプログラムが共鳴し易くないとするとあのレーダー探知器は国税不服審判所だ fact13: そのメタプログラムが対話しないならばあのレーダー探知器は国税不服審判所だ fact14: 「「「あのレーダー探知器は対話しないけれど共鳴し易い」ということは成り立たない」ということは事実であるならばそのメタプログラムは国税不服審判所である」ということは成り立つ fact15: あのレーダー探知器は内部資料である fact16: あのレーダー探知器は隠形する fact17: あのレーダー探知器が共鳴し易くないならそのメタプログラムは国税不服審判所である fact18: この仕事分担は対話する fact19: あのレーダー探知器は対話しないが共鳴し易いとしたら「そのメタプログラムは国税不服審判所だ」ということは間違っていない fact20: あのレーダー探知器は国税不服審判所であるしそれにそれは対話する ; $hypothesis$ = もし仮にあのレーダー探知器が対話するとするとそのメタプログラムは国税不服審判所である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのレーダー探知器は対話しないが共鳴し易い; assump1 -> int1: あのレーダー探知器は対話しない; void -> assump2: 以下のように仮定する。あのレーダー探知器は対話する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのレーダー探知器は対話しないがしかし共鳴し易い」ということは成り立たない; int3 & fact14 -> int4: そのメタプログラムは国税不服審判所だ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: あのレーダー探知器は対話するし更に共鳴し易い
事実2: もしも「あのレーダー探知器は対話するしまた共鳴し易い」ということは成り立たないならばあのメタプログラムは国税不服審判所だ
事実3: もしそのメタプログラムが共鳴し易いとするとあのレーダー探知器は国税不服審判所だ
事実4: 「あのレーダー探知器は共鳴し易い」ということは成り立つ
事実5: あのステイヤー血統は対話しない
事実6: もし仮に「あのレーダー探知器は対話するしかつ国税不服審判所である」ということは成り立たないとするとそのメタプログラムは共鳴し易い
事実7: 「そのメタプログラムは共鳴し易いということはないがそれは国税不服審判所である」ということは成り立たない
事実8: そのメタプログラムは共鳴し易い
事実9: この雑掌は国税不服審判所だ
事実10: あのレーダー探知器は国税不服審判所だしさらに共鳴し易い
事実11: 「あのレーダー探知器は知り抜かないけれどそれは対話する」ということは真実でない
事実12: もしもそのメタプログラムが共鳴し易くないとするとあのレーダー探知器は国税不服審判所だ
事実13: そのメタプログラムが対話しないならばあのレーダー探知器は国税不服審判所だ
事実14: 「「「あのレーダー探知器は対話しないけれど共鳴し易い」ということは成り立たない」ということは事実であるならばそのメタプログラムは国税不服審判所である」ということは成り立つ
事実15: あのレーダー探知器は内部資料である
事実16: あのレーダー探知器は隠形する
事実17: あのレーダー探知器が共鳴し易くないならそのメタプログラムは国税不服審判所である
事実18: この仕事分担は対話する
事実19: あのレーダー探知器は対話しないが共鳴し易いとしたら「そのメタプログラムは国税不服審判所だ」ということは間違っていない
事実20: あのレーダー探知器は国税不服審判所であるしそれにそれは対話する

仮説: もし仮にあのレーダー探知器が対話するとするとそのメタプログラムは国税不服審判所である
1. 仮定1: 以下のように仮定する。あのレーダー探知器は対話しないが共鳴し易い
2. 仮定1から、推論1: "あのレーダー探知器は対話しない"が導かれる
3. 仮定2: 以下のように仮定する。あのレーダー探知器は対話する
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あのレーダー探知器は対話しないがしかし共鳴し易い」ということは成り立たない"が導かれる
6. 推論3と事実14から、推論4: "そのメタプログラムは国税不服審判所だ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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