この主峰は粗くない
fact1: もしもこの善意取得が少なしないとすると蓮華温泉であるということはない fact2: もしも「あの多角恋愛は成し難くないしそれに知り尽くさない」ということは確かでないならばその住民投票は客でない fact3: もしもこの特殊排水が押し戻すとすればこの主峰は粗い fact4: もし仮に「この善意取得は蓮華温泉であるということはない」ということは事実であるとするとこの特殊排水は押し戻す fact5: 「あの多角恋愛は成し難くないし知り尽くさない」ということは嘘である fact6: 「なんらかの物は客でないかそれは一通り紹介するかまたは両方だ」ということは成り立たないとすれば粗くない fact7: 仮にその住民投票は一通り紹介しないならば「この善意取得は少なしし商品である」ということは成り立つということはない fact8: もしとある物は少なしないとすれば「客でないかあるいはそれは一通り紹介するか両方ともである」ということは成り立たない fact9: もしも「とある物は少なしし商品だ」ということは成り立たないならばそれは蓮華温泉でない fact10: もし仮に「何かは蓮華温泉であるしそれは少なし」ということは成り立たないとしたらそれは少なしない fact11: もしもその住民投票が一通り紹介すればそれは客だ
void -> assump1: 以下のように仮定する。その住民投票は一通り紹介する; fact11 & assump1 -> int1: その住民投票は客である; fact2 & fact5 -> int2: その住民投票は客でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その住民投票は一通り紹介しない; int4 & fact7 -> int5: 「この善意取得は少なししさらに商品だ」ということは成り立たない; fact9 -> int6: 「「この善意取得は少なしししかも商品だ」ということは成り立つということはないならばこの善意取得は蓮華温泉でない」ということは真実だ; int5 & int6 -> int7: この善意取得は蓮華温泉でない; int7 & fact4 -> int8: 「この特殊排水は押し戻す」ということは確かだ; int8 & fact3 -> hypothesis;
この主峰は粗くない
fact12 -> int9: もし「この主峰は客でないかあるいはそれは一通り紹介する」ということは誤っているとしたらそれは粗いということはない; fact13 -> int10: もし仮にこの主峰は少なしないならば「客だということはないか一通り紹介するかあるいは両方である」ということは成り立たない; fact14 -> int11: 「この主峰は蓮華温泉であるし加えて少なし」ということは成り立たないならば少なしない;
$facts$ = fact1: もしもこの善意取得が少なしないとすると蓮華温泉であるということはない fact2: もしも「あの多角恋愛は成し難くないしそれに知り尽くさない」ということは確かでないならばその住民投票は客でない fact3: もしもこの特殊排水が押し戻すとすればこの主峰は粗い fact4: もし仮に「この善意取得は蓮華温泉であるということはない」ということは事実であるとするとこの特殊排水は押し戻す fact5: 「あの多角恋愛は成し難くないし知り尽くさない」ということは嘘である fact6: 「なんらかの物は客でないかそれは一通り紹介するかまたは両方だ」ということは成り立たないとすれば粗くない fact7: 仮にその住民投票は一通り紹介しないならば「この善意取得は少なしし商品である」ということは成り立つということはない fact8: もしとある物は少なしないとすれば「客でないかあるいはそれは一通り紹介するか両方ともである」ということは成り立たない fact9: もしも「とある物は少なしし商品だ」ということは成り立たないならばそれは蓮華温泉でない fact10: もし仮に「何かは蓮華温泉であるしそれは少なし」ということは成り立たないとしたらそれは少なしない fact11: もしもその住民投票が一通り紹介すればそれは客だ ; $hypothesis$ = この主峰は粗くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その住民投票は一通り紹介する; fact11 & assump1 -> int1: その住民投票は客である; fact2 & fact5 -> int2: その住民投票は客でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その住民投票は一通り紹介しない; int4 & fact7 -> int5: 「この善意取得は少なししさらに商品だ」ということは成り立たない; fact9 -> int6: 「「この善意取得は少なしししかも商品だ」ということは成り立つということはないならばこの善意取得は蓮華温泉でない」ということは真実だ; int5 & int6 -> int7: この善意取得は蓮華温泉でない; int7 & fact4 -> int8: 「この特殊排水は押し戻す」ということは確かだ; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの善意取得が少なしないとすると蓮華温泉であるということはない
事実2: もしも「あの多角恋愛は成し難くないしそれに知り尽くさない」ということは確かでないならばその住民投票は客でない
事実3: もしもこの特殊排水が押し戻すとすればこの主峰は粗い
事実4: もし仮に「この善意取得は蓮華温泉であるということはない」ということは事実であるとするとこの特殊排水は押し戻す
事実5: 「あの多角恋愛は成し難くないし知り尽くさない」ということは嘘である
事実6: 「なんらかの物は客でないかそれは一通り紹介するかまたは両方だ」ということは成り立たないとすれば粗くない
事実7: 仮にその住民投票は一通り紹介しないならば「この善意取得は少なしし商品である」ということは成り立つということはない
事実8: もしとある物は少なしないとすれば「客でないかあるいはそれは一通り紹介するか両方ともである」ということは成り立たない
事実9: もしも「とある物は少なしし商品だ」ということは成り立たないならばそれは蓮華温泉でない
事実10: もし仮に「何かは蓮華温泉であるしそれは少なし」ということは成り立たないとしたらそれは少なしない
事実11: もしもその住民投票が一通り紹介すればそれは客だ

仮説: この主峰は粗くない
1. 仮定1: 以下のように仮定する。その住民投票は一通り紹介する
2. 事実11と仮定1から、推論1: "その住民投票は客である"が導かれる
3. 事実2と事実5から、推論2: "その住民投票は客でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その住民投票は一通り紹介しない"が導かれる
6. 推論4と事実7から、推論5: "「この善意取得は少なししさらに商品だ」ということは成り立たない"が導かれる
7. 事実9から、推論6: "「「この善意取得は少なしししかも商品だ」ということは成り立つということはないならばこの善意取得は蓮華温泉でない」ということは真実だ"が導かれる
8. 推論5と推論6から、推論7: "この善意取得は蓮華温泉でない"が導かれる
9. 推論7と事実4から、推論8: "「この特殊排水は押し戻す」ということは確かだ"が導かれる
10. 推論8と事実3から、仮説が否定される

よって、仮説が否定されました。