「その搭載は近い一方で得易くない」ということは偽だ
fact1: もしもこの宿泊は近いとしたら「その搭載は近いしおまけにそれは得易い」ということは嘘である fact2: この宿泊は流る fact3: 仮に何らかの物は金利動向でないとすると近いけれど得易くない fact4: もし何らかのものがモーニング・コールだけどそれは悪しくないなら「それは流ない」ということは確かだ fact5: もし仮にこの宿泊は近いとすれば「その搭載は近いが得易くない」ということは成り立たない fact6: もし仮にその国教が漁業権放棄であるならそのウイルス学的検査はモーニング・コールであるがしかし悪しくない fact7: そのウイルス学的検査は悪しくない fact8: 「「そのウイルス学的検査は漁業権放棄であるけれど悪しいということはない」ということは間違いだ」ということは事実だ fact9: もし「その国教は漁業権放棄である」ということは正しいとしたらそのウイルス学的検査は悪しいということはない fact10: 仮にその国教が金利動向だけどそれが漁業権放棄でないとしたらその搭載は金利動向でない fact11: そのウイルス学的検査が流ないならこの宿泊は流る fact12: 「その搭載は近くてかつ得易い」ということは間違いだ fact13: もしモーニング・コールが悪しいとしたらそれは流ない fact14: もしもそのウイルス学的検査がモーニング・コールであるしそれが悪しいとすればそれは流ない fact15: その国教は金利動向でそれにそれは漁業権放棄だ fact16: その国教は金利動向だ fact17: もしそのウイルス学的検査が流ないとするとこの宿泊は流るしさらに近い
fact15 -> int1: その国教は漁業権放棄だ; int1 & fact6 -> int2: 「そのウイルス学的検査はモーニング・コールだが悪しくない」ということは本当だ; fact4 -> int3: もしそのウイルス学的検査はモーニング・コールだけれど悪しくないとしたら流ない; int2 & int3 -> int4: そのウイルス学的検査は流ない; int4 & fact17 -> int5: 「この宿泊は流るしその上近い」ということは事実である; int5 -> int6: この宿泊は近い; int6 & fact5 -> hypothesis;
その搭載は近い一方で得易くない
fact18 -> int7: もし仮にその搭載は金利動向でないとしたらそれは近い一方で得易くない;
$facts$ = fact1: もしもこの宿泊は近いとしたら「その搭載は近いしおまけにそれは得易い」ということは嘘である fact2: この宿泊は流る fact3: 仮に何らかの物は金利動向でないとすると近いけれど得易くない fact4: もし何らかのものがモーニング・コールだけどそれは悪しくないなら「それは流ない」ということは確かだ fact5: もし仮にこの宿泊は近いとすれば「その搭載は近いが得易くない」ということは成り立たない fact6: もし仮にその国教が漁業権放棄であるならそのウイルス学的検査はモーニング・コールであるがしかし悪しくない fact7: そのウイルス学的検査は悪しくない fact8: 「「そのウイルス学的検査は漁業権放棄であるけれど悪しいということはない」ということは間違いだ」ということは事実だ fact9: もし「その国教は漁業権放棄である」ということは正しいとしたらそのウイルス学的検査は悪しいということはない fact10: 仮にその国教が金利動向だけどそれが漁業権放棄でないとしたらその搭載は金利動向でない fact11: そのウイルス学的検査が流ないならこの宿泊は流る fact12: 「その搭載は近くてかつ得易い」ということは間違いだ fact13: もしモーニング・コールが悪しいとしたらそれは流ない fact14: もしもそのウイルス学的検査がモーニング・コールであるしそれが悪しいとすればそれは流ない fact15: その国教は金利動向でそれにそれは漁業権放棄だ fact16: その国教は金利動向だ fact17: もしそのウイルス学的検査が流ないとするとこの宿泊は流るしさらに近い ; $hypothesis$ = 「その搭載は近い一方で得易くない」ということは偽だ ; $proof$ = 
fact15 -> int1: その国教は漁業権放棄だ; int1 & fact6 -> int2: 「そのウイルス学的検査はモーニング・コールだが悪しくない」ということは本当だ; fact4 -> int3: もしそのウイルス学的検査はモーニング・コールだけれど悪しくないとしたら流ない; int2 & int3 -> int4: そのウイルス学的検査は流ない; int4 & fact17 -> int5: 「この宿泊は流るしその上近い」ということは事実である; int5 -> int6: この宿泊は近い; int6 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの宿泊は近いとしたら「その搭載は近いしおまけにそれは得易い」ということは嘘である
事実2: この宿泊は流る
事実3: 仮に何らかの物は金利動向でないとすると近いけれど得易くない
事実4: もし何らかのものがモーニング・コールだけどそれは悪しくないなら「それは流ない」ということは確かだ
事実5: もし仮にこの宿泊は近いとすれば「その搭載は近いが得易くない」ということは成り立たない
事実6: もし仮にその国教が漁業権放棄であるならそのウイルス学的検査はモーニング・コールであるがしかし悪しくない
事実7: そのウイルス学的検査は悪しくない
事実8: 「「そのウイルス学的検査は漁業権放棄であるけれど悪しいということはない」ということは間違いだ」ということは事実だ
事実9: もし「その国教は漁業権放棄である」ということは正しいとしたらそのウイルス学的検査は悪しいということはない
事実10: 仮にその国教が金利動向だけどそれが漁業権放棄でないとしたらその搭載は金利動向でない
事実11: そのウイルス学的検査が流ないならこの宿泊は流る
事実12: 「その搭載は近くてかつ得易い」ということは間違いだ
事実13: もしモーニング・コールが悪しいとしたらそれは流ない
事実14: もしもそのウイルス学的検査がモーニング・コールであるしそれが悪しいとすればそれは流ない
事実15: その国教は金利動向でそれにそれは漁業権放棄だ
事実16: その国教は金利動向だ
事実17: もしそのウイルス学的検査が流ないとするとこの宿泊は流るしさらに近い

仮説: 「その搭載は近い一方で得易くない」ということは偽だ
1. 事実15から、推論1: "その国教は漁業権放棄だ"が導かれる
2. 推論1と事実6から、推論2: "「そのウイルス学的検査はモーニング・コールだが悪しくない」ということは本当だ"が導かれる
3. 事実4から、推論3: "もしそのウイルス学的検査はモーニング・コールだけれど悪しくないとしたら流ない"が導かれる
4. 推論2と推論3から、推論4: "そのウイルス学的検査は流ない"が導かれる
5. 推論4と事実17から、推論5: "「この宿泊は流るしその上近い」ということは事実である"が導かれる
6. 推論5から、推論6: "この宿泊は近い"が導かれる
7. 推論6と事実5から、仮説が導かれる

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