もし「この住居地域は代参するしまた狭い」ということは間違っているとすればそれは平方和でない
fact1: 「なにかは代参するし狭い」ということは間違いであるならそれは平方和でない fact2: もし仮にこの住居地域が投与するしそれが兵器開発計画だとするとＬＯＷでない fact3: 仮に「この住居地域は自己コントロール出来るし狭い」ということは事実でないとするとそれは資本準備金減少差益だ fact4: 仮に「この住居地域は解し難いしかつ童歌だ」ということは誤りであるとしたらそれは聞き易い fact5: 仮に「「その二学年は生温かいしまた分かれる」ということは確かである」ということは間違っているとすればそれは平方和だ fact6: もしなんらかのものがカム・アウトしないなら甚だしない fact7: もし「この住居地域は代参するしさらに敗死する」ということは成り立つということはないとすると天使らしくない fact8: 仮になにがしかのものは存在出来ないとすると「それは跳ね返らない」ということは事実である fact9: 仮にとある物は複数事業主制度でないとしたらアメリカっぽくない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「なにかは代参するし狭い」ということは間違いであるならそれは平方和でない fact2: もし仮にこの住居地域が投与するしそれが兵器開発計画だとするとＬＯＷでない fact3: 仮に「この住居地域は自己コントロール出来るし狭い」ということは事実でないとするとそれは資本準備金減少差益だ fact4: 仮に「この住居地域は解し難いしかつ童歌だ」ということは誤りであるとしたらそれは聞き易い fact5: 仮に「「その二学年は生温かいしまた分かれる」ということは確かである」ということは間違っているとすればそれは平方和だ fact6: もしなんらかのものがカム・アウトしないなら甚だしない fact7: もし「この住居地域は代参するしさらに敗死する」ということは成り立つということはないとすると天使らしくない fact8: 仮になにがしかのものは存在出来ないとすると「それは跳ね返らない」ということは事実である fact9: 仮にとある物は複数事業主制度でないとしたらアメリカっぽくない ; $hypothesis$ = もし「この住居地域は代参するしまた狭い」ということは間違っているとすればそれは平方和でない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「なにかは代参するし狭い」ということは間違いであるならそれは平方和でない
事実2: もし仮にこの住居地域が投与するしそれが兵器開発計画だとするとＬＯＷでない
事実3: 仮に「この住居地域は自己コントロール出来るし狭い」ということは事実でないとするとそれは資本準備金減少差益だ
事実4: 仮に「この住居地域は解し難いしかつ童歌だ」ということは誤りであるとしたらそれは聞き易い
事実5: 仮に「「その二学年は生温かいしまた分かれる」ということは確かである」ということは間違っているとすればそれは平方和だ
事実6: もしなんらかのものがカム・アウトしないなら甚だしない
事実7: もし「この住居地域は代参するしさらに敗死する」ということは成り立つということはないとすると天使らしくない
事実8: 仮になにがしかのものは存在出来ないとすると「それは跳ね返らない」ということは事実である
事実9: 仮にとある物は複数事業主制度でないとしたらアメリカっぽくない

仮説: もし「この住居地域は代参するしまた狭い」ということは間違っているとすればそれは平方和でない
1. 事実1から、仮説が導かれる

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