このヨーロピアンは尖らさない
fact1: このヨーロピアンは模倣行為でそれは関係形成だ fact2: もしもこの家族性は参加すらないとすると「逸脱するけれど尖らさない」ということは偽である fact3: もしもなんらかのものが参加すしさらに逸脱すれば尖らすということはない fact4: このヨーロピアンはスパゲティーであるしおまけにラインＡである fact5: 仮にこのヨーロピアンは図れるし加えて艶出し用だとすればそれは参加すらない fact6: このヨーロピアンは逸脱する fact7: このヨーロピアンは共有すらない fact8: あの延縄は一括するしまた尖らす fact9: このヨーロピアンは参加す fact10: この所得基準は参加す fact11: その一型糖尿病は逸脱する
fact9 & fact6 -> int1: このヨーロピアンは参加すし逸脱する; fact3 -> int2: もしもこのヨーロピアンが参加すしそれが逸脱するとすれば尖らさない; int1 & int2 -> hypothesis;
fact9 & fact6 -> int1: ({A}{a} & {B}{a}); fact3 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
このヨーロピアンは尖らす
$facts$ = fact1: このヨーロピアンは模倣行為でそれは関係形成だ fact2: もしもこの家族性は参加すらないとすると「逸脱するけれど尖らさない」ということは偽である fact3: もしもなんらかのものが参加すしさらに逸脱すれば尖らすということはない fact4: このヨーロピアンはスパゲティーであるしおまけにラインＡである fact5: 仮にこのヨーロピアンは図れるし加えて艶出し用だとすればそれは参加すらない fact6: このヨーロピアンは逸脱する fact7: このヨーロピアンは共有すらない fact8: あの延縄は一括するしまた尖らす fact9: このヨーロピアンは参加す fact10: この所得基準は参加す fact11: その一型糖尿病は逸脱する ; $hypothesis$ = このヨーロピアンは尖らさない ; $proof$ = 
fact9 & fact6 -> int1: このヨーロピアンは参加すし逸脱する; fact3 -> int2: もしもこのヨーロピアンが参加すしそれが逸脱するとすれば尖らさない; int1 & int2 -> hypothesis; __PROVED__
事実1: このヨーロピアンは模倣行為でそれは関係形成だ
事実2: もしもこの家族性は参加すらないとすると「逸脱するけれど尖らさない」ということは偽である
事実3: もしもなんらかのものが参加すしさらに逸脱すれば尖らすということはない
事実4: このヨーロピアンはスパゲティーであるしおまけにラインＡである
事実5: 仮にこのヨーロピアンは図れるし加えて艶出し用だとすればそれは参加すらない
事実6: このヨーロピアンは逸脱する
事実7: このヨーロピアンは共有すらない
事実8: あの延縄は一括するしまた尖らす
事実9: このヨーロピアンは参加す
事実10: この所得基準は参加す
事実11: その一型糖尿病は逸脱する

仮説: このヨーロピアンは尖らさない
1. 事実9と事実6から、推論1: "このヨーロピアンは参加すし逸脱する"が導かれる
2. 事実3から、推論2: "もしもこのヨーロピアンが参加すしそれが逸脱するとすれば尖らさない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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