「「もし対人的相互作用でないとすれば広ーいし加えて吉良一家である」ものはある」ということは本当である
fact1: 「もし対人的相互作用でないならば吉良一家である」ものはある fact2: 「電話連絡する」ものはある fact3: もし仮になにがしかの物は吉良一家であるということはないとすれば「広ーくないし対人的相互作用でない」ということは間違いだ fact4: 「もし仮に対人的相互作用でないとしたら広ーい」ものはある fact5: 「電話連絡するということはない」ものはある fact6: あの承諾通知は各細胞だ fact7: 仮に「「電話連絡するということはない」ものはある」ということは成り立つとすればあの承諾通知が吉良一家だし早し fact8: 「「もし対人的相互作用だとすれば広ーいし吉良一家な」ものはある」ということは成り立つ fact9: 仮にこの製品群Ａ製造工場は鰺ヶ沢町史だが存続すらないとしたらそれは待ち為さる fact10: あの承諾通知は電話連絡する fact11: あの嗽薬は待ち為さる fact12: この一般開業医は電話連絡するしぶっとい fact13: 仮にこの一般開業医が電話連絡するとすればこの歯科衛生士はしつこい fact14: 仮に「ある物は広ーくないし対人的相互作用でない」ということは事実と異なれば待ち為さる fact15: もしあの承諾通知が対人的相互作用ならば広ーいしおまけに吉良一家だ fact16: あの承諾通知は待ち為さる fact17: 「あの承諾通知は早し」ということは本当である fact18: 「もし仮に御逃げに成らないとすれば鍛えるしさらに処罰出来る」物はある fact19: もし「電話連絡しない」ものがあるならあの承諾通知は早し fact20: 仮になにがしかのものは待ち為さるが広ーいということはないとしたら対人的相互作用だ fact21: 「もし仮に広ーくないとしたら吉良一家であるしおまけに早し」物はある
void -> assump2: 以下のように仮定する。あの承諾通知は広ーくない; fact16 & assump2 -> int1: あの承諾通知は待ち為さるがしかし広ーくない; fact20 -> int2: もしあの承諾通知は待ち為さるけれど広ーくないとすれば対人的相互作用だ; int1 & int2 -> int3: あの承諾通知は対人的相互作用だ; void -> assump1: 以下のように仮定する。あの承諾通知は対人的相互作用であるということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの承諾通知は広ーい; fact5 & fact7 -> int6: あの承諾通知は吉良一家でそれに早し; int6 -> int7: あの承諾通知は吉良一家である; int5 & int7 -> int8: あの承諾通知は広ーいし更に吉良一家だ; [assump1] & int8 -> int9: 仮にあの承諾通知は対人的相互作用であるということはないならば広ーいし吉良一家である; int9 -> hypothesis;
この歯科衛生士はしつこいし待ち為さる
fact22 -> int10: この一般開業医は電話連絡する; fact25 & int10 -> int11: この歯科衛生士はしつこい; fact24 -> int12: もしも「この歯科衛生士は広ーいということはなくてそれに対人的相互作用でない」ということは偽だとすれば待ち為さる; fact23 -> int13: 仮にこの歯科衛生士は吉良一家でないなら「それは広ーくないしまた対人的相互作用でない」ということは間違っている;
$facts$ = fact1: 「もし対人的相互作用でないならば吉良一家である」ものはある fact2: 「電話連絡する」ものはある fact3: もし仮になにがしかの物は吉良一家であるということはないとすれば「広ーくないし対人的相互作用でない」ということは間違いだ fact4: 「もし仮に対人的相互作用でないとしたら広ーい」ものはある fact5: 「電話連絡するということはない」ものはある fact6: あの承諾通知は各細胞だ fact7: 仮に「「電話連絡するということはない」ものはある」ということは成り立つとすればあの承諾通知が吉良一家だし早し fact8: 「「もし対人的相互作用だとすれば広ーいし吉良一家な」ものはある」ということは成り立つ fact9: 仮にこの製品群Ａ製造工場は鰺ヶ沢町史だが存続すらないとしたらそれは待ち為さる fact10: あの承諾通知は電話連絡する fact11: あの嗽薬は待ち為さる fact12: この一般開業医は電話連絡するしぶっとい fact13: 仮にこの一般開業医が電話連絡するとすればこの歯科衛生士はしつこい fact14: 仮に「ある物は広ーくないし対人的相互作用でない」ということは事実と異なれば待ち為さる fact15: もしあの承諾通知が対人的相互作用ならば広ーいしおまけに吉良一家だ fact16: あの承諾通知は待ち為さる fact17: 「あの承諾通知は早し」ということは本当である fact18: 「もし仮に御逃げに成らないとすれば鍛えるしさらに処罰出来る」物はある fact19: もし「電話連絡しない」ものがあるならあの承諾通知は早し fact20: 仮になにがしかのものは待ち為さるが広ーいということはないとしたら対人的相互作用だ fact21: 「もし仮に広ーくないとしたら吉良一家であるしおまけに早し」物はある ; $hypothesis$ = 「「もし対人的相互作用でないとすれば広ーいし加えて吉良一家である」ものはある」ということは本当である ; $proof$ = 
void -> assump2: 以下のように仮定する。あの承諾通知は広ーくない; fact16 & assump2 -> int1: あの承諾通知は待ち為さるがしかし広ーくない; fact20 -> int2: もしあの承諾通知は待ち為さるけれど広ーくないとすれば対人的相互作用だ; int1 & int2 -> int3: あの承諾通知は対人的相互作用だ; void -> assump1: 以下のように仮定する。あの承諾通知は対人的相互作用であるということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの承諾通知は広ーい; fact5 & fact7 -> int6: あの承諾通知は吉良一家でそれに早し; int6 -> int7: あの承諾通知は吉良一家である; int5 & int7 -> int8: あの承諾通知は広ーいし更に吉良一家だ; [assump1] & int8 -> int9: 仮にあの承諾通知は対人的相互作用であるということはないならば広ーいし吉良一家である; int9 -> hypothesis; __PROVED__
事実1: 「もし対人的相互作用でないならば吉良一家である」ものはある
事実2: 「電話連絡する」ものはある
事実3: もし仮になにがしかの物は吉良一家であるということはないとすれば「広ーくないし対人的相互作用でない」ということは間違いだ
事実4: 「もし仮に対人的相互作用でないとしたら広ーい」ものはある
事実5: 「電話連絡するということはない」ものはある
事実6: あの承諾通知は各細胞だ
事実7: 仮に「「電話連絡するということはない」ものはある」ということは成り立つとすればあの承諾通知が吉良一家だし早し
事実8: 「「もし対人的相互作用だとすれば広ーいし吉良一家な」ものはある」ということは成り立つ
事実9: 仮にこの製品群Ａ製造工場は鰺ヶ沢町史だが存続すらないとしたらそれは待ち為さる
事実10: あの承諾通知は電話連絡する
事実11: あの嗽薬は待ち為さる
事実12: この一般開業医は電話連絡するしぶっとい
事実13: 仮にこの一般開業医が電話連絡するとすればこの歯科衛生士はしつこい
事実14: 仮に「ある物は広ーくないし対人的相互作用でない」ということは事実と異なれば待ち為さる
事実15: もしあの承諾通知が対人的相互作用ならば広ーいしおまけに吉良一家だ
事実16: あの承諾通知は待ち為さる
事実17: 「あの承諾通知は早し」ということは本当である
事実18: 「もし仮に御逃げに成らないとすれば鍛えるしさらに処罰出来る」物はある
事実19: もし「電話連絡しない」ものがあるならあの承諾通知は早し
事実20: 仮になにがしかのものは待ち為さるが広ーいということはないとしたら対人的相互作用だ
事実21: 「もし仮に広ーくないとしたら吉良一家であるしおまけに早し」物はある

仮説: 「「もし対人的相互作用でないとすれば広ーいし加えて吉良一家である」ものはある」ということは本当である
1. 仮定2: 以下のように仮定する。あの承諾通知は広ーくない
2. 事実16と仮定2から、推論1: "あの承諾通知は待ち為さるがしかし広ーくない"が導かれる
3. 事実20から、推論2: "もしあの承諾通知は待ち為さるけれど広ーくないとすれば対人的相互作用だ"が導かれる
4. 推論1と推論2から、推論3: "あの承諾通知は対人的相互作用だ"が導かれる
5. 仮定1: 以下のように仮定する。あの承諾通知は対人的相互作用であるということはない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの承諾通知は広ーい"が導かれる
8. 事実5と事実7から、推論6: "あの承諾通知は吉良一家でそれに早し"が導かれる
9. 推論6から、推論7: "あの承諾通知は吉良一家である"が導かれる
10. 推論5と推論7から、推論8: "あの承諾通知は広ーいし更に吉良一家だ"が導かれる
11. [仮定1]と推論8から、推論9: "仮にあの承諾通知は対人的相互作用であるということはないならば広ーいし吉良一家である"が導かれる
12. 推論9から、仮説が導かれる

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