あのフィナンシャルプランナーは遣り損なわない
fact1: もしアメリカらしくない物が賢しくないとすればあのフィナンシャルプランナーは遣り損なうということはない fact2: 「何らかの物は蛋白質精製でない」ということは事実であるならそれはアメリカらしいということはない fact3: もしあのフィナンシャルプランナーが遣り損なうとしたら賢しい fact4: 「アメリカらしくない」ものはある fact5: もしもなにかは蛋白質精製でないならば「幹細胞でない」ということは成り立つ fact6: 仮にあのクイーンズウッドが遣り損なうとすればあのフィナンシャルプランナーは遣り損なう fact7: 仮にあのクイーンズウッドが細長くてまた到達出来るならあの最終チェックは幹細胞でない fact8: あのクイーンズウッドは細長いし加えてそれは到達出来る fact9: 賢しいし平ったくないものはある fact10: 「「賢しいしおまけに平ったい」ということは成り立たない」ものはある fact11: あのフィナンシャルプランナーはＨ大学だしさらに茶色い fact12: もしも「その花王は幹細胞でない」ということは本当であるとしたらあの最終チェックは茶色い fact13: 「「幹細胞だ」ということは真実な」ものはある fact14: 「「賢しくない」ということは本当である」物があればその花王は賢しくない fact15: もし仮に「ある物が蛋白質精製だしそれは茶色い」ということは間違っているとしたら「それはアメリカらしいということはない」ということは確かである fact16: アメリカらしくないしおまけに賢しい物はある fact17: もしも「茶色い」物はあるとすると「あのクイーンズウッドは立ち去る一方で右旋回しない」ということは間違っている fact18: 「「賢しいしまた平ったくない」ということは真実でない」ものはある fact19: もし仮に「「賢しいけど平ったくない」ということは間違っている」物があるとするとその花王は賢しくない fact20: 仮に「幹細胞でない」ものはあるとしたら「その花王は蛋白質精製だし加えて茶色い」ということは偽である fact21: あのクイーンズウッドは到達出来る fact22: もしもその花王は蛋白質精製でないならそれはアメリカらしくない
fact7 & fact8 -> int1: あの最終チェックは幹細胞でない; int1 -> int2: なにがしかのものは幹細胞であるということはない; int2 & fact20 -> int3: 「その花王は蛋白質精製であるしさらに茶色い」ということは誤りである; fact15 -> int4: もし仮に「その花王が蛋白質精製だしそれは茶色い」ということは誤りならばそれはアメリカらしいということはない; int3 & int4 -> int5: その花王はアメリカらしくない; fact19 & fact18 -> int6: その花王は賢しくない; int5 & int6 -> int7: その花王はアメリカらしくないしそれに賢しくない; int7 -> int8: とあるものはアメリカらしくないし賢しくない; int8 & fact1 -> hypothesis;
「「立ち去るしおまけに右旋回しない」ということは間違っている」ものはある
fact23 -> int9: 仮に「その花王は蛋白質精製でない」ということは本当であるならそれは幹細胞でない;
$facts$ = fact1: もしアメリカらしくない物が賢しくないとすればあのフィナンシャルプランナーは遣り損なうということはない fact2: 「何らかの物は蛋白質精製でない」ということは事実であるならそれはアメリカらしいということはない fact3: もしあのフィナンシャルプランナーが遣り損なうとしたら賢しい fact4: 「アメリカらしくない」ものはある fact5: もしもなにかは蛋白質精製でないならば「幹細胞でない」ということは成り立つ fact6: 仮にあのクイーンズウッドが遣り損なうとすればあのフィナンシャルプランナーは遣り損なう fact7: 仮にあのクイーンズウッドが細長くてまた到達出来るならあの最終チェックは幹細胞でない fact8: あのクイーンズウッドは細長いし加えてそれは到達出来る fact9: 賢しいし平ったくないものはある fact10: 「「賢しいしおまけに平ったい」ということは成り立たない」ものはある fact11: あのフィナンシャルプランナーはＨ大学だしさらに茶色い fact12: もしも「その花王は幹細胞でない」ということは本当であるとしたらあの最終チェックは茶色い fact13: 「「幹細胞だ」ということは真実な」ものはある fact14: 「「賢しくない」ということは本当である」物があればその花王は賢しくない fact15: もし仮に「ある物が蛋白質精製だしそれは茶色い」ということは間違っているとしたら「それはアメリカらしいということはない」ということは確かである fact16: アメリカらしくないしおまけに賢しい物はある fact17: もしも「茶色い」物はあるとすると「あのクイーンズウッドは立ち去る一方で右旋回しない」ということは間違っている fact18: 「「賢しいしまた平ったくない」ということは真実でない」ものはある fact19: もし仮に「「賢しいけど平ったくない」ということは間違っている」物があるとするとその花王は賢しくない fact20: 仮に「幹細胞でない」ものはあるとしたら「その花王は蛋白質精製だし加えて茶色い」ということは偽である fact21: あのクイーンズウッドは到達出来る fact22: もしもその花王は蛋白質精製でないならそれはアメリカらしくない ; $hypothesis$ = あのフィナンシャルプランナーは遣り損なわない ; $proof$ = 
fact7 & fact8 -> int1: あの最終チェックは幹細胞でない; int1 -> int2: なにがしかのものは幹細胞であるということはない; int2 & fact20 -> int3: 「その花王は蛋白質精製であるしさらに茶色い」ということは誤りである; fact15 -> int4: もし仮に「その花王が蛋白質精製だしそれは茶色い」ということは誤りならばそれはアメリカらしいということはない; int3 & int4 -> int5: その花王はアメリカらしくない; fact19 & fact18 -> int6: その花王は賢しくない; int5 & int6 -> int7: その花王はアメリカらしくないしそれに賢しくない; int7 -> int8: とあるものはアメリカらしくないし賢しくない; int8 & fact1 -> hypothesis; __PROVED__
事実1: もしアメリカらしくない物が賢しくないとすればあのフィナンシャルプランナーは遣り損なうということはない
事実2: 「何らかの物は蛋白質精製でない」ということは事実であるならそれはアメリカらしいということはない
事実3: もしあのフィナンシャルプランナーが遣り損なうとしたら賢しい
事実4: 「アメリカらしくない」ものはある
事実5: もしもなにかは蛋白質精製でないならば「幹細胞でない」ということは成り立つ
事実6: 仮にあのクイーンズウッドが遣り損なうとすればあのフィナンシャルプランナーは遣り損なう
事実7: 仮にあのクイーンズウッドが細長くてまた到達出来るならあの最終チェックは幹細胞でない
事実8: あのクイーンズウッドは細長いし加えてそれは到達出来る
事実9: 賢しいし平ったくないものはある
事実10: 「「賢しいしおまけに平ったい」ということは成り立たない」ものはある
事実11: あのフィナンシャルプランナーはＨ大学だしさらに茶色い
事実12: もしも「その花王は幹細胞でない」ということは本当であるとしたらあの最終チェックは茶色い
事実13: 「「幹細胞だ」ということは真実な」ものはある
事実14: 「「賢しくない」ということは本当である」物があればその花王は賢しくない
事実15: もし仮に「ある物が蛋白質精製だしそれは茶色い」ということは間違っているとしたら「それはアメリカらしいということはない」ということは確かである
事実16: アメリカらしくないしおまけに賢しい物はある
事実17: もしも「茶色い」物はあるとすると「あのクイーンズウッドは立ち去る一方で右旋回しない」ということは間違っている
事実18: 「「賢しいしまた平ったくない」ということは真実でない」ものはある
事実19: もし仮に「「賢しいけど平ったくない」ということは間違っている」物があるとするとその花王は賢しくない
事実20: 仮に「幹細胞でない」ものはあるとしたら「その花王は蛋白質精製だし加えて茶色い」ということは偽である
事実21: あのクイーンズウッドは到達出来る
事実22: もしもその花王は蛋白質精製でないならそれはアメリカらしくない

仮説: あのフィナンシャルプランナーは遣り損なわない
1. 事実7と事実8から、推論1: "あの最終チェックは幹細胞でない"が導かれる
2. 推論1から、推論2: "なにがしかのものは幹細胞であるということはない"が導かれる
3. 推論2と事実20から、推論3: "「その花王は蛋白質精製であるしさらに茶色い」ということは誤りである"が導かれる
4. 事実15から、推論4: "もし仮に「その花王が蛋白質精製だしそれは茶色い」ということは誤りならばそれはアメリカらしいということはない"が導かれる
5. 推論3と推論4から、推論5: "その花王はアメリカらしくない"が導かれる
6. 事実19と事実18から、推論6: "その花王は賢しくない"が導かれる
7. 推論5と推論6から、推論7: "その花王はアメリカらしくないしそれに賢しくない"が導かれる
8. 推論7から、推論8: "とあるものはアメリカらしくないし賢しくない"が導かれる
9. 推論8と事実1から、仮説が導かれる

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