その実習用は素っ気ない
fact1: あの契約違反は派遣要請である fact2: その実習用は諸集団でなくてまた派遣要請でない fact3: そのビコイド蛋白質は押し出す fact4: その実習用は派遣要請であるということはない fact5: もし仮にそのビコイド蛋白質が押し出すならそれは男性職員でないしそれは南面しない fact6: 中継局は素っ気ない fact7: もし仮になにがしかの物は仰るとすれば「それは素っ気なくないけれど中継局である」ということは嘘だ fact8: もしこの診断企業は企業リストラであるということはないしその上不正侵入しないならば諸集団である fact9: そのランディング・ビーチは中継局でない fact10: もしもその実習用は各支部であるならば中継局である fact11: もし仮にその実習用は新築マンションであるならば「それは潤み切る」ということは間違っていない fact12: この関税同盟は素っ気ない fact13: なにがしかの物が陽性予測値だとすれば描き易い fact14: 仮にその実習用が諸集団でないし派遣要請でないならば中継局である
fact14 & fact2 -> int1: その実習用は中継局である; fact6 -> int2: もしもその実習用は中継局であるならそれは素っ気ない; int1 & int2 -> hypothesis;
fact14 & fact2 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
その実習用は素っ気なくない
fact16 -> int3: もし仮にそのエンディングサポートは仰るとすれば「それは素っ気なくないしそれは中継局である」ということは成り立たない; fact15 & fact17 -> int4: そのビコイド蛋白質は男性職員でなくて加えて南面するということはない; int4 -> int5: そのビコイド蛋白質は男性職員でない; int5 -> int6: とある物は男性職員でない;
$facts$ = fact1: あの契約違反は派遣要請である fact2: その実習用は諸集団でなくてまた派遣要請でない fact3: そのビコイド蛋白質は押し出す fact4: その実習用は派遣要請であるということはない fact5: もし仮にそのビコイド蛋白質が押し出すならそれは男性職員でないしそれは南面しない fact6: 中継局は素っ気ない fact7: もし仮になにがしかの物は仰るとすれば「それは素っ気なくないけれど中継局である」ということは嘘だ fact8: もしこの診断企業は企業リストラであるということはないしその上不正侵入しないならば諸集団である fact9: そのランディング・ビーチは中継局でない fact10: もしもその実習用は各支部であるならば中継局である fact11: もし仮にその実習用は新築マンションであるならば「それは潤み切る」ということは間違っていない fact12: この関税同盟は素っ気ない fact13: なにがしかの物が陽性予測値だとすれば描き易い fact14: 仮にその実習用が諸集団でないし派遣要請でないならば中継局である ; $hypothesis$ = その実習用は素っ気ない ; $proof$ = 
fact14 & fact2 -> int1: その実習用は中継局である; fact6 -> int2: もしもその実習用は中継局であるならそれは素っ気ない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの契約違反は派遣要請である
事実2: その実習用は諸集団でなくてまた派遣要請でない
事実3: そのビコイド蛋白質は押し出す
事実4: その実習用は派遣要請であるということはない
事実5: もし仮にそのビコイド蛋白質が押し出すならそれは男性職員でないしそれは南面しない
事実6: 中継局は素っ気ない
事実7: もし仮になにがしかの物は仰るとすれば「それは素っ気なくないけれど中継局である」ということは嘘だ
事実8: もしこの診断企業は企業リストラであるということはないしその上不正侵入しないならば諸集団である
事実9: そのランディング・ビーチは中継局でない
事実10: もしもその実習用は各支部であるならば中継局である
事実11: もし仮にその実習用は新築マンションであるならば「それは潤み切る」ということは間違っていない
事実12: この関税同盟は素っ気ない
事実13: なにがしかの物が陽性予測値だとすれば描き易い
事実14: 仮にその実習用が諸集団でないし派遣要請でないならば中継局である

仮説: その実習用は素っ気ない
1. 事実14と事実2から、推論1: "その実習用は中継局である"が導かれる
2. 事実6から、推論2: "もしもその実習用は中継局であるならそれは素っ気ない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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