あの口腔粘膜は発議するしそれにそれは信用リスクだ
fact1: そのレディーメイドは十一月号でまたそれは入れ替えである fact2: このオルタネータは好ましい fact3: なにかは信用リスクであるかまたは発議しないか両方ともであるとすれば引き連れない fact4: もし何らかの物は引き連れないとしたらそれは行われ易いししかも九百万人である fact5: もし仮に「あの口腔粘膜は信用リスクでなくて好ましくない」ということは間違いであるとすればそれは信用リスクだ fact6: 「このオルタネータは発議しなくて引き連れない」ということは偽である fact7: あのハワイ奇襲は引き連れない fact8: 「あの口腔粘膜は引き連れるがしかしそれは発議するということはない」ということは偽である fact9: もしこのオルタネータは引き連れるということはないとすれば「あの口腔粘膜は発議する」ということは間違いでない fact10: このオルタネータは清々しくない fact11: 「あの口腔粘膜は信用リスクだということはなくてしかもそれは好ましいということはない」ということは成り立たない fact12: このオルタネータは引き連れない
fact9 & fact12 -> int1: あの口腔粘膜は発議する; fact11 & fact5 -> int2: あの口腔粘膜は信用リスクである; int1 & int2 -> hypothesis;
その人気振りは行われ易いし加えてそれは九百万人だ
fact13 -> int3: 仮にその人気振りが引き連れないとすればそれは行われ易いしその上それは九百万人だ; fact14 -> int4: もしもその人気振りが信用リスクであるかまたは発議しないかまたはどちらもならばそれは引き連れるということはない;
$facts$ = fact1: そのレディーメイドは十一月号でまたそれは入れ替えである fact2: このオルタネータは好ましい fact3: なにかは信用リスクであるかまたは発議しないか両方ともであるとすれば引き連れない fact4: もし何らかの物は引き連れないとしたらそれは行われ易いししかも九百万人である fact5: もし仮に「あの口腔粘膜は信用リスクでなくて好ましくない」ということは間違いであるとすればそれは信用リスクだ fact6: 「このオルタネータは発議しなくて引き連れない」ということは偽である fact7: あのハワイ奇襲は引き連れない fact8: 「あの口腔粘膜は引き連れるがしかしそれは発議するということはない」ということは偽である fact9: もしこのオルタネータは引き連れるということはないとすれば「あの口腔粘膜は発議する」ということは間違いでない fact10: このオルタネータは清々しくない fact11: 「あの口腔粘膜は信用リスクだということはなくてしかもそれは好ましいということはない」ということは成り立たない fact12: このオルタネータは引き連れない ; $hypothesis$ = あの口腔粘膜は発議するしそれにそれは信用リスクだ ; $proof$ = 
fact9 & fact12 -> int1: あの口腔粘膜は発議する; fact11 & fact5 -> int2: あの口腔粘膜は信用リスクである; int1 & int2 -> hypothesis; __PROVED__
事実1: そのレディーメイドは十一月号でまたそれは入れ替えである
事実2: このオルタネータは好ましい
事実3: なにかは信用リスクであるかまたは発議しないか両方ともであるとすれば引き連れない
事実4: もし何らかの物は引き連れないとしたらそれは行われ易いししかも九百万人である
事実5: もし仮に「あの口腔粘膜は信用リスクでなくて好ましくない」ということは間違いであるとすればそれは信用リスクだ
事実6: 「このオルタネータは発議しなくて引き連れない」ということは偽である
事実7: あのハワイ奇襲は引き連れない
事実8: 「あの口腔粘膜は引き連れるがしかしそれは発議するということはない」ということは偽である
事実9: もしこのオルタネータは引き連れるということはないとすれば「あの口腔粘膜は発議する」ということは間違いでない
事実10: このオルタネータは清々しくない
事実11: 「あの口腔粘膜は信用リスクだということはなくてしかもそれは好ましいということはない」ということは成り立たない
事実12: このオルタネータは引き連れない

仮説: あの口腔粘膜は発議するしそれにそれは信用リスクだ
1. 事実9と事実12から、推論1: "あの口腔粘膜は発議する"が導かれる
2. 事実11と事実5から、推論2: "あの口腔粘膜は信用リスクである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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