「仮にアメリカっぽいとすると「許容範囲内でないしその上眩いということはない」ということは成り立たない」ものはある
fact1: 「仮にアメリカっぽいなら許容範囲内でなくて眩いということはない」ものはある fact2: 「このコピー人間は生白い」ということは成り立つなら「それは監査しないしアメリカっぽくない」ということは成り立たない fact3: もし仮にあの三十半ばがアメリカっぽいとすればそれは許容範囲内でなくて眩くない fact4: もし仮にあの三十半ばは保全すれば「許容範囲内でないしさらに見分け難くない」ということは成り立つということはない fact5: 「「もしも取り締まり役会議長だとすると「咬合でなくてその上拭かない」ということは誤りである」ものはある」ということは成り立つ fact6: 「アメリカっぽいならば「「許容範囲内でない一方で眩い」ということは正しい」ということは成り立たない」ものはある fact7: 「もし仮に変われるとしたら「「墜落しないしかつ前傾しない」ということは確かである」ということは間違っている」ものはある fact8: もしこの京王線が保安担当者会議メモならそれは知識でないししかもアメリカらしくない fact9: 「怠いとしたら「飛行機らしくないし商人らしくない」ということは誤っている」物はある fact10: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でなくて更に眩くない」ということは嘘である fact11: もし仮にあの三十半ばはロールするなら「それは根気強くないしまた騒々しくない」ということは成り立たない fact12: 「もしも「アメリカっぽい」ということは確かだとすれば「許容範囲内だけど眩いということはない」ということは誤りな」ものはある fact13: 「仮に対応し得るとすれば「ハウツーでないしその上見境無くない」ということは成り立たない」物はある fact14: もしあの三十半ばはアメリカっぽいとすると「許容範囲内でそれは眩くない」ということは成り立たない fact15: もしなにがしかの物は吊るとすれば「それはアメリカらしくないしかつＵボート群でない」ということは誤っている fact16: 「もしも「怯む」ということは確かだとしたら「作り難くなくて更に直接主義・口頭主義だ」ということは成り立たない」物はある fact17: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でないけれど眩い」ということは間違っている fact18: もしもあの三十半ばは直接主義・口頭主義であるならば価額でないしおまけに堅苦しくない
fact10 -> hypothesis;
「もし仮に「吊る」ということは本当であるとすれば「アメリカらしいということはなくておまけにＵボート群でない」ということは誤っている」物はある
fact19 -> int1: もしその赤間神宮は吊るとすると「それはアメリカらしくないし更にＵボート群でない」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「仮にアメリカっぽいなら許容範囲内でなくて眩いということはない」ものはある fact2: 「このコピー人間は生白い」ということは成り立つなら「それは監査しないしアメリカっぽくない」ということは成り立たない fact3: もし仮にあの三十半ばがアメリカっぽいとすればそれは許容範囲内でなくて眩くない fact4: もし仮にあの三十半ばは保全すれば「許容範囲内でないしさらに見分け難くない」ということは成り立つということはない fact5: 「「もしも取り締まり役会議長だとすると「咬合でなくてその上拭かない」ということは誤りである」ものはある」ということは成り立つ fact6: 「アメリカっぽいならば「「許容範囲内でない一方で眩い」ということは正しい」ということは成り立たない」ものはある fact7: 「もし仮に変われるとしたら「「墜落しないしかつ前傾しない」ということは確かである」ということは間違っている」ものはある fact8: もしこの京王線が保安担当者会議メモならそれは知識でないししかもアメリカらしくない fact9: 「怠いとしたら「飛行機らしくないし商人らしくない」ということは誤っている」物はある fact10: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でなくて更に眩くない」ということは嘘である fact11: もし仮にあの三十半ばはロールするなら「それは根気強くないしまた騒々しくない」ということは成り立たない fact12: 「もしも「アメリカっぽい」ということは確かだとすれば「許容範囲内だけど眩いということはない」ということは誤りな」ものはある fact13: 「仮に対応し得るとすれば「ハウツーでないしその上見境無くない」ということは成り立たない」物はある fact14: もしあの三十半ばはアメリカっぽいとすると「許容範囲内でそれは眩くない」ということは成り立たない fact15: もしなにがしかの物は吊るとすれば「それはアメリカらしくないしかつＵボート群でない」ということは誤っている fact16: 「もしも「怯む」ということは確かだとしたら「作り難くなくて更に直接主義・口頭主義だ」ということは成り立たない」物はある fact17: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でないけれど眩い」ということは間違っている fact18: もしもあの三十半ばは直接主義・口頭主義であるならば価額でないしおまけに堅苦しくない ; $hypothesis$ = 「仮にアメリカっぽいとすると「許容範囲内でないしその上眩いということはない」ということは成り立たない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「仮にアメリカっぽいなら許容範囲内でなくて眩いということはない」ものはある
事実2: 「このコピー人間は生白い」ということは成り立つなら「それは監査しないしアメリカっぽくない」ということは成り立たない
事実3: もし仮にあの三十半ばがアメリカっぽいとすればそれは許容範囲内でなくて眩くない
事実4: もし仮にあの三十半ばは保全すれば「許容範囲内でないしさらに見分け難くない」ということは成り立つということはない
事実5: 「「もしも取り締まり役会議長だとすると「咬合でなくてその上拭かない」ということは誤りである」ものはある」ということは成り立つ
事実6: 「アメリカっぽいならば「「許容範囲内でない一方で眩い」ということは正しい」ということは成り立たない」ものはある
事実7: 「もし仮に変われるとしたら「「墜落しないしかつ前傾しない」ということは確かである」ということは間違っている」ものはある
事実8: もしこの京王線が保安担当者会議メモならそれは知識でないししかもアメリカらしくない
事実9: 「怠いとしたら「飛行機らしくないし商人らしくない」ということは誤っている」物はある
事実10: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でなくて更に眩くない」ということは嘘である
事実11: もし仮にあの三十半ばはロールするなら「それは根気強くないしまた騒々しくない」ということは成り立たない
事実12: 「もしも「アメリカっぽい」ということは確かだとすれば「許容範囲内だけど眩いということはない」ということは誤りな」ものはある
事実13: 「仮に対応し得るとすれば「ハウツーでないしその上見境無くない」ということは成り立たない」物はある
事実14: もしあの三十半ばはアメリカっぽいとすると「許容範囲内でそれは眩くない」ということは成り立たない
事実15: もしなにがしかの物は吊るとすれば「それはアメリカらしくないしかつＵボート群でない」ということは誤っている
事実16: 「もしも「怯む」ということは確かだとしたら「作り難くなくて更に直接主義・口頭主義だ」ということは成り立たない」物はある
事実17: もしあの三十半ばはアメリカっぽいとしたら「許容範囲内でないけれど眩い」ということは間違っている
事実18: もしもあの三十半ばは直接主義・口頭主義であるならば価額でないしおまけに堅苦しくない

仮説: 「仮にアメリカっぽいとすると「許容範囲内でないしその上眩いということはない」ということは成り立たない」ものはある
1. 事実10から、仮説が導かれる

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