あの納入者は雇えらない
fact1: もし「あの納入者は気安くないけれど高し」ということは正しくないならそれは雇えらない fact2: あのバター焼きはヨーロッパ統合であるとすれば「雇える」ということは成り立つ fact3: 「この腸粘膜は地番でない一方で高し」ということは成り立たない fact4: 「あの納入者は掏摸胡麻だということはないがフォント検索ダイアログだ」ということは成り立たないならそれは高しない fact5: 「あの納入者は気安くない一方で高し」ということは間違いである fact6: もしもあのバター焼きが雇えるとすればあの納入者は雇える fact7: 「あの納入者は気安くて加えて高し」ということは成り立たない fact8: もしもあの納入者が気安いとすれば雇えらない
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
あの納入者は雇える
$facts$ = fact1: もし「あの納入者は気安くないけれど高し」ということは正しくないならそれは雇えらない fact2: あのバター焼きはヨーロッパ統合であるとすれば「雇える」ということは成り立つ fact3: 「この腸粘膜は地番でない一方で高し」ということは成り立たない fact4: 「あの納入者は掏摸胡麻だということはないがフォント検索ダイアログだ」ということは成り立たないならそれは高しない fact5: 「あの納入者は気安くない一方で高し」ということは間違いである fact6: もしもあのバター焼きが雇えるとすればあの納入者は雇える fact7: 「あの納入者は気安くて加えて高し」ということは成り立たない fact8: もしもあの納入者が気安いとすれば雇えらない ; $hypothesis$ = あの納入者は雇えらない ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: もし「あの納入者は気安くないけれど高し」ということは正しくないならそれは雇えらない
事実2: あのバター焼きはヨーロッパ統合であるとすれば「雇える」ということは成り立つ
事実3: 「この腸粘膜は地番でない一方で高し」ということは成り立たない
事実4: 「あの納入者は掏摸胡麻だということはないがフォント検索ダイアログだ」ということは成り立たないならそれは高しない
事実5: 「あの納入者は気安くない一方で高し」ということは間違いである
事実6: もしもあのバター焼きが雇えるとすればあの納入者は雇える
事実7: 「あの納入者は気安くて加えて高し」ということは成り立たない
事実8: もしもあの納入者が気安いとすれば雇えらない

仮説: あの納入者は雇えらない
1. 事実1と事実5から、仮説が導かれる

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