その高弟達はネイティブらしい
fact1: もしその地域別傾向がネイティブらしいとするとその高弟達はネイティブらしい fact2: もし「あるものはコングロマリットであるということはないがしかしアメリカっぽい」ということは成り立たないとしたらそれはアメリカっぽいということはない fact3: どれもこれもは有るらしい fact4: このロイコトリエンは興奮し易いかもしくはそれは下せるかどちらもだ fact5: もし仮に「砕け易い」ものがあるとすればその地域別傾向はアメリカっぽい fact6: もしもあの閣僚ポストがコングロマリットでないし敵対しないとすればその高弟達はネイティブらしくない fact7: もしも反強磁性物質はネイティブらしいなら「その高弟達は興奮し易い」ということは事実である fact8: もし「その地域別傾向は御高い」ということは嘘でないとすればネイティブらしいかあるいは敵対するかあるいは両方だ fact9: 仮にその地域別傾向が反強磁性物質だということはないかそれが夥しいかあるいはどちらもだとしたらこのロイコトリエンは御高くない fact10: 何もかもは御高い fact11: もし「あの閣僚ポストは御高くない」ということは確かだとすればあの地域別傾向は下せるということはない fact12: 興奮し易い物は反強磁性物質でないかまたは夥しいかもしくは両方だ fact13: 「「砕け易い」ということは確かである」ものはある fact14: もし仮にこのロイコトリエンが反強磁性物質でないかもしくは夥しいかもしくは両方ならばあの閣僚ポストはコングロマリットでない fact15: もし仮に「あるものは下せらないけど敵対する」ということは間違っているとすればそれは敵対しない fact16: 「あの閣僚ポストは下せらないがしかしそれは敵対する」ということは成り立たない fact17: もしもなにかはアメリカっぽいしその上御高いならばこのロイコトリエンは興奮し易い
fact13 & fact5 -> int1: その地域別傾向はアメリカっぽい; fact10 -> int2: その地域別傾向は御高い; int1 & int2 -> int3: その地域別傾向はアメリカっぽくて更にそれは御高い; int3 -> int4: ある物はアメリカっぽくて御高い; int4 & fact17 -> int5: 「このロイコトリエンは興奮し易い」ということは確かである; fact12 -> int6: 仮に「このロイコトリエンは興奮し易い」ということは正しいならば反強磁性物質でないかまたは夥しいかまたは両方ともだ; int5 & int6 -> int7: このロイコトリエンは反強磁性物質でないかまたはそれは夥しいかもしくは両方だ; int7 & fact14 -> int8: 「あの閣僚ポストはコングロマリットでない」ということは正しい; fact15 -> int9: もしも「あの閣僚ポストは下せらないがしかし敵対する」ということは間違っているとしたらそれは敵対しない; fact16 & int9 -> int10: あの閣僚ポストは敵対しない; int8 & int10 -> int11: 「あの閣僚ポストはコングロマリットでなくて敵対しない」ということは真実だ; int11 & fact6 -> hypothesis;
その高弟達はネイティブらしい
$facts$ = fact1: もしその地域別傾向がネイティブらしいとするとその高弟達はネイティブらしい fact2: もし「あるものはコングロマリットであるということはないがしかしアメリカっぽい」ということは成り立たないとしたらそれはアメリカっぽいということはない fact3: どれもこれもは有るらしい fact4: このロイコトリエンは興奮し易いかもしくはそれは下せるかどちらもだ fact5: もし仮に「砕け易い」ものがあるとすればその地域別傾向はアメリカっぽい fact6: もしもあの閣僚ポストがコングロマリットでないし敵対しないとすればその高弟達はネイティブらしくない fact7: もしも反強磁性物質はネイティブらしいなら「その高弟達は興奮し易い」ということは事実である fact8: もし「その地域別傾向は御高い」ということは嘘でないとすればネイティブらしいかあるいは敵対するかあるいは両方だ fact9: 仮にその地域別傾向が反強磁性物質だということはないかそれが夥しいかあるいはどちらもだとしたらこのロイコトリエンは御高くない fact10: 何もかもは御高い fact11: もし「あの閣僚ポストは御高くない」ということは確かだとすればあの地域別傾向は下せるということはない fact12: 興奮し易い物は反強磁性物質でないかまたは夥しいかもしくは両方だ fact13: 「「砕け易い」ということは確かである」ものはある fact14: もし仮にこのロイコトリエンが反強磁性物質でないかもしくは夥しいかもしくは両方ならばあの閣僚ポストはコングロマリットでない fact15: もし仮に「あるものは下せらないけど敵対する」ということは間違っているとすればそれは敵対しない fact16: 「あの閣僚ポストは下せらないがしかしそれは敵対する」ということは成り立たない fact17: もしもなにかはアメリカっぽいしその上御高いならばこのロイコトリエンは興奮し易い ; $hypothesis$ = その高弟達はネイティブらしい ; $proof$ = 
fact13 & fact5 -> int1: その地域別傾向はアメリカっぽい; fact10 -> int2: その地域別傾向は御高い; int1 & int2 -> int3: その地域別傾向はアメリカっぽくて更にそれは御高い; int3 -> int4: ある物はアメリカっぽくて御高い; int4 & fact17 -> int5: 「このロイコトリエンは興奮し易い」ということは確かである; fact12 -> int6: 仮に「このロイコトリエンは興奮し易い」ということは正しいならば反強磁性物質でないかまたは夥しいかまたは両方ともだ; int5 & int6 -> int7: このロイコトリエンは反強磁性物質でないかまたはそれは夥しいかもしくは両方だ; int7 & fact14 -> int8: 「あの閣僚ポストはコングロマリットでない」ということは正しい; fact15 -> int9: もしも「あの閣僚ポストは下せらないがしかし敵対する」ということは間違っているとしたらそれは敵対しない; fact16 & int9 -> int10: あの閣僚ポストは敵対しない; int8 & int10 -> int11: 「あの閣僚ポストはコングロマリットでなくて敵対しない」ということは真実だ; int11 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその地域別傾向がネイティブらしいとするとその高弟達はネイティブらしい
事実2: もし「あるものはコングロマリットであるということはないがしかしアメリカっぽい」ということは成り立たないとしたらそれはアメリカっぽいということはない
事実3: どれもこれもは有るらしい
事実4: このロイコトリエンは興奮し易いかもしくはそれは下せるかどちらもだ
事実5: もし仮に「砕け易い」ものがあるとすればその地域別傾向はアメリカっぽい
事実6: もしもあの閣僚ポストがコングロマリットでないし敵対しないとすればその高弟達はネイティブらしくない
事実7: もしも反強磁性物質はネイティブらしいなら「その高弟達は興奮し易い」ということは事実である
事実8: もし「その地域別傾向は御高い」ということは嘘でないとすればネイティブらしいかあるいは敵対するかあるいは両方だ
事実9: 仮にその地域別傾向が反強磁性物質だということはないかそれが夥しいかあるいはどちらもだとしたらこのロイコトリエンは御高くない
事実10: 何もかもは御高い
事実11: もし「あの閣僚ポストは御高くない」ということは確かだとすればあの地域別傾向は下せるということはない
事実12: 興奮し易い物は反強磁性物質でないかまたは夥しいかもしくは両方だ
事実13: 「「砕け易い」ということは確かである」ものはある
事実14: もし仮にこのロイコトリエンが反強磁性物質でないかもしくは夥しいかもしくは両方ならばあの閣僚ポストはコングロマリットでない
事実15: もし仮に「あるものは下せらないけど敵対する」ということは間違っているとすればそれは敵対しない
事実16: 「あの閣僚ポストは下せらないがしかしそれは敵対する」ということは成り立たない
事実17: もしもなにかはアメリカっぽいしその上御高いならばこのロイコトリエンは興奮し易い

