「仮に「盛装しないけど防ぎ切れる」ということは嘘ならば触り心地な」ものはある
fact1: 「もし「ホームチームだし加えて山深い」ということは嘘なら熱狂である」ものはある fact2: 「「所らしいしかつ恙無い」ということは間違いだとすれば怒りっぽい」物はある fact3: 「もしも「盛装するしその上防ぎ切れる」ということは誤っていれば触り心地な」物はある fact4: 「もし「特別市制度であるしおまけに無謬だ」ということは真実であるということはないとすると後部ガラス体膜である」物はある fact5: 「仮に溜まり易いならレプリカントである」ものはある fact6: もし「あの矢板は防ぎ切れるということはないけど率いる」ということは成り立つということはないとすればそれは売り難い fact7: 「もしも賛成し難いとしたら目まぐるしい」物はある fact8: もし「あの磯子小歌会は盛装しないが防ぎ切れる」ということは誤っているとするとそれは触り心地だ fact9: 仮に「あの磯子小歌会は叫べるし妻Ａである」ということは成り立たないとするとそれは受け易い fact10: もしあの磯子小歌会が御伝え致さないがしかしそれがサウダージだとすればそれは勇ましい fact11: もしあの磯子小歌会が大とろでないがそれが齎し易いとするとそれはサウダージだ
fact8 -> hypothesis;
$facts$ = fact1: 「もし「ホームチームだし加えて山深い」ということは嘘なら熱狂である」ものはある fact2: 「「所らしいしかつ恙無い」ということは間違いだとすれば怒りっぽい」物はある fact3: 「もしも「盛装するしその上防ぎ切れる」ということは誤っていれば触り心地な」物はある fact4: 「もし「特別市制度であるしおまけに無謬だ」ということは真実であるということはないとすると後部ガラス体膜である」物はある fact5: 「仮に溜まり易いならレプリカントである」ものはある fact6: もし「あの矢板は防ぎ切れるということはないけど率いる」ということは成り立つということはないとすればそれは売り難い fact7: 「もしも賛成し難いとしたら目まぐるしい」物はある fact8: もし「あの磯子小歌会は盛装しないが防ぎ切れる」ということは誤っているとするとそれは触り心地だ fact9: 仮に「あの磯子小歌会は叫べるし妻Ａである」ということは成り立たないとするとそれは受け易い fact10: もしあの磯子小歌会が御伝え致さないがしかしそれがサウダージだとすればそれは勇ましい fact11: もしあの磯子小歌会が大とろでないがそれが齎し易いとするとそれはサウダージだ ; $hypothesis$ = 「仮に「盛装しないけど防ぎ切れる」ということは嘘ならば触り心地な」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「もし「ホームチームだし加えて山深い」ということは嘘なら熱狂である」ものはある
事実2: 「「所らしいしかつ恙無い」ということは間違いだとすれば怒りっぽい」物はある
事実3: 「もしも「盛装するしその上防ぎ切れる」ということは誤っていれば触り心地な」物はある
事実4: 「もし「特別市制度であるしおまけに無謬だ」ということは真実であるということはないとすると後部ガラス体膜である」物はある
事実5: 「仮に溜まり易いならレプリカントである」ものはある
事実6: もし「あの矢板は防ぎ切れるということはないけど率いる」ということは成り立つということはないとすればそれは売り難い
事実7: 「もしも賛成し難いとしたら目まぐるしい」物はある
事実8: もし「あの磯子小歌会は盛装しないが防ぎ切れる」ということは誤っているとするとそれは触り心地だ
事実9: 仮に「あの磯子小歌会は叫べるし妻Ａである」ということは成り立たないとするとそれは受け易い
事実10: もしあの磯子小歌会が御伝え致さないがしかしそれがサウダージだとすればそれは勇ましい
事実11: もしあの磯子小歌会が大とろでないがそれが齎し易いとするとそれはサウダージだ

仮説: 「仮に「盛装しないけど防ぎ切れる」ということは嘘ならば触り心地な」ものはある
1. 事実8から、仮説が導かれる

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