もし仮にあの強意は来易いとしたら「この依存関係は恭しくない一方で汚れ難い」ということは成り立たない
fact1: その化粧室は恭しい fact2: 仮にその化粧室が汚れ難いとするとこの依存関係は恭しくない一方で汚れ難い fact3: 仮にこの依存関係は汚れ難いとしたら「あの強意は来易くないがしかし恭しい」ということは成り立たない fact4: 「「その大英図書館は来易くない」ということは事実である」ということは成り立つということはない fact5: 「この依存関係は恭しくて汚れ難い」ということは嘘だ fact6: もし仮にその化粧室は汚れ難いとしたら「この依存関係は恭しくないがしかし汚れ難い」ということは誤っている fact7: もし仮にあの強意は来易いとすると「その化粧室は汚れ難い」ということは真実だ fact8: この依存関係は恭しくないけれど汚れ難い fact9: この依存関係は来易いなら「あの強意は汚れ難い」ということは確かである fact10: 「もし仮にこの依存関係は汚れ難いなら「あの強意は来易いしかつ汚れ難い」ということは成り立たない」ということは正しい fact11: もしもその化粧室は汚れ難いならば「この依存関係は恭しくてそれは汚れ難い」ということは事実と異なる fact12: あの強意は来易いならば「この依存関係は恭しいし加えてそれは汚れ難い」ということは間違いである fact13: もしあの強意は恭しいとしたら「「この依存関係は来易くないけれどそれは恭しい」ということは成り立たない」ということは事実である fact14: もしもあの強意が来易いとしたらこの依存関係は恭しくない一方で汚れ難い fact15: もしこの依存関係は汚れ難いならば「その化粧室は来易い」ということは確かだ
void -> assump1: 以下のように仮定する。あの強意は来易い; fact7 & assump1 -> int1: その化粧室は汚れ難い; int1 & fact6 -> int2: 「この依存関係は恭しいということはない一方で汚れ難い」ということは本当でない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その化粧室は恭しい fact2: 仮にその化粧室が汚れ難いとするとこの依存関係は恭しくない一方で汚れ難い fact3: 仮にこの依存関係は汚れ難いとしたら「あの強意は来易くないがしかし恭しい」ということは成り立たない fact4: 「「その大英図書館は来易くない」ということは事実である」ということは成り立つということはない fact5: 「この依存関係は恭しくて汚れ難い」ということは嘘だ fact6: もし仮にその化粧室は汚れ難いとしたら「この依存関係は恭しくないがしかし汚れ難い」ということは誤っている fact7: もし仮にあの強意は来易いとすると「その化粧室は汚れ難い」ということは真実だ fact8: この依存関係は恭しくないけれど汚れ難い fact9: この依存関係は来易いなら「あの強意は汚れ難い」ということは確かである fact10: 「もし仮にこの依存関係は汚れ難いなら「あの強意は来易いしかつ汚れ難い」ということは成り立たない」ということは正しい fact11: もしもその化粧室は汚れ難いならば「この依存関係は恭しくてそれは汚れ難い」ということは事実と異なる fact12: あの強意は来易いならば「この依存関係は恭しいし加えてそれは汚れ難い」ということは間違いである fact13: もしあの強意は恭しいとしたら「「この依存関係は来易くないけれどそれは恭しい」ということは成り立たない」ということは事実である fact14: もしもあの強意が来易いとしたらこの依存関係は恭しくない一方で汚れ難い fact15: もしこの依存関係は汚れ難いならば「その化粧室は来易い」ということは確かだ ; $hypothesis$ = もし仮にあの強意は来易いとしたら「この依存関係は恭しくない一方で汚れ難い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの強意は来易い; fact7 & assump1 -> int1: その化粧室は汚れ難い; int1 & fact6 -> int2: 「この依存関係は恭しいということはない一方で汚れ難い」ということは本当でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その化粧室は恭しい
事実2: 仮にその化粧室が汚れ難いとするとこの依存関係は恭しくない一方で汚れ難い
事実3: 仮にこの依存関係は汚れ難いとしたら「あの強意は来易くないがしかし恭しい」ということは成り立たない
事実4: 「「その大英図書館は来易くない」ということは事実である」ということは成り立つということはない
事実5: 「この依存関係は恭しくて汚れ難い」ということは嘘だ
事実6: もし仮にその化粧室は汚れ難いとしたら「この依存関係は恭しくないがしかし汚れ難い」ということは誤っている
事実7: もし仮にあの強意は来易いとすると「その化粧室は汚れ難い」ということは真実だ
事実8: この依存関係は恭しくないけれど汚れ難い
事実9: この依存関係は来易いなら「あの強意は汚れ難い」ということは確かである
事実10: 「もし仮にこの依存関係は汚れ難いなら「あの強意は来易いしかつ汚れ難い」ということは成り立たない」ということは正しい
事実11: もしもその化粧室は汚れ難いならば「この依存関係は恭しくてそれは汚れ難い」ということは事実と異なる
事実12: あの強意は来易いならば「この依存関係は恭しいし加えてそれは汚れ難い」ということは間違いである
事実13: もしあの強意は恭しいとしたら「「この依存関係は来易くないけれどそれは恭しい」ということは成り立たない」ということは事実である
事実14: もしもあの強意が来易いとしたらこの依存関係は恭しくない一方で汚れ難い
事実15: もしこの依存関係は汚れ難いならば「その化粧室は来易い」ということは確かだ

仮説: もし仮にあの強意は来易いとしたら「この依存関係は恭しくない一方で汚れ難い」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの強意は来易い
2. 事実7と仮定1から、推論1: "その化粧室は汚れ難い"が導かれる
3. 推論1と事実6から、推論2: "「この依存関係は恭しいということはない一方で汚れ難い」ということは本当でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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