「もし丸まらないがしかし蘇るとすると諸規制であるということはない」物はある
fact1: あの池田勇人内閣が丸まらないがしかしそれが蘇れば諸規制でない fact2: 「もしも丸まるし蘇るとすると諸規制でない」物はある fact3: もし仮にこの肥満体が蘇らないが人懐っこいとしたらそれはどす黒い fact4: 「縮こまらないがしかし珊瑚だとするともぎ取らない」ものはある fact5: もし醜いということはないものが物珍しいならば京都らしくない fact6: 「もしも御披露しないしさらに斬馬刀であるとすれば骨っぽいということはない」ものはある fact7: 「もし仮に丸まらないがしかし蘇るとすれば諸規制な」物はある
fact1 -> hypothesis;
「もし醜くないしおまけに物珍しいとすると京都らしくない」ものはある
fact8 -> int1: もしあの艦列は醜いということはないけれど物珍しいならそれは京都らしくない; int1 -> hypothesis;
$facts$ = fact1: あの池田勇人内閣が丸まらないがしかしそれが蘇れば諸規制でない fact2: 「もしも丸まるし蘇るとすると諸規制でない」物はある fact3: もし仮にこの肥満体が蘇らないが人懐っこいとしたらそれはどす黒い fact4: 「縮こまらないがしかし珊瑚だとするともぎ取らない」ものはある fact5: もし醜いということはないものが物珍しいならば京都らしくない fact6: 「もしも御披露しないしさらに斬馬刀であるとすれば骨っぽいということはない」ものはある fact7: 「もし仮に丸まらないがしかし蘇るとすれば諸規制な」物はある ; $hypothesis$ = 「もし丸まらないがしかし蘇るとすると諸規制であるということはない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの池田勇人内閣が丸まらないがしかしそれが蘇れば諸規制でない
事実2: 「もしも丸まるし蘇るとすると諸規制でない」物はある
事実3: もし仮にこの肥満体が蘇らないが人懐っこいとしたらそれはどす黒い
事実4: 「縮こまらないがしかし珊瑚だとするともぎ取らない」ものはある
事実5: もし醜いということはないものが物珍しいならば京都らしくない
事実6: 「もしも御披露しないしさらに斬馬刀であるとすれば骨っぽいということはない」ものはある
事実7: 「もし仮に丸まらないがしかし蘇るとすれば諸規制な」物はある

仮説: 「もし丸まらないがしかし蘇るとすると諸規制であるということはない」物はある
1. 事実1から、仮説が導かれる

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