仮説: その高弟達はネイティブらしい
1. 事実13と事実5から、推論1: "その地域別傾向はアメリカっぽい"が導かれる
2. 事実10から、推論2: "その地域別傾向は御高い"が導かれる
3. 推論1と推論2から、推論3: "その地域別傾向はアメリカっぽくて更にそれは御高い"が導かれる
4. 推論3から、推論4: "ある物はアメリカっぽくて御高い"が導かれる
5. 推論4と事実17から、推論5: "「このロイコトリエンは興奮し易い」ということは確かである"が導かれる
6. 事実12から、推論6: "仮に「このロイコトリエンは興奮し易い」ということは正しいならば反強磁性物質でないかまたは夥しいかまたは両方ともだ"が導かれる
7. 推論5と推論6から、推論7: "このロイコトリエンは反強磁性物質でないかまたはそれは夥しいかもしくは両方だ"が導かれる
8. 推論7と事実14から、推論8: "「あの閣僚ポストはコングロマリットでない」ということは正しい"が導かれる
9. 事実15から、推論9: "もしも「あの閣僚ポストは下せらないがしかし敵対する」ということは間違っているとしたらそれは敵対しない"が導かれる
10. 事実16と推論9から、推論10: "あの閣僚ポストは敵対しない"が導かれる
11. 推論8と推論10から、推論11: "「あの閣僚ポストはコングロマリットでなくて敵対しない」ということは真実だ"が導かれる
12. 推論11と事実6から、仮説が否定される

よって、仮説が否定されました。