その食わず嫌いは眩いがしかし眩かない
fact1: もしもこの老舗旅館が眩かないならばその食わず嫌いは眩い一方で眩かない fact2: その食わず嫌いは当該生命保険料である fact3: その食わず嫌いは蟻だけどど偉くない fact4: もしも「その食わず嫌いは眩くないし更に掻爬しない」ということは成り立たないならそれは眩かない fact5: もしもその食わず嫌いが眩かないとしたらこの老舗旅館は眩いけど眩かない fact6: あの環濠は掻爬する fact7: 仮にこの老舗旅館が当該生命保険料でないしさらにそれは優先株式でないならそれは眩くということはない fact8: 「その食わず嫌いは着信しないし更にそれは掻爬しない」ということは誤っている fact9: 「もし仮に「この老舗旅館は優先株式でないしかつ跳梁しない」ということは事実と異なるならこの老舗旅館は着信しない」ということは偽でない fact10: 「とある物は当該生命保険料でなくて更に優先株式でない」ということは間違いであるならば掻爬しない fact11: この老舗旅館は掻爬する fact12: もしなにがしかの物が優先株式だとすれば眩かない
fact10 -> int1: もし「この老舗旅館は当該生命保険料でなくてしかも優先株式でない」ということは嘘であるとしたら掻爬しない; void -> assump1: 以下のように仮定する。「「この老舗旅館は当該生命保険料でないしその上優先株式であるということはない」ということは成り立つということはない」ということは事実と異ならない; int1 & assump1 -> int2: この老舗旅館は掻爬しない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この老舗旅館は当該生命保険料でないしさらにそれは優先株式でない; int4 & fact7 -> int5: この老舗旅館は眩かない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もしもこの老舗旅館が眩かないならばその食わず嫌いは眩い一方で眩かない fact2: その食わず嫌いは当該生命保険料である fact3: その食わず嫌いは蟻だけどど偉くない fact4: もしも「その食わず嫌いは眩くないし更に掻爬しない」ということは成り立たないならそれは眩かない fact5: もしもその食わず嫌いが眩かないとしたらこの老舗旅館は眩いけど眩かない fact6: あの環濠は掻爬する fact7: 仮にこの老舗旅館が当該生命保険料でないしさらにそれは優先株式でないならそれは眩くということはない fact8: 「その食わず嫌いは着信しないし更にそれは掻爬しない」ということは誤っている fact9: 「もし仮に「この老舗旅館は優先株式でないしかつ跳梁しない」ということは事実と異なるならこの老舗旅館は着信しない」ということは偽でない fact10: 「とある物は当該生命保険料でなくて更に優先株式でない」ということは間違いであるならば掻爬しない fact11: この老舗旅館は掻爬する fact12: もしなにがしかの物が優先株式だとすれば眩かない ; $hypothesis$ = その食わず嫌いは眩いがしかし眩かない ; $proof$ = 
fact10 -> int1: もし「この老舗旅館は当該生命保険料でなくてしかも優先株式でない」ということは嘘であるとしたら掻爬しない; void -> assump1: 以下のように仮定する。「「この老舗旅館は当該生命保険料でないしその上優先株式であるということはない」ということは成り立つということはない」ということは事実と異ならない; int1 & assump1 -> int2: この老舗旅館は掻爬しない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この老舗旅館は当該生命保険料でないしさらにそれは優先株式でない; int4 & fact7 -> int5: この老舗旅館は眩かない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしもこの老舗旅館が眩かないならばその食わず嫌いは眩い一方で眩かない
事実2: その食わず嫌いは当該生命保険料である
事実3: その食わず嫌いは蟻だけどど偉くない
事実4: もしも「その食わず嫌いは眩くないし更に掻爬しない」ということは成り立たないならそれは眩かない
事実5: もしもその食わず嫌いが眩かないとしたらこの老舗旅館は眩いけど眩かない
事実6: あの環濠は掻爬する
事実7: 仮にこの老舗旅館が当該生命保険料でないしさらにそれは優先株式でないならそれは眩くということはない
事実8: 「その食わず嫌いは着信しないし更にそれは掻爬しない」ということは誤っている
事実9: 「もし仮に「この老舗旅館は優先株式でないしかつ跳梁しない」ということは事実と異なるならこの老舗旅館は着信しない」ということは偽でない
事実10: 「とある物は当該生命保険料でなくて更に優先株式でない」ということは間違いであるならば掻爬しない
事実11: この老舗旅館は掻爬する
事実12: もしなにがしかの物が優先株式だとすれば眩かない

仮説: その食わず嫌いは眩いがしかし眩かない
1. 事実10から、推論1: "もし「この老舗旅館は当該生命保険料でなくてしかも優先株式でない」ということは嘘であるとしたら掻爬しない"が導かれる
2. 仮定1: 以下のように仮定する。「「この老舗旅館は当該生命保険料でないしその上優先株式であるということはない」ということは成り立つということはない」ということは事実と異ならない
3. 推論1と仮定1から、推論2: "この老舗旅館は掻爬しない"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この老舗旅館は当該生命保険料でないしさらにそれは優先株式でない"が導かれる
6. 推論4と事実7から、推論5: "この老舗旅館は眩かない"が導かれる
7. 推論5と事実1から、仮説が導かれる

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