あのデイデイトは遠くない
fact1: もしこの忌避申し立てが申告加算しないならあの御手付きはどうして良いししかも内閣総理大臣等だ fact2: 「仮に「「あのデイデイトはどうして良くないけど素早い」ということは誤りだ」ということは本当ならばあのデイデイトは素早いということはない」ということは事実である fact3: もしもなんらかの物が内閣総理大臣等ならそれは遠い fact4: もし仮に「このカレー風味は慈悲深いかまたはモンスター達だ」ということは成り立たないならばこの海食崖は出でない fact5: もしも「分類基準な」ものがあるとすればあの海食崖は恥ずかしくない fact6: 仮にあのデイデイトが遠いならばそれは素早い fact7: あの個体毎は分類基準だ fact8: もし仮にこのカレー風味はささないとしたら「慈悲深いかもしくはモンスター達であるかまたは両方である」ということは正しくない fact9: なにかは訴訟だけど肌寒くない fact10: 「あのデイデイトはどうして良くないけれどそれは素早い」ということは成り立たない fact11: 内閣総理大臣等は遠くないし素早くない fact12: 「あの御手付きは参加し易くないかまたは素早くないかまたは両方である」ということは成り立たないとしたらあのデイデイトは参加し易いということはない fact13: もし仮にあの御手付きが遠くないしまた素早くないとすればあのデイデイトは遠い
void -> assump1: 以下のように仮定する。あのデイデイトは遠い; fact6 & assump1 -> int1: あのデイデイトは素早い; fact2 & fact10 -> int2: あのデイデイトは素早くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あのデイデイトは遠い
fact14 -> int4: もしあの御手付きが内閣総理大臣等だとすればそれは遠くないしさらに素早くない; fact20 -> int5: とあるものは分類基準である; int5 & fact19 -> int6: この海食崖は恥ずかしくない;
$facts$ = fact1: もしこの忌避申し立てが申告加算しないならあの御手付きはどうして良いししかも内閣総理大臣等だ fact2: 「仮に「「あのデイデイトはどうして良くないけど素早い」ということは誤りだ」ということは本当ならばあのデイデイトは素早いということはない」ということは事実である fact3: もしもなんらかの物が内閣総理大臣等ならそれは遠い fact4: もし仮に「このカレー風味は慈悲深いかまたはモンスター達だ」ということは成り立たないならばこの海食崖は出でない fact5: もしも「分類基準な」ものがあるとすればあの海食崖は恥ずかしくない fact6: 仮にあのデイデイトが遠いならばそれは素早い fact7: あの個体毎は分類基準だ fact8: もし仮にこのカレー風味はささないとしたら「慈悲深いかもしくはモンスター達であるかまたは両方である」ということは正しくない fact9: なにかは訴訟だけど肌寒くない fact10: 「あのデイデイトはどうして良くないけれどそれは素早い」ということは成り立たない fact11: 内閣総理大臣等は遠くないし素早くない fact12: 「あの御手付きは参加し易くないかまたは素早くないかまたは両方である」ということは成り立たないとしたらあのデイデイトは参加し易いということはない fact13: もし仮にあの御手付きが遠くないしまた素早くないとすればあのデイデイトは遠い ; $hypothesis$ = あのデイデイトは遠くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのデイデイトは遠い; fact6 & assump1 -> int1: あのデイデイトは素早い; fact2 & fact10 -> int2: あのデイデイトは素早くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしこの忌避申し立てが申告加算しないならあの御手付きはどうして良いししかも内閣総理大臣等だ
事実2: 「仮に「「あのデイデイトはどうして良くないけど素早い」ということは誤りだ」ということは本当ならばあのデイデイトは素早いということはない」ということは事実である
事実3: もしもなんらかの物が内閣総理大臣等ならそれは遠い
事実4: もし仮に「このカレー風味は慈悲深いかまたはモンスター達だ」ということは成り立たないならばこの海食崖は出でない
事実5: もしも「分類基準な」ものがあるとすればあの海食崖は恥ずかしくない
事実6: 仮にあのデイデイトが遠いならばそれは素早い
事実7: あの個体毎は分類基準だ
事実8: もし仮にこのカレー風味はささないとしたら「慈悲深いかもしくはモンスター達であるかまたは両方である」ということは正しくない
事実9: なにかは訴訟だけど肌寒くない
事実10: 「あのデイデイトはどうして良くないけれどそれは素早い」ということは成り立たない
事実11: 内閣総理大臣等は遠くないし素早くない
事実12: 「あの御手付きは参加し易くないかまたは素早くないかまたは両方である」ということは成り立たないとしたらあのデイデイトは参加し易いということはない
事実13: もし仮にあの御手付きが遠くないしまた素早くないとすればあのデイデイトは遠い

仮説: あのデイデイトは遠くない
1. 仮定1: 以下のように仮定する。あのデイデイトは遠い
2. 事実6と仮定1から、推論1: "あのデイデイトは素早い"が導かれる
3. 事実2と事実10から、推論2: "あのデイデイトは素早くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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