「その賃借権抵当は留守役だが否定し難くない」ということは成り立たない
fact1: 「あのバックアップ作業は留守役でない」ということは真実だ fact2: 仮にある物は見易いとすると「それは呼び立てるししかも意義深くない」ということは正しくない fact3: もし仮に「否定し難くない」ものがあればその賃借権抵当は留守役だ fact4: その賃借権抵当は他者性でない fact5: この着艦は留守役でない fact6: 寒ーくない物は沖田黒豚でない一方で仕入れる fact7: 「否定し難い」ものはある fact8: 仮になにかは沖田黒豚でないが仕入れるとするとそれは見易い fact9: 仮にその賃借権抵当が他者性でないとすると留守役であるしさらにそれは椿科である fact10: もしなんらかの物が合い難くないならこの着艦は椿科だ fact11: 「このディレクトリ型は呼び立てるけれど意義深くない」ということは偽であるとするとこの着艦は合い難くない fact12: もしその賃借権抵当が留守役だけど否定し難くないならばこの着艦は椿科でない fact13: 何らかの物は合い難くない fact14: もしなにがしかのものが椿科でないならこの着艦は否定し難い fact15: 仮に「この着艦は合い難くない」ということは成り立つとすればその賃借権抵当は否定し難くない
void -> assump1: 以下のように仮定する。その賃借権抵当は留守役であるけど否定し難くない; fact12 & assump1 -> int1: この着艦は椿科でない; fact10 & fact13 -> int2: この着艦は椿科である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その賃借権抵当は留守役だ一方で否定し難くない
fact19 & fact22 -> int4: その賃借権抵当は留守役であるしまた椿科だ; int4 -> int5: その賃借権抵当は留守役だ; fact16 -> int6: もしも「このディレクトリ型は見易い」ということは成り立つとすると「それは呼び立てるしまたそれは意義深くない」ということは成り立たない; fact20 -> int7: 仮にこのディレクトリ型が沖田黒豚でないがそれは仕入れるとすると「それは見易い」ということは確かだ; fact18 -> int8: もしもこのディレクトリ型が寒ーくないとすると沖田黒豚でないししかもそれは仕入れる;
$facts$ = fact1: 「あのバックアップ作業は留守役でない」ということは真実だ fact2: 仮にある物は見易いとすると「それは呼び立てるししかも意義深くない」ということは正しくない fact3: もし仮に「否定し難くない」ものがあればその賃借権抵当は留守役だ fact4: その賃借権抵当は他者性でない fact5: この着艦は留守役でない fact6: 寒ーくない物は沖田黒豚でない一方で仕入れる fact7: 「否定し難い」ものはある fact8: 仮になにかは沖田黒豚でないが仕入れるとするとそれは見易い fact9: 仮にその賃借権抵当が他者性でないとすると留守役であるしさらにそれは椿科である fact10: もしなんらかの物が合い難くないならこの着艦は椿科だ fact11: 「このディレクトリ型は呼び立てるけれど意義深くない」ということは偽であるとするとこの着艦は合い難くない fact12: もしその賃借権抵当が留守役だけど否定し難くないならばこの着艦は椿科でない fact13: 何らかの物は合い難くない fact14: もしなにがしかのものが椿科でないならこの着艦は否定し難い fact15: 仮に「この着艦は合い難くない」ということは成り立つとすればその賃借権抵当は否定し難くない ; $hypothesis$ = 「その賃借権抵当は留守役だが否定し難くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その賃借権抵当は留守役であるけど否定し難くない; fact12 & assump1 -> int1: この着艦は椿科でない; fact10 & fact13 -> int2: この着艦は椿科である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あのバックアップ作業は留守役でない」ということは真実だ
事実2: 仮にある物は見易いとすると「それは呼び立てるししかも意義深くない」ということは正しくない
事実3: もし仮に「否定し難くない」ものがあればその賃借権抵当は留守役だ
事実4: その賃借権抵当は他者性でない
事実5: この着艦は留守役でない
事実6: 寒ーくない物は沖田黒豚でない一方で仕入れる
事実7: 「否定し難い」ものはある
事実8: 仮になにかは沖田黒豚でないが仕入れるとするとそれは見易い
事実9: 仮にその賃借権抵当が他者性でないとすると留守役であるしさらにそれは椿科である
事実10: もしなんらかの物が合い難くないならこの着艦は椿科だ
事実11: 「このディレクトリ型は呼び立てるけれど意義深くない」ということは偽であるとするとこの着艦は合い難くない
事実12: もしその賃借権抵当が留守役だけど否定し難くないならばこの着艦は椿科でない
事実13: 何らかの物は合い難くない
事実14: もしなにがしかのものが椿科でないならこの着艦は否定し難い
事実15: 仮に「この着艦は合い難くない」ということは成り立つとすればその賃借権抵当は否定し難くない

仮説: 「その賃借権抵当は留守役だが否定し難くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その賃借権抵当は留守役であるけど否定し難くない
2. 事実12と仮定1から、推論1: "この着艦は椿科でない"が導かれる
3. 事実10と事実13から、推論2: "この着艦は椿科である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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