「あの魚類は転属しないがしかし落ち掛かる」ということは事実でない
fact1: もしその地域交流はとろ臭いとしたら「そのパーティは実用する」ということは確かだ fact2: 「何らかの物は実用するかもしくは貸し出さない」ということは成り立つということはないとすると御話し申し上げない fact3: あの魚類は落ち掛かるが御話し申し上げない fact4: もしその地域交流は来辛いとすれば「貸し出す」ということは成り立つ fact5: その地域交流は御話し申し上げない fact6: もし仮にあの魚類はポーツマス条約だとすると「それは転属するということはないけれど落ち掛かる」ということは嘘である fact7: もしその地域交流が貸し出せばそれは御話し申し上げる fact8: もし「その地域交流はとろ臭い一方で来辛くない」ということは誤っているとすると貸し出す fact9: もし仮に「「そのパーティは御話し申し上げる一方で実用しない」ということは誤りだ」ということは事実であるとしたらそれは来辛い fact10: もしもそのパーティは実用するとすると「あの魚類はポーツマス条約だ」ということは事実だ fact11: もし「あの魚類は実用するけれど落ち掛からない」ということは成り立つということはないとすると貸し出す
void -> assump1: 以下のように仮定する。「その地域交流はとろ臭いけど来辛くない」ということは成り立たない; fact8 & assump1 -> int1: その地域交流は貸し出す; int1 & fact7 -> int2: その地域交流は御話し申し上げる; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: その地域交流はとろ臭いが来辛くない; int4 -> int5: その地域交流はとろ臭い; int5 & fact1 -> int6: 「そのパーティは実用する」ということは成り立つ; int6 & fact10 -> int7: あの魚類はポーツマス条約だ; int7 & fact6 -> hypothesis;
あの魚類は転属しないがしかしそれは落ち掛かる
fact12 -> int8: もしも「あの魚類は実用するか貸し出さないかまたは両方だ」ということは偽ならばそれは御話し申し上げない;
$facts$ = fact1: もしその地域交流はとろ臭いとしたら「そのパーティは実用する」ということは確かだ fact2: 「何らかの物は実用するかもしくは貸し出さない」ということは成り立つということはないとすると御話し申し上げない fact3: あの魚類は落ち掛かるが御話し申し上げない fact4: もしその地域交流は来辛いとすれば「貸し出す」ということは成り立つ fact5: その地域交流は御話し申し上げない fact6: もし仮にあの魚類はポーツマス条約だとすると「それは転属するということはないけれど落ち掛かる」ということは嘘である fact7: もしその地域交流が貸し出せばそれは御話し申し上げる fact8: もし「その地域交流はとろ臭い一方で来辛くない」ということは誤っているとすると貸し出す fact9: もし仮に「「そのパーティは御話し申し上げる一方で実用しない」ということは誤りだ」ということは事実であるとしたらそれは来辛い fact10: もしもそのパーティは実用するとすると「あの魚類はポーツマス条約だ」ということは事実だ fact11: もし「あの魚類は実用するけれど落ち掛からない」ということは成り立つということはないとすると貸し出す ; $hypothesis$ = 「あの魚類は転属しないがしかし落ち掛かる」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その地域交流はとろ臭いけど来辛くない」ということは成り立たない; fact8 & assump1 -> int1: その地域交流は貸し出す; int1 & fact7 -> int2: その地域交流は御話し申し上げる; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: その地域交流はとろ臭いが来辛くない; int4 -> int5: その地域交流はとろ臭い; int5 & fact1 -> int6: 「そのパーティは実用する」ということは成り立つ; int6 & fact10 -> int7: あの魚類はポーツマス条約だ; int7 & fact6 -> hypothesis; __PROVED__
事実1: もしその地域交流はとろ臭いとしたら「そのパーティは実用する」ということは確かだ
事実2: 「何らかの物は実用するかもしくは貸し出さない」ということは成り立つということはないとすると御話し申し上げない
事実3: あの魚類は落ち掛かるが御話し申し上げない
事実4: もしその地域交流は来辛いとすれば「貸し出す」ということは成り立つ
事実5: その地域交流は御話し申し上げない
事実6: もし仮にあの魚類はポーツマス条約だとすると「それは転属するということはないけれど落ち掛かる」ということは嘘である
事実7: もしその地域交流が貸し出せばそれは御話し申し上げる
事実8: もし「その地域交流はとろ臭い一方で来辛くない」ということは誤っているとすると貸し出す
事実9: もし仮に「「そのパーティは御話し申し上げる一方で実用しない」ということは誤りだ」ということは事実であるとしたらそれは来辛い
事実10: もしもそのパーティは実用するとすると「あの魚類はポーツマス条約だ」ということは事実だ
事実11: もし「あの魚類は実用するけれど落ち掛からない」ということは成り立つということはないとすると貸し出す

仮説: 「あの魚類は転属しないがしかし落ち掛かる」ということは事実でない
1. 仮定1: 以下のように仮定する。「その地域交流はとろ臭いけど来辛くない」ということは成り立たない
2. 事実8と仮定1から、推論1: "その地域交流は貸し出す"が導かれる
3. 推論1と事実7から、推論2: "その地域交流は御話し申し上げる"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その地域交流はとろ臭いが来辛くない"が導かれる
6. 推論4から、推論5: "その地域交流はとろ臭い"が導かれる
7. 推論5と事実1から、推論6: "「そのパーティは実用する」ということは成り立つ"が導かれる
8. 推論6と事実10から、推論7: "あの魚類はポーツマス条約だ"が導かれる
9. 推論7と事実6から、仮説が導かれる

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