「「もし「漂う」ということは正しいとすると心優しいかもしくはエポックでないか両方ともである」ものはある」ということは本当である
fact1: 仮に「そのハンドミキサーは漂う」ということは成り立つなら「それは心優しいかあるいはエポックでないかあるいは両方だ」ということは本当だ fact2: もしあの陶磁器が自賛するなら息めるかあるいはエポックでないかまたは両方である fact3: ＶＡは飛行機らしいか構想しない fact4: 「もし仮に転化すれば嫌味っぽいかあるいは雄々しかないかまたはどちらもな」物はある fact5: もしそのハンドミキサーが乗り掛かるとするとそれは心優しいかまたは清しないかもしくはどちらもだ fact6: 「もし仮に自失するとしたら付託するかまたは吹き替えないかあるいは両方ともな」ものはある fact7: 「もし「漂う」ということは確かであるとすると心優しいかもしくはエポックであるか両方である」物はある fact8: もし仮になにがしかのものが大暴れするとするとそれは勝ち易いかまたは心優しいということはないかもしくはどちらもだ fact9: 「もし電話番号ならば軽いかもしくは退官しない」ものはある fact10: もしそのハンドミキサーが漂うとすれば出入りし易いかあるいはそれは汚らわしいということはないかまたは両方だ fact11: 「そのハンドミキサーは漂う」ということは正しいならば心優しいかあるいはそれはエポックであるかあるいは両方である fact12: 仮にこの原告側が心優しいとしたらそれは奇襲攻撃するか張れない
fact1 -> hypothesis;
そのバターケーキが大暴れするなら勝ち易いかもしくはそれは心優しいということはないか両方である
fact13 -> hypothesis;
$facts$ = fact1: 仮に「そのハンドミキサーは漂う」ということは成り立つなら「それは心優しいかあるいはエポックでないかあるいは両方だ」ということは本当だ fact2: もしあの陶磁器が自賛するなら息めるかあるいはエポックでないかまたは両方である fact3: ＶＡは飛行機らしいか構想しない fact4: 「もし仮に転化すれば嫌味っぽいかあるいは雄々しかないかまたはどちらもな」物はある fact5: もしそのハンドミキサーが乗り掛かるとするとそれは心優しいかまたは清しないかもしくはどちらもだ fact6: 「もし仮に自失するとしたら付託するかまたは吹き替えないかあるいは両方ともな」ものはある fact7: 「もし「漂う」ということは確かであるとすると心優しいかもしくはエポックであるか両方である」物はある fact8: もし仮になにがしかのものが大暴れするとするとそれは勝ち易いかまたは心優しいということはないかもしくはどちらもだ fact9: 「もし電話番号ならば軽いかもしくは退官しない」ものはある fact10: もしそのハンドミキサーが漂うとすれば出入りし易いかあるいはそれは汚らわしいということはないかまたは両方だ fact11: 「そのハンドミキサーは漂う」ということは正しいならば心優しいかあるいはそれはエポックであるかあるいは両方である fact12: 仮にこの原告側が心優しいとしたらそれは奇襲攻撃するか張れない ; $hypothesis$ = 「「もし「漂う」ということは正しいとすると心優しいかもしくはエポックでないか両方ともである」ものはある」ということは本当である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「そのハンドミキサーは漂う」ということは成り立つなら「それは心優しいかあるいはエポックでないかあるいは両方だ」ということは本当だ
事実2: もしあの陶磁器が自賛するなら息めるかあるいはエポックでないかまたは両方である
事実3: ＶＡは飛行機らしいか構想しない
事実4: 「もし仮に転化すれば嫌味っぽいかあるいは雄々しかないかまたはどちらもな」物はある
事実5: もしそのハンドミキサーが乗り掛かるとするとそれは心優しいかまたは清しないかもしくはどちらもだ
事実6: 「もし仮に自失するとしたら付託するかまたは吹き替えないかあるいは両方ともな」ものはある
事実7: 「もし「漂う」ということは確かであるとすると心優しいかもしくはエポックであるか両方である」物はある
事実8: もし仮になにがしかのものが大暴れするとするとそれは勝ち易いかまたは心優しいということはないかもしくはどちらもだ
事実9: 「もし電話番号ならば軽いかもしくは退官しない」ものはある
事実10: もしそのハンドミキサーが漂うとすれば出入りし易いかあるいはそれは汚らわしいということはないかまたは両方だ
事実11: 「そのハンドミキサーは漂う」ということは正しいならば心優しいかあるいはそれはエポックであるかあるいは両方である
事実12: 仮にこの原告側が心優しいとしたらそれは奇襲攻撃するか張れない

仮説: 「「もし「漂う」ということは正しいとすると心優しいかもしくはエポックでないか両方ともである」ものはある」ということは本当である
1. 事実1から、仮説が導かれる

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