この司は特別養護老人ホームでかつネイティブらしい
fact1: もしもその粗微塵切りは拒否出来ないならば「この司は特別養護老人ホームであるししかもネイティブらしい」ということは偽である fact2: その粗微塵切りは取り過ぎるしそれは御構い無い fact3: この波及はネイティブらしい fact4: この司は特別養護老人ホームだ fact5: この司は倹しいしその上掻き易い fact6: あの発振器はネイティブらしい fact7: 「この司はネイティブらしい」ということは正しい fact8: 仮に「何らかのものは面するけどそれは拒否出来ない」ということは成り立たないとするとスタイル例である fact9: 「この波及は面するけれどそれは拒否出来るということはない」ということは成り立たない fact10: もし仮になんらかのものは発表するとしたら「それは特別養護老人ホームでないしさらにネイティブらしいということはない」ということは成り立たない fact11: もしも何かは発表するということはないとすれば拒否出来ないし面する fact12: この司は入り難い fact13: 「この司は盗み聞きする」ということは成り立つ fact14: この司は掻き易い
fact4 & fact7 -> hypothesis;
fact4 & fact7 -> hypothesis;
この波及はスタイル例だししかもネイティブらしい
fact17 -> int1: もしも「この波及は面する一方でそれは拒否出来ない」ということは誤りであるならばスタイル例だ; int1 & fact15 -> int2: この波及はスタイル例だ; fact18 -> int3: もし「この司は発表する」ということは成り立つとしたら「それは特別養護老人ホームでないし更にネイティブらしいということはない」ということは成り立たない; fact16 -> int4: 何らかのものは取り過ぎるしそれにそれは御構い無い;
$facts$ = fact1: もしもその粗微塵切りは拒否出来ないならば「この司は特別養護老人ホームであるししかもネイティブらしい」ということは偽である fact2: その粗微塵切りは取り過ぎるしそれは御構い無い fact3: この波及はネイティブらしい fact4: この司は特別養護老人ホームだ fact5: この司は倹しいしその上掻き易い fact6: あの発振器はネイティブらしい fact7: 「この司はネイティブらしい」ということは正しい fact8: 仮に「何らかのものは面するけどそれは拒否出来ない」ということは成り立たないとするとスタイル例である fact9: 「この波及は面するけれどそれは拒否出来るということはない」ということは成り立たない fact10: もし仮になんらかのものは発表するとしたら「それは特別養護老人ホームでないしさらにネイティブらしいということはない」ということは成り立たない fact11: もしも何かは発表するということはないとすれば拒否出来ないし面する fact12: この司は入り難い fact13: 「この司は盗み聞きする」ということは成り立つ fact14: この司は掻き易い ; $hypothesis$ = この司は特別養護老人ホームでかつネイティブらしい ; $proof$ = 
fact4 & fact7 -> hypothesis; __PROVED__
事実1: もしもその粗微塵切りは拒否出来ないならば「この司は特別養護老人ホームであるししかもネイティブらしい」ということは偽である
事実2: その粗微塵切りは取り過ぎるしそれは御構い無い
事実3: この波及はネイティブらしい
事実4: この司は特別養護老人ホームだ
事実5: この司は倹しいしその上掻き易い
事実6: あの発振器はネイティブらしい
事実7: 「この司はネイティブらしい」ということは正しい
事実8: 仮に「何らかのものは面するけどそれは拒否出来ない」ということは成り立たないとするとスタイル例である
事実9: 「この波及は面するけれどそれは拒否出来るということはない」ということは成り立たない
事実10: もし仮になんらかのものは発表するとしたら「それは特別養護老人ホームでないしさらにネイティブらしいということはない」ということは成り立たない
事実11: もしも何かは発表するということはないとすれば拒否出来ないし面する
事実12: この司は入り難い
事実13: 「この司は盗み聞きする」ということは成り立つ
事実14: この司は掻き易い

仮説: この司は特別養護老人ホームでかつネイティブらしい
1. 事実4と事実7から、仮説が導かれる

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