「その頸部痛は再読する」ということは真実だ
fact1: 仮に「その精神的援助は見極め難いということはない」ということは確かであるとすればあの商事は心肺機能でない fact2: その精神的援助は見極め難くないかもしくは心肺機能であるかまたは両方ともだ fact3: もし仮にその精神的援助は写真右でないならば「その監督・管理は覆面でないけどそれは写真右だ」ということは嘘だ fact4: あの商事は朱書しない fact5: 仮にその精神的援助が見極め難くないかまたは見なすか両方であるならあの商事は心肺機能でない fact6: もし仮にその監督・管理が覆面であるならその頸部痛は再読する fact7: もし仮に「「その精神的援助は朱書しない」ということは正しい」ということは嘘だとしたら再読しないしまた覆面である fact8: もしもある物が再読しないなら写真右であるし加えてそれは心肺機能である fact9: もしもあの商事は朱書しないけど感じ過ぎるとしたら心肺機能だ fact10: もし仮に「「その監督・管理は覆面でないけど写真右である」ということは間違いである」ということは正しいとすればその頸部痛は再読する fact11: もし仮にその監督・管理は再読するししかも朱書するとしたらそれは覆面である fact12: 「その監督・管理は朱書するしそれに覆面だ」ということは成り立たない fact13: あの商事は朱書しないけれどそれは感じ過ぎる fact14: もしも「なにかは見極め難くないかもしくは見なすかあるいはどちらもだ」ということは間違いであるならばそれは写真右だということはない
void -> assump1: 以下のように仮定する。その精神的援助は見極め難くないかまたはそれは見なす; fact5 & assump1 -> int1: あの商事は心肺機能でない; fact9 & fact13 -> int2: あの商事は心肺機能だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その精神的援助は見極め難くないかもしくは見なす」ということは嘘だ; fact14 -> int5: もし仮に「その精神的援助は見極め難くないかあるいは見なすか両方ともである」ということは嘘ならば写真右でない; int4 & int5 -> int6: その精神的援助は写真右でない; int6 & fact3 -> int7: 「「その監督・管理は覆面であるということはないけれど写真右だ」ということは成り立つ」ということは成り立たない; int7 & fact10 -> hypothesis;
「その頸部痛はやくざっぽくないかもしくはそれは見なすかあるいは両方である」ということは本当であるということはない
fact15 -> int8: もし仮にその精神的援助が再読するということはないとしたら写真右であるし心肺機能である;
$facts$ = fact1: 仮に「その精神的援助は見極め難いということはない」ということは確かであるとすればあの商事は心肺機能でない fact2: その精神的援助は見極め難くないかもしくは心肺機能であるかまたは両方ともだ fact3: もし仮にその精神的援助は写真右でないならば「その監督・管理は覆面でないけどそれは写真右だ」ということは嘘だ fact4: あの商事は朱書しない fact5: 仮にその精神的援助が見極め難くないかまたは見なすか両方であるならあの商事は心肺機能でない fact6: もし仮にその監督・管理が覆面であるならその頸部痛は再読する fact7: もし仮に「「その精神的援助は朱書しない」ということは正しい」ということは嘘だとしたら再読しないしまた覆面である fact8: もしもある物が再読しないなら写真右であるし加えてそれは心肺機能である fact9: もしもあの商事は朱書しないけど感じ過ぎるとしたら心肺機能だ fact10: もし仮に「「その監督・管理は覆面でないけど写真右である」ということは間違いである」ということは正しいとすればその頸部痛は再読する fact11: もし仮にその監督・管理は再読するししかも朱書するとしたらそれは覆面である fact12: 「その監督・管理は朱書するしそれに覆面だ」ということは成り立たない fact13: あの商事は朱書しないけれどそれは感じ過ぎる fact14: もしも「なにかは見極め難くないかもしくは見なすかあるいはどちらもだ」ということは間違いであるならばそれは写真右だということはない ; $hypothesis$ = 「その頸部痛は再読する」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その精神的援助は見極め難くないかまたはそれは見なす; fact5 & assump1 -> int1: あの商事は心肺機能でない; fact9 & fact13 -> int2: あの商事は心肺機能だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その精神的援助は見極め難くないかもしくは見なす」ということは嘘だ; fact14 -> int5: もし仮に「その精神的援助は見極め難くないかあるいは見なすか両方ともである」ということは嘘ならば写真右でない; int4 & int5 -> int6: その精神的援助は写真右でない; int6 & fact3 -> int7: 「「その監督・管理は覆面であるということはないけれど写真右だ」ということは成り立つ」ということは成り立たない; int7 & fact10 -> hypothesis; __PROVED__
事実1: 仮に「その精神的援助は見極め難いということはない」ということは確かであるとすればあの商事は心肺機能でない
事実2: その精神的援助は見極め難くないかもしくは心肺機能であるかまたは両方ともだ
事実3: もし仮にその精神的援助は写真右でないならば「その監督・管理は覆面でないけどそれは写真右だ」ということは嘘だ
事実4: あの商事は朱書しない
事実5: 仮にその精神的援助が見極め難くないかまたは見なすか両方であるならあの商事は心肺機能でない
事実6: もし仮にその監督・管理が覆面であるならその頸部痛は再読する
事実7: もし仮に「「その精神的援助は朱書しない」ということは正しい」ということは嘘だとしたら再読しないしまた覆面である
事実8: もしもある物が再読しないなら写真右であるし加えてそれは心肺機能である
事実9: もしもあの商事は朱書しないけど感じ過ぎるとしたら心肺機能だ
事実10: もし仮に「「その監督・管理は覆面でないけど写真右である」ということは間違いである」ということは正しいとすればその頸部痛は再読する
事実11: もし仮にその監督・管理は再読するししかも朱書するとしたらそれは覆面である
事実12: 「その監督・管理は朱書するしそれに覆面だ」ということは成り立たない
事実13: あの商事は朱書しないけれどそれは感じ過ぎる
事実14: もしも「なにかは見極め難くないかもしくは見なすかあるいはどちらもだ」ということは間違いであるならばそれは写真右だということはない

仮説: 「その頸部痛は再読する」ということは真実だ
1. 仮定1: 以下のように仮定する。その精神的援助は見極め難くないかまたはそれは見なす
2. 事実5と仮定1から、推論1: "あの商事は心肺機能でない"が導かれる
3. 事実9と事実13から、推論2: "あの商事は心肺機能だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その精神的援助は見極め難くないかもしくは見なす」ということは嘘だ"が導かれる
6. 事実14から、推論5: "もし仮に「その精神的援助は見極め難くないかあるいは見なすか両方ともである」ということは嘘ならば写真右でない"が導かれる
7. 推論4と推論5から、推論6: "その精神的援助は写真右でない"が導かれる
8. 推論6と事実3から、推論7: "「「その監督・管理は覆面であるということはないけれど写真右だ」ということは成り立つ」ということは成り立たない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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