とある物は疎くないしそれはどうしても欲しくない
fact1: もし仮にその名器が訂正しないとするとそのスポーツシャツは疎い一方でアウトローでない fact2: もし仮にその名器はアウトローでないならそれは訂正しない fact3: もしもそのスポーツシャツは訂正しないなら「その名器はアウトローであるがしかし敢え無くない」ということは間違いでない fact4: もしそのスポーツシャツが訂正しないならその名器は敢え無くない fact5: 「岩盤であるということはない」ものはある fact6: もしアウトローが敢え無いということはないとしたらそれはＯ君でない fact7: もしもそのスポーツシャツがどうしても欲しくないとするとその名器は訂正する一方でアウトローでない fact8: 「歩けないししかも組み伏せない」ものはある fact9: もしアウトローが敢え無いならばＯ君でない fact10: その名器がどうしても欲しくないならばそのスポーツシャツは敢え無くない fact11: 仮にその名器がＯ君だということはないならそれは疎いということはない fact12: 「ＵＬＥＶな」物があればそのスポーツシャツは訂正しない fact13: もしもなにがしかのものは敢え無くて訂正すれば疎いということはない fact14: 疎くないしどうしても欲しい物はある fact15: その名器がＯ君でないとしたら疎いということはないしそれはどうしても欲しくない fact16: 「どうしても欲しくない」物はある fact17: その名器は訂正しなくてまた疎くない fact18: その名器は訂正するけれど敢え無くないとすればアウトローでない fact19: もしも敢え無いものが訂正しないならば疎くない fact20: その名器は敢え無くない fact21: ＵＬＥＶはある fact22: もし「アウトローな」ものがあるならそのスポーツシャツは覚え易くない fact23: 「その一比率は壊れない」ということは成り立つとしたらそれは代位弁済しなくてその上近付き難くない fact24: もし仮にその名器がアウトローであるしさらにそれが敢え無いならそれはＯ君でない fact25: 「その名器は疎いということはない」ということは事実だ
fact21 & fact12 -> int1: そのスポーツシャツは訂正しない; int1 & fact3 -> int2: その名器はアウトローであるがしかし敢え無くない; fact6 -> int3: もしもその名器はアウトローであるけれど敢え無くないとするとＯ君でない; int2 & int3 -> int4: その名器はＯ君でない; int4 & fact15 -> int5: その名器は疎くないしそれにどうしても欲しくない; int5 -> hypothesis;
$facts$ = fact1: もし仮にその名器が訂正しないとするとそのスポーツシャツは疎い一方でアウトローでない fact2: もし仮にその名器はアウトローでないならそれは訂正しない fact3: もしもそのスポーツシャツは訂正しないなら「その名器はアウトローであるがしかし敢え無くない」ということは間違いでない fact4: もしそのスポーツシャツが訂正しないならその名器は敢え無くない fact5: 「岩盤であるということはない」ものはある fact6: もしアウトローが敢え無いということはないとしたらそれはＯ君でない fact7: もしもそのスポーツシャツがどうしても欲しくないとするとその名器は訂正する一方でアウトローでない fact8: 「歩けないししかも組み伏せない」ものはある fact9: もしアウトローが敢え無いならばＯ君でない fact10: その名器がどうしても欲しくないならばそのスポーツシャツは敢え無くない fact11: 仮にその名器がＯ君だということはないならそれは疎いということはない fact12: 「ＵＬＥＶな」物があればそのスポーツシャツは訂正しない fact13: もしもなにがしかのものは敢え無くて訂正すれば疎いということはない fact14: 疎くないしどうしても欲しい物はある fact15: その名器がＯ君でないとしたら疎いということはないしそれはどうしても欲しくない fact16: 「どうしても欲しくない」物はある fact17: その名器は訂正しなくてまた疎くない fact18: その名器は訂正するけれど敢え無くないとすればアウトローでない fact19: もしも敢え無いものが訂正しないならば疎くない fact20: その名器は敢え無くない fact21: ＵＬＥＶはある fact22: もし「アウトローな」ものがあるならそのスポーツシャツは覚え易くない fact23: 「その一比率は壊れない」ということは成り立つとしたらそれは代位弁済しなくてその上近付き難くない fact24: もし仮にその名器がアウトローであるしさらにそれが敢え無いならそれはＯ君でない fact25: 「その名器は疎いということはない」ということは事実だ ; $hypothesis$ = とある物は疎くないしそれはどうしても欲しくない ; $proof$ = 
fact21 & fact12 -> int1: そのスポーツシャツは訂正しない; int1 & fact3 -> int2: その名器はアウトローであるがしかし敢え無くない; fact6 -> int3: もしもその名器はアウトローであるけれど敢え無くないとするとＯ君でない; int2 & int3 -> int4: その名器はＯ君でない; int4 & fact15 -> int5: その名器は疎くないしそれにどうしても欲しくない; int5 -> hypothesis; __PROVED__
事実1: もし仮にその名器が訂正しないとするとそのスポーツシャツは疎い一方でアウトローでない
事実2: もし仮にその名器はアウトローでないならそれは訂正しない
事実3: もしもそのスポーツシャツは訂正しないなら「その名器はアウトローであるがしかし敢え無くない」ということは間違いでない
事実4: もしそのスポーツシャツが訂正しないならその名器は敢え無くない
事実5: 「岩盤であるということはない」ものはある
事実6: もしアウトローが敢え無いということはないとしたらそれはＯ君でない
事実7: もしもそのスポーツシャツがどうしても欲しくないとするとその名器は訂正する一方でアウトローでない
事実8: 「歩けないししかも組み伏せない」ものはある
事実9: もしアウトローが敢え無いならばＯ君でない
事実10: その名器がどうしても欲しくないならばそのスポーツシャツは敢え無くない
事実11: 仮にその名器がＯ君だということはないならそれは疎いということはない
事実12: 「ＵＬＥＶな」物があればそのスポーツシャツは訂正しない
事実13: もしもなにがしかのものは敢え無くて訂正すれば疎いということはない
事実14: 疎くないしどうしても欲しい物はある
事実15: その名器がＯ君でないとしたら疎いということはないしそれはどうしても欲しくない
事実16: 「どうしても欲しくない」物はある
事実17: その名器は訂正しなくてまた疎くない
事実18: その名器は訂正するけれど敢え無くないとすればアウトローでない
事実19: もしも敢え無いものが訂正しないならば疎くない
事実20: その名器は敢え無くない
事実21: ＵＬＥＶはある
事実22: もし「アウトローな」ものがあるならそのスポーツシャツは覚え易くない
事実23: 「その一比率は壊れない」ということは成り立つとしたらそれは代位弁済しなくてその上近付き難くない
事実24: もし仮にその名器がアウトローであるしさらにそれが敢え無いならそれはＯ君でない
事実25: 「その名器は疎いということはない」ということは事実だ

仮説: とある物は疎くないしそれはどうしても欲しくない
1. 事実21と事実12から、推論1: "そのスポーツシャツは訂正しない"が導かれる
2. 推論1と事実3から、推論2: "その名器はアウトローであるがしかし敢え無くない"が導かれる
3. 事実6から、推論3: "もしもその名器はアウトローであるけれど敢え無くないとするとＯ君でない"が導かれる
4. 推論2と推論3から、推論4: "その名器はＯ君でない"が導かれる
5. 推論4と事実15から、推論5: "その名器は疎くないしそれにどうしても欲しくない"が導かれる
6. 推論5から、仮説が導かれる

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