あの一号違反は聞こえ難くない
fact1: 「何かは再版しない」ということは誤っていないとすればあのピーナッツバターは御忙しいし加えて行き帰りである fact2: もしもあのラジウムが再版するしそれが御忙しいならそれは日系社会でない fact3: もしあの一号違反が内陸国でないとしたらあのラジウムは再版しない fact4: もしあるものは励行するなら「御忙しい」ということは確かだ fact5: もしも「あのラジウムは中卒者でないが日系社会だ」ということは嘘であるとするとそれは御忙しくない fact6: あのピーナッツバターは御忙しい fact7: もし「あのピーナッツバターはどうしても欲しくない」ということは本当であるならば「あのラジウムは中卒者だということはないが日系社会である」ということは誤りだ fact8: あの一号違反は内陸国である fact9: もしこの二心房が走り寄るとすると個人病院だ fact10: もしあのピーナッツバターはどうしても欲しいし無駄口であるとすれば励行しない fact11: もし「あるものは無駄口でなくてどうしても欲しくない」ということは成り立たないとすれば無駄口である fact12: 「そのジュエリーはかったるくて励行する」ということは嘘である fact13: もし仮に「なんらかのものはかったるくて励行する」ということは間違っているなら励行するということはない fact14: もし「あの一号違反は御忙しいということはないけれど行き帰りである」ということは誤りだとすれば無駄口でない fact15: あのラジウムは無駄口であるかまたは励行するかあるいは両方だ fact16: あの一号違反は二極化する fact17: もし「あの一号違反は行き帰りである」ということは確かであるならそれは再版する fact18: 「仮にあのラジウムは無駄口であるなら「あのラジウムは御忙しい」ということは本当である」ということは確かだ fact19: もしもあのラジウムが中卒者ならそれは御忙しくない fact20: もし仮にあのラジウムが行き帰りならばあのピーナッツバターは御忙しいか再版しない fact21: もし仮にそのジュエリーが励行するということはないとするとあのラジウムは行き帰りだし加えて内陸国である fact22: 無駄口は中卒者だ fact23: もしあの一号違反が再版するししかもそれは内陸国であるならば聞こえ難くない fact24: もし仮にあのピーナッツバターがどうしても欲しいならあの一号違反は行き帰りである
void -> assump1: 以下のように仮定する。あのピーナッツバターはどうしても欲しくない; fact7 & assump1 -> int1: 「あのラジウムは中卒者でないがしかし日系社会である」ということは事実と異なる; int1 & fact5 -> int2: あのラジウムは御忙しくない; fact4 -> int3: あのラジウムが励行するとすればそれは御忙しい; int3 & fact18 & fact15 -> int4: あのラジウムは御忙しい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのピーナッツバターはどうしても欲しい; int6 & fact24 -> int7: あの一号違反は行き帰りだ; int7 & fact17 -> int8: あの一号違反は再版する; int8 & fact8 -> int9: あの一号違反は再版するしかつ内陸国である; int9 & fact23 -> hypothesis;
「あの一号違反は聞こえ難い」ということは成り立つ
fact28 -> int10: もし仮に「そのジュエリーはかったるくて加えてそれは励行する」ということは成り立たないならば「励行しない」ということは成り立つ; int10 & fact26 -> int11: そのジュエリーは励行しない; fact27 & int11 -> int12: あのラジウムは行き帰りであるし加えて内陸国だ; int12 -> int13: あのラジウムは行き帰りだ; fact25 & int13 -> int14: あのピーナッツバターは御忙しいかあるいは再版しないかあるいはどちらもである;
$facts$ = fact1: 「何かは再版しない」ということは誤っていないとすればあのピーナッツバターは御忙しいし加えて行き帰りである fact2: もしもあのラジウムが再版するしそれが御忙しいならそれは日系社会でない fact3: もしあの一号違反が内陸国でないとしたらあのラジウムは再版しない fact4: もしあるものは励行するなら「御忙しい」ということは確かだ fact5: もしも「あのラジウムは中卒者でないが日系社会だ」ということは嘘であるとするとそれは御忙しくない fact6: あのピーナッツバターは御忙しい fact7: もし「あのピーナッツバターはどうしても欲しくない」ということは本当であるならば「あのラジウムは中卒者だということはないが日系社会である」ということは誤りだ fact8: あの一号違反は内陸国である fact9: もしこの二心房が走り寄るとすると個人病院だ fact10: もしあのピーナッツバターはどうしても欲しいし無駄口であるとすれば励行しない fact11: もし「あるものは無駄口でなくてどうしても欲しくない」ということは成り立たないとすれば無駄口である fact12: 「そのジュエリーはかったるくて励行する」ということは嘘である fact13: もし仮に「なんらかのものはかったるくて励行する」ということは間違っているなら励行するということはない fact14: もし「あの一号違反は御忙しいということはないけれど行き帰りである」ということは誤りだとすれば無駄口でない fact15: あのラジウムは無駄口であるかまたは励行するかあるいは両方だ fact16: あの一号違反は二極化する fact17: もし「あの一号違反は行き帰りである」ということは確かであるならそれは再版する fact18: 「仮にあのラジウムは無駄口であるなら「あのラジウムは御忙しい」ということは本当である」ということは確かだ fact19: もしもあのラジウムが中卒者ならそれは御忙しくない fact20: もし仮にあのラジウムが行き帰りならばあのピーナッツバターは御忙しいか再版しない fact21: もし仮にそのジュエリーが励行するということはないとするとあのラジウムは行き帰りだし加えて内陸国である fact22: 無駄口は中卒者だ fact23: もしあの一号違反が再版するししかもそれは内陸国であるならば聞こえ難くない fact24: もし仮にあのピーナッツバターがどうしても欲しいならあの一号違反は行き帰りである ; $hypothesis$ = あの一号違反は聞こえ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのピーナッツバターはどうしても欲しくない; fact7 & assump1 -> int1: 「あのラジウムは中卒者でないがしかし日系社会である」ということは事実と異なる; int1 & fact5 -> int2: あのラジウムは御忙しくない; fact4 -> int3: あのラジウムが励行するとすればそれは御忙しい; int3 & fact18 & fact15 -> int4: あのラジウムは御忙しい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのピーナッツバターはどうしても欲しい; int6 & fact24 -> int7: あの一号違反は行き帰りだ; int7 & fact17 -> int8: あの一号違反は再版する; int8 & fact8 -> int9: あの一号違反は再版するしかつ内陸国である; int9 & fact23 -> hypothesis; __PROVED__
事実1: 「何かは再版しない」ということは誤っていないとすればあのピーナッツバターは御忙しいし加えて行き帰りである
事実2: もしもあのラジウムが再版するしそれが御忙しいならそれは日系社会でない
事実3: もしあの一号違反が内陸国でないとしたらあのラジウムは再版しない
事実4: もしあるものは励行するなら「御忙しい」ということは確かだ
事実5: もしも「あのラジウムは中卒者でないが日系社会だ」ということは嘘であるとするとそれは御忙しくない
事実6: あのピーナッツバターは御忙しい
事実7: もし「あのピーナッツバターはどうしても欲しくない」ということは本当であるならば「あのラジウムは中卒者だということはないが日系社会である」ということは誤りだ
事実8: あの一号違反は内陸国である
事実9: もしこの二心房が走り寄るとすると個人病院だ
事実10: もしあのピーナッツバターはどうしても欲しいし無駄口であるとすれば励行しない
事実11: もし「あるものは無駄口でなくてどうしても欲しくない」ということは成り立たないとすれば無駄口である
事実12: 「そのジュエリーはかったるくて励行する」ということは嘘である
事実13: もし仮に「なんらかのものはかったるくて励行する」ということは間違っているなら励行するということはない
事実14: もし「あの一号違反は御忙しいということはないけれど行き帰りである」ということは誤りだとすれば無駄口でない
事実15: あのラジウムは無駄口であるかまたは励行するかあるいは両方だ
事実16: あの一号違反は二極化する
事実17: もし「あの一号違反は行き帰りである」ということは確かであるならそれは再版する
事実18: 「仮にあのラジウムは無駄口であるなら「あのラジウムは御忙しい」ということは本当である」ということは確かだ
事実19: もしもあのラジウムが中卒者ならそれは御忙しくない
事実20: もし仮にあのラジウムが行き帰りならばあのピーナッツバターは御忙しいか再版しない
事実21: もし仮にそのジュエリーが励行するということはないとするとあのラジウムは行き帰りだし加えて内陸国である
事実22: 無駄口は中卒者だ
事実23: もしあの一号違反が再版するししかもそれは内陸国であるならば聞こえ難くない
事実24: もし仮にあのピーナッツバターがどうしても欲しいならあの一号違反は行き帰りである

仮説: あの一号違反は聞こえ難くない
1. 仮定1: 以下のように仮定する。あのピーナッツバターはどうしても欲しくない
2. 事実7と仮定1から、推論1: "「あのラジウムは中卒者でないがしかし日系社会である」ということは事実と異なる"が導かれる
3. 推論1と事実5から、推論2: "あのラジウムは御忙しくない"が導かれる
4. 事実4から、推論3: "あのラジウムが励行するとすればそれは御忙しい"が導かれる
5. 推論3と事実18と事実15から、推論4: "あのラジウムは御忙しい"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのピーナッツバターはどうしても欲しい"が導かれる
8. 推論6と事実24から、推論7: "あの一号違反は行き帰りだ"が導かれる
9. 推論7と事実17から、推論8: "あの一号違反は再版する"が導かれる
10. 推論8と事実8から、推論9: "あの一号違反は再版するしかつ内陸国である"が導かれる
11. 推論9と事実23から、仮説が導かれる

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