そのテオリアは採点者である
fact1: もし仮にそのテオリアは採点者であるということはないなら「この発振器は確認し難くないしおまけにしどけなくない」ということは間違いでない fact2: もしこの発振器が採点者だということはなくて加えてそれが気難しくないとしたらそのテオリアは採点者であるということはない fact3: 仮になにがしかのものはノニルフェノールでないとしたら「気難しいししかも細かい」ということは成り立たない fact4: もし仮に「この興行は採点者であるがしかし修正しない」ということは誤っているとしたらこの発振器は採点者でない fact5: この発振器は修正する fact6: もし「なにかは止めど無くないけれど引き摺り上げる」ということは間違いだとすると引き摺り上げない fact7: その衣装は賞味するとすると「この興行は外出出来ないがしかし本当らしい」ということは嘘である fact8: もし仮に何かは引き摺り上げないとしたら「それは採点者だけど修正するということはない」ということは事実と異なる fact9: 採点者は確認し難い fact10: 確認し難いししどけなくないものは修正しない fact11: このストレッチは類推すらなくてしかも人民公園でない fact12: 「何もかもはノニルフェノールでない」ということは事実である fact13: もし仮にこの発振器が確認し難くないがしかししどけないとすればそれは修正しない fact14: 仮に「何らかの物は気難しくてまた細かい」ということは成り立つということはないならば「気難しくない」ということは正しい fact15: その衣装は賞味する fact16: もし仮に確認し難くない物がしどけないということはないとしたらそれは修正しない
void -> assump1: 以下のように仮定する。そのテオリアは採点者でない; fact1 & assump1 -> int1: この発振器は確認し難いということはなくてまたしどけなくない; fact16 -> int2: 仮にこの発振器は確認し難いということはなくてそれにしどけなくないとしたら修正しない; int1 & int2 -> int3: この発振器は修正しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
そのテオリアは採点者でない
fact20 -> int5: 「この発振器は気難しいしそれに細かい」ということは成り立たないとすればそれは気難しくない; fact22 -> int6: もしもその解釈規定はノニルフェノールでないなら「それは気難しいし加えてそれは細かい」ということは間違いである; fact19 -> int7: その解釈規定はノニルフェノールでない; int6 & int7 -> int8: 「その解釈規定は気難しくてさらにそれは細かい」ということは成り立つということはない; int8 -> int9: それは気難しくてそれは細かいという物はない; int9 -> int10: 「この発振器は気難しいし細かい」ということは成り立たない; int5 & int10 -> int11: この発振器は気難しくない; fact17 -> int12: もしこの興行は引き摺り上げるということはないならば「それは採点者であるが修正するということはない」ということは事実と異なる; fact21 -> int13: もしも「この興行は止めど無いということはないけれど引き摺り上げる」ということは嘘ならば「引き摺り上げない」ということは本当だ; fact24 & fact18 -> int14: 「この興行は外出出来ないが本当らしい」ということは誤りだ;
$facts$ = fact1: もし仮にそのテオリアは採点者であるということはないなら「この発振器は確認し難くないしおまけにしどけなくない」ということは間違いでない fact2: もしこの発振器が採点者だということはなくて加えてそれが気難しくないとしたらそのテオリアは採点者であるということはない fact3: 仮になにがしかのものはノニルフェノールでないとしたら「気難しいししかも細かい」ということは成り立たない fact4: もし仮に「この興行は採点者であるがしかし修正しない」ということは誤っているとしたらこの発振器は採点者でない fact5: この発振器は修正する fact6: もし「なにかは止めど無くないけれど引き摺り上げる」ということは間違いだとすると引き摺り上げない fact7: その衣装は賞味するとすると「この興行は外出出来ないがしかし本当らしい」ということは嘘である fact8: もし仮に何かは引き摺り上げないとしたら「それは採点者だけど修正するということはない」ということは事実と異なる fact9: 採点者は確認し難い fact10: 確認し難いししどけなくないものは修正しない fact11: このストレッチは類推すらなくてしかも人民公園でない fact12: 「何もかもはノニルフェノールでない」ということは事実である fact13: もし仮にこの発振器が確認し難くないがしかししどけないとすればそれは修正しない fact14: 仮に「何らかの物は気難しくてまた細かい」ということは成り立つということはないならば「気難しくない」ということは正しい fact15: その衣装は賞味する fact16: もし仮に確認し難くない物がしどけないということはないとしたらそれは修正しない ; $hypothesis$ = そのテオリアは採点者である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのテオリアは採点者でない; fact1 & assump1 -> int1: この発振器は確認し難いということはなくてまたしどけなくない; fact16 -> int2: 仮にこの発振器は確認し難いということはなくてそれにしどけなくないとしたら修正しない; int1 & int2 -> int3: この発振器は修正しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にそのテオリアは採点者であるということはないなら「この発振器は確認し難くないしおまけにしどけなくない」ということは間違いでない
事実2: もしこの発振器が採点者だということはなくて加えてそれが気難しくないとしたらそのテオリアは採点者であるということはない
事実3: 仮になにがしかのものはノニルフェノールでないとしたら「気難しいししかも細かい」ということは成り立たない
事実4: もし仮に「この興行は採点者であるがしかし修正しない」ということは誤っているとしたらこの発振器は採点者でない
事実5: この発振器は修正する
事実6: もし「なにかは止めど無くないけれど引き摺り上げる」ということは間違いだとすると引き摺り上げない
事実7: その衣装は賞味するとすると「この興行は外出出来ないがしかし本当らしい」ということは嘘である
事実8: もし仮に何かは引き摺り上げないとしたら「それは採点者だけど修正するということはない」ということは事実と異なる
事実9: 採点者は確認し難い
事実10: 確認し難いししどけなくないものは修正しない
事実11: このストレッチは類推すらなくてしかも人民公園でない
事実12: 「何もかもはノニルフェノールでない」ということは事実である
事実13: もし仮にこの発振器が確認し難くないがしかししどけないとすればそれは修正しない
事実14: 仮に「何らかの物は気難しくてまた細かい」ということは成り立つということはないならば「気難しくない」ということは正しい
事実15: その衣装は賞味する
事実16: もし仮に確認し難くない物がしどけないということはないとしたらそれは修正しない

仮説: そのテオリアは採点者である
1. 仮定1: 以下のように仮定する。そのテオリアは採点者でない
2. 事実1と仮定1から、推論1: "この発振器は確認し難いということはなくてまたしどけなくない"が導かれる
3. 事実16から、推論2: "仮にこの発振器は確認し難いということはなくてそれにしどけなくないとしたら修正しない"が導かれる
4. 推論1と推論2から、推論3: "この発振器は修正しない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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