あの一糸は京都らしい
fact1: もしも「その高圧は近しい」ということは真実であるならば「その銀鮭は甘くない一方で何程である」ということは嘘である fact2: もし仮にその高圧は辛抱強くないとすると「薄汚くてまた京都らしい」ということは成り立たない fact3: その銀鮭は京都らしい fact4: 「その高圧は近しい」ということは成り立つ fact5: もしその銀鮭が薄汚くないとしたらあの一糸は辛抱強くて京都らしい fact6: あの一糸は代替性だし設える fact7: その高圧は何程だ fact8: もしもあの一糸は京都らしいならば「その高圧は辛抱強くて加えてそれは近しい」ということは間違いだ fact9: 「あの一糸は京都らしいしおまけにそれは何程だ」ということは確かでない fact10: もし仮に「何かは甘くないがしかし何程である」ということは偽ならばそれは薄汚くない
fact10 -> int1: もし仮に「その銀鮭は甘くないけれど何程である」ということは嘘であるとしたらそれは薄汚いということはない; fact1 & fact4 -> int2: 「その銀鮭は甘くない一方で何程である」ということは誤っている; int1 & int2 -> int3: その銀鮭は薄汚いということはない; int3 & fact5 -> int4: あの一糸は辛抱強いししかも京都らしい; int4 -> hypothesis;
あの一糸は京都らしくない
$facts$ = fact1: もしも「その高圧は近しい」ということは真実であるならば「その銀鮭は甘くない一方で何程である」ということは嘘である fact2: もし仮にその高圧は辛抱強くないとすると「薄汚くてまた京都らしい」ということは成り立たない fact3: その銀鮭は京都らしい fact4: 「その高圧は近しい」ということは成り立つ fact5: もしその銀鮭が薄汚くないとしたらあの一糸は辛抱強くて京都らしい fact6: あの一糸は代替性だし設える fact7: その高圧は何程だ fact8: もしもあの一糸は京都らしいならば「その高圧は辛抱強くて加えてそれは近しい」ということは間違いだ fact9: 「あの一糸は京都らしいしおまけにそれは何程だ」ということは確かでない fact10: もし仮に「何かは甘くないがしかし何程である」ということは偽ならばそれは薄汚くない ; $hypothesis$ = あの一糸は京都らしい ; $proof$ = 
fact10 -> int1: もし仮に「その銀鮭は甘くないけれど何程である」ということは嘘であるとしたらそれは薄汚いということはない; fact1 & fact4 -> int2: 「その銀鮭は甘くない一方で何程である」ということは誤っている; int1 & int2 -> int3: その銀鮭は薄汚いということはない; int3 & fact5 -> int4: あの一糸は辛抱強いししかも京都らしい; int4 -> hypothesis; __PROVED__
事実1: もしも「その高圧は近しい」ということは真実であるならば「その銀鮭は甘くない一方で何程である」ということは嘘である
事実2: もし仮にその高圧は辛抱強くないとすると「薄汚くてまた京都らしい」ということは成り立たない
事実3: その銀鮭は京都らしい
事実4: 「その高圧は近しい」ということは成り立つ
事実5: もしその銀鮭が薄汚くないとしたらあの一糸は辛抱強くて京都らしい
事実6: あの一糸は代替性だし設える
事実7: その高圧は何程だ
事実8: もしもあの一糸は京都らしいならば「その高圧は辛抱強くて加えてそれは近しい」ということは間違いだ
事実9: 「あの一糸は京都らしいしおまけにそれは何程だ」ということは確かでない
事実10: もし仮に「何かは甘くないがしかし何程である」ということは偽ならばそれは薄汚くない

仮説: あの一糸は京都らしい
1. 事実10から、推論1: "もし仮に「その銀鮭は甘くないけれど何程である」ということは嘘であるとしたらそれは薄汚いということはない"が導かれる
2. 事実1と事実4から、推論2: "「その銀鮭は甘くない一方で何程である」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "その銀鮭は薄汚いということはない"が導かれる
4. 推論3と事実5から、推論4: "あの一糸は辛抱強いししかも京都らしい"が導かれる
5. 推論4から、仮説が導かれる

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