その南国市は練り込まないがそれは幽体離脱する
fact1: もし仮にあのＮポイントＳが御寒いとすればそれは算定し難いが調節し易くない fact2: もしもあの表白が算定し難いがしかし練り込まないとするとその南国市は練り込まない fact3: あの表白が算定し難くないし練り込まないならばその南国市は練り込まない fact4: 「その癌中央病院は慈愛深いしその上調節し易い」ということは本当でない fact5: 「あのＮポイントＳは練り込むということはない」ということは本当である fact6: もしあの表白が御寒いとすれば算定し難くないし練り込まない fact7: 仮に「その癌中央病院は慈愛深くないけれど調節し易い」ということは確かであるということはないとしたら「その南国市は幽体離脱する」ということは正しい fact8: もしもあのＮポイントＳが忘れ難いということはない一方で咳払いするとしたらその三重櫓は調節し易い fact9: 仮に「なんらかのものは慈愛深い」ということは正しいとすれば「練り込まなくて幽体離脱する」ということは成り立つということはない fact10: あのＮポイントＳは忘れ難くないけど咳払いする fact11: もし仮に算定し難いものは調節し易くないとしたらそれは慈愛深くない fact12: 仮にその三重櫓は調節し易いとすると「その癌中央病院は慈愛深くないけれど調節し易い」ということは事実だということはない fact13: あのＮポイントＳは忘れ難くない fact14: 仮にあの表白は御寒いとすれば「それは算定し難くない」ということは正しい fact15: あの表白は御寒い
fact8 & fact10 -> int1: 「その三重櫓は調節し易い」ということは成り立つ; int1 & fact12 -> int2: 「その癌中央病院は慈愛深くない一方で調節し易い」ということは成り立たない; int2 & fact7 -> int3: その南国市は幽体離脱する; fact6 & fact15 -> int4: あの表白は算定し難くないしかつ練り込まない; fact3 & int4 -> int5: その南国市は練り込まない; int3 & int5 -> hypothesis;
「その南国市は練り込まないが幽体離脱する」ということは間違いである
fact17 -> int6: もしもあのＮポイントＳは算定し難いけど調節し易くないとしたら慈愛深くない;
$facts$ = fact1: もし仮にあのＮポイントＳが御寒いとすればそれは算定し難いが調節し易くない fact2: もしもあの表白が算定し難いがしかし練り込まないとするとその南国市は練り込まない fact3: あの表白が算定し難くないし練り込まないならばその南国市は練り込まない fact4: 「その癌中央病院は慈愛深いしその上調節し易い」ということは本当でない fact5: 「あのＮポイントＳは練り込むということはない」ということは本当である fact6: もしあの表白が御寒いとすれば算定し難くないし練り込まない fact7: 仮に「その癌中央病院は慈愛深くないけれど調節し易い」ということは確かであるということはないとしたら「その南国市は幽体離脱する」ということは正しい fact8: もしもあのＮポイントＳが忘れ難いということはない一方で咳払いするとしたらその三重櫓は調節し易い fact9: 仮に「なんらかのものは慈愛深い」ということは正しいとすれば「練り込まなくて幽体離脱する」ということは成り立つということはない fact10: あのＮポイントＳは忘れ難くないけど咳払いする fact11: もし仮に算定し難いものは調節し易くないとしたらそれは慈愛深くない fact12: 仮にその三重櫓は調節し易いとすると「その癌中央病院は慈愛深くないけれど調節し易い」ということは事実だということはない fact13: あのＮポイントＳは忘れ難くない fact14: 仮にあの表白は御寒いとすれば「それは算定し難くない」ということは正しい fact15: あの表白は御寒い ; $hypothesis$ = その南国市は練り込まないがそれは幽体離脱する ; $proof$ = 
fact8 & fact10 -> int1: 「その三重櫓は調節し易い」ということは成り立つ; int1 & fact12 -> int2: 「その癌中央病院は慈愛深くない一方で調節し易い」ということは成り立たない; int2 & fact7 -> int3: その南国市は幽体離脱する; fact6 & fact15 -> int4: あの表白は算定し難くないしかつ練り込まない; fact3 & int4 -> int5: その南国市は練り込まない; int3 & int5 -> hypothesis; __PROVED__
事実1: もし仮にあのＮポイントＳが御寒いとすればそれは算定し難いが調節し易くない
事実2: もしもあの表白が算定し難いがしかし練り込まないとするとその南国市は練り込まない
事実3: あの表白が算定し難くないし練り込まないならばその南国市は練り込まない
事実4: 「その癌中央病院は慈愛深いしその上調節し易い」ということは本当でない
事実5: 「あのＮポイントＳは練り込むということはない」ということは本当である
事実6: もしあの表白が御寒いとすれば算定し難くないし練り込まない
事実7: 仮に「その癌中央病院は慈愛深くないけれど調節し易い」ということは確かであるということはないとしたら「その南国市は幽体離脱する」ということは正しい
事実8: もしもあのＮポイントＳが忘れ難いということはない一方で咳払いするとしたらその三重櫓は調節し易い
事実9: 仮に「なんらかのものは慈愛深い」ということは正しいとすれば「練り込まなくて幽体離脱する」ということは成り立つということはない
事実10: あのＮポイントＳは忘れ難くないけど咳払いする
事実11: もし仮に算定し難いものは調節し易くないとしたらそれは慈愛深くない
事実12: 仮にその三重櫓は調節し易いとすると「その癌中央病院は慈愛深くないけれど調節し易い」ということは事実だということはない
事実13: あのＮポイントＳは忘れ難くない
事実14: 仮にあの表白は御寒いとすれば「それは算定し難くない」ということは正しい
事実15: あの表白は御寒い

仮説: その南国市は練り込まないがそれは幽体離脱する
1. 事実8と事実10から、推論1: "「その三重櫓は調節し易い」ということは成り立つ"が導かれる
2. 推論1と事実12から、推論2: "「その癌中央病院は慈愛深くない一方で調節し易い」ということは成り立たない"が導かれる
3. 推論2と事実7から、推論3: "その南国市は幽体離脱する"が導かれる
4. 事実6と事実15から、推論4: "あの表白は算定し難くないしかつ練り込まない"が導かれる
5. 事実3と推論4から、推論5: "その南国市は練り込まない"が導かれる
6. 推論3と推論5から、仮説が導かれる

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