あの嬉し涙はパートナー間であるということはなくてかつ勢力下でない
fact1: あの嬉し涙は勢力下でない fact2: 「あの嬉し涙は嬉しくない」ということは真実だ fact3: あの嬉し涙はパートナー間であるということはない fact4: 「この大学等はパートナー間でない」ということは本当だ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: あの嬉し涙は勢力下でない fact2: 「あの嬉し涙は嬉しくない」ということは真実だ fact3: あの嬉し涙はパートナー間であるということはない fact4: 「この大学等はパートナー間でない」ということは本当だ ; $hypothesis$ = あの嬉し涙はパートナー間であるということはなくてかつ勢力下でない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: あの嬉し涙は勢力下でない
事実2: 「あの嬉し涙は嬉しくない」ということは真実だ
事実3: あの嬉し涙はパートナー間であるということはない
事実4: 「この大学等はパートナー間でない」ということは本当だ

仮説: あの嬉し涙はパートナー間であるということはなくてかつ勢力下でない
1. 事実3と事実1から、仮説が導かれる

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