このキャストは御使いに成らない
fact1: もしも「「このキャストは切り込みでないかまたは御使いに成らないかどちらもである」ということは間違っている」ということは正しいとすればその子牛は見返らない fact2: 「その子牛は切り込みでないかもしくは実刑であるということはない」ということは間違っているとすると「このキャストは見返らない」ということは事実である fact3: 仮にその子牛が見返らないならば実刑でない fact4: 仮になにかは見返らないならば御使いに成るということはない fact5: その子牛は見返る fact6: もし仮にこのキャストは実刑でないならそれは御使いに成らない fact7: このキャストはフェイスパウダーである fact8: その子牛は切り込みである fact9: 「その子牛は切り込みでないかあるいはそれは実刑でない」ということは事実と異なる fact10: 「その子牛が反逆しないかもしくは行き易いということはないかまたは両方ともだ」ということは成り立たない fact11: 仮にこの恫喝が用い易いということはないならばそれは邪淫でない fact12: もし仮に「その子牛は切り込みであるか実刑でないかあるいは両方ともである」ということは間違いだとしたらこのキャストは見返らない
fact2 & fact9 -> int1: このキャストは見返らない; fact4 -> int2: もしこのキャストが見返らないとすると御使いに成らない; int1 & int2 -> hypothesis;
fact2 & fact9 -> int1: ¬{B}{b}; fact4 -> int2: ¬{B}{b} -> ¬{A}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「「このキャストは切り込みでないかまたは御使いに成らないかどちらもである」ということは間違っている」ということは正しいとすればその子牛は見返らない fact2: 「その子牛は切り込みでないかもしくは実刑であるということはない」ということは間違っているとすると「このキャストは見返らない」ということは事実である fact3: 仮にその子牛が見返らないならば実刑でない fact4: 仮になにかは見返らないならば御使いに成るということはない fact5: その子牛は見返る fact6: もし仮にこのキャストは実刑でないならそれは御使いに成らない fact7: このキャストはフェイスパウダーである fact8: その子牛は切り込みである fact9: 「その子牛は切り込みでないかあるいはそれは実刑でない」ということは事実と異なる fact10: 「その子牛が反逆しないかもしくは行き易いということはないかまたは両方ともだ」ということは成り立たない fact11: 仮にこの恫喝が用い易いということはないならばそれは邪淫でない fact12: もし仮に「その子牛は切り込みであるか実刑でないかあるいは両方ともである」ということは間違いだとしたらこのキャストは見返らない ; $hypothesis$ = このキャストは御使いに成らない ; $proof$ = 
fact2 & fact9 -> int1: このキャストは見返らない; fact4 -> int2: もしこのキャストが見返らないとすると御使いに成らない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「「このキャストは切り込みでないかまたは御使いに成らないかどちらもである」ということは間違っている」ということは正しいとすればその子牛は見返らない
事実2: 「その子牛は切り込みでないかもしくは実刑であるということはない」ということは間違っているとすると「このキャストは見返らない」ということは事実である
事実3: 仮にその子牛が見返らないならば実刑でない
事実4: 仮になにかは見返らないならば御使いに成るということはない
事実5: その子牛は見返る
事実6: もし仮にこのキャストは実刑でないならそれは御使いに成らない
事実7: このキャストはフェイスパウダーである
事実8: その子牛は切り込みである
事実9: 「その子牛は切り込みでないかあるいはそれは実刑でない」ということは事実と異なる
事実10: 「その子牛が反逆しないかもしくは行き易いということはないかまたは両方ともだ」ということは成り立たない
事実11: 仮にこの恫喝が用い易いということはないならばそれは邪淫でない
事実12: もし仮に「その子牛は切り込みであるか実刑でないかあるいは両方ともである」ということは間違いだとしたらこのキャストは見返らない

仮説: このキャストは御使いに成らない
1. 事実2と事実9から、推論1: "このキャストは見返らない"が導かれる
2. 事実4から、推論2: "もしこのキャストが見返らないとすると御使いに成らない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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