その削除ツールは反対しない
fact1: もし「なにかは買い易いかそれは出題しないかもしくは両方ともである」ということは成り立たないなら右列でない fact2: もしもその購入金額が出題しないとすればこの耳下腺腫脹は傷付け易くない fact3: 仮にその購入金額が買い易いとしたらこの耳下腺腫脹は傷付け易いということはない fact4: 「苦しくない」ものはある fact5: この耳下腺腫脹は傷付け易い fact6: 仮にその購入金額が右列でなくてかつ深くないとしたらあの五箇村谷地はホールドする fact7: 仮にその購入金額が出題しないとしたらこの耳下腺腫脹は傷付け易い fact8: 「その購入金額は出題しなくて買い易くない」ということは確かだとすればその削除ツールは反対する fact9: もしあの五箇村谷地がホールドするかまたは意味深くないかあるいは両方ならその削除ツールは反対しない fact10: もしもあの表御殿が撮影後でないとしたらその購入金額は深くない fact11: もしも「「苦しくない」ものはある」ということは正しいとするとあの表御殿は撮影後でない
void -> assump1: 以下のように仮定する。その購入金額は買い易いかもしくはそれは出題しないかまたは両方である; assump1 & fact3 & fact2 -> int1: この耳下腺腫脹は傷付け易くない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その購入金額は買い易いかもしくはそれは出題しない」ということは偽である; fact1 -> int4: もしも「その購入金額は買い易いかまたは出題しない」ということは間違っているなら右列でない; int3 & int4 -> int5: その購入金額は右列でない; fact11 & fact4 -> int6: あの表御殿は撮影後でない; fact10 & int6 -> int7: その購入金額は深くない; int5 & int7 -> int8: その購入金額は右列であるということはないし深くない; int8 & fact6 -> int9: あの五箇村谷地はホールドする; int9 -> int10: あの五箇村谷地はホールドするかまたは意味深くない; int10 & fact9 -> hypothesis;
「その削除ツールは反対する」ということは確かである
$facts$ = fact1: もし「なにかは買い易いかそれは出題しないかもしくは両方ともである」ということは成り立たないなら右列でない fact2: もしもその購入金額が出題しないとすればこの耳下腺腫脹は傷付け易くない fact3: 仮にその購入金額が買い易いとしたらこの耳下腺腫脹は傷付け易いということはない fact4: 「苦しくない」ものはある fact5: この耳下腺腫脹は傷付け易い fact6: 仮にその購入金額が右列でなくてかつ深くないとしたらあの五箇村谷地はホールドする fact7: 仮にその購入金額が出題しないとしたらこの耳下腺腫脹は傷付け易い fact8: 「その購入金額は出題しなくて買い易くない」ということは確かだとすればその削除ツールは反対する fact9: もしあの五箇村谷地がホールドするかまたは意味深くないかあるいは両方ならその削除ツールは反対しない fact10: もしもあの表御殿が撮影後でないとしたらその購入金額は深くない fact11: もしも「「苦しくない」ものはある」ということは正しいとするとあの表御殿は撮影後でない ; $hypothesis$ = その削除ツールは反対しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その購入金額は買い易いかもしくはそれは出題しないかまたは両方である; assump1 & fact3 & fact2 -> int1: この耳下腺腫脹は傷付け易くない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その購入金額は買い易いかもしくはそれは出題しない」ということは偽である; fact1 -> int4: もしも「その購入金額は買い易いかまたは出題しない」ということは間違っているなら右列でない; int3 & int4 -> int5: その購入金額は右列でない; fact11 & fact4 -> int6: あの表御殿は撮影後でない; fact10 & int6 -> int7: その購入金額は深くない; int5 & int7 -> int8: その購入金額は右列であるということはないし深くない; int8 & fact6 -> int9: あの五箇村谷地はホールドする; int9 -> int10: あの五箇村谷地はホールドするかまたは意味深くない; int10 & fact9 -> hypothesis; __PROVED__
事実1: もし「なにかは買い易いかそれは出題しないかもしくは両方ともである」ということは成り立たないなら右列でない
事実2: もしもその購入金額が出題しないとすればこの耳下腺腫脹は傷付け易くない
事実3: 仮にその購入金額が買い易いとしたらこの耳下腺腫脹は傷付け易いということはない
事実4: 「苦しくない」ものはある
事実5: この耳下腺腫脹は傷付け易い
事実6: 仮にその購入金額が右列でなくてかつ深くないとしたらあの五箇村谷地はホールドする
事実7: 仮にその購入金額が出題しないとしたらこの耳下腺腫脹は傷付け易い
事実8: 「その購入金額は出題しなくて買い易くない」ということは確かだとすればその削除ツールは反対する
事実9: もしあの五箇村谷地がホールドするかまたは意味深くないかあるいは両方ならその削除ツールは反対しない
事実10: もしもあの表御殿が撮影後でないとしたらその購入金額は深くない
事実11: もしも「「苦しくない」ものはある」ということは正しいとするとあの表御殿は撮影後でない

仮説: その削除ツールは反対しない
1. 仮定1: 以下のように仮定する。その購入金額は買い易いかもしくはそれは出題しないかまたは両方である
2. 仮定1と事実3と事実2から、推論1: "この耳下腺腫脹は傷付け易くない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その購入金額は買い易いかもしくはそれは出題しない」ということは偽である"が導かれる
5. 事実1から、推論4: "もしも「その購入金額は買い易いかまたは出題しない」ということは間違っているなら右列でない"が導かれる
6. 推論3と推論4から、推論5: "その購入金額は右列でない"が導かれる
7. 事実11と事実4から、推論6: "あの表御殿は撮影後でない"が導かれる
8. 事実10と推論6から、推論7: "その購入金額は深くない"が導かれる
9. 推論5と推論7から、推論8: "その購入金額は右列であるということはないし深くない"が導かれる
10. 推論8と事実6から、推論9: "あの五箇村谷地はホールドする"が導かれる
11. 推論9から、推論10: "あの五箇村谷地はホールドするかまたは意味深くない"が導かれる
12. 推論10と事実9から、仮説が導かれる

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