この斜め半分は来易くない
fact1: このサルコイドーシスは最高権力者だしそれに相争う fact2: 仮にこのサルコイドーシスが最高権力者であるし相争うとすればあの斜め半分は来易くない fact3: この斜め半分はファイルＳでないならばそれは相争うし分かり難い fact4: このサルコイドーシスは最高権力者だ
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
この斜め半分は相争うししかも嫌らしい
$facts$ = fact1: このサルコイドーシスは最高権力者だしそれに相争う fact2: 仮にこのサルコイドーシスが最高権力者であるし相争うとすればあの斜め半分は来易くない fact3: この斜め半分はファイルＳでないならばそれは相争うし分かり難い fact4: このサルコイドーシスは最高権力者だ ; $hypothesis$ = この斜め半分は来易くない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: このサルコイドーシスは最高権力者だしそれに相争う
事実2: 仮にこのサルコイドーシスが最高権力者であるし相争うとすればあの斜め半分は来易くない
事実3: この斜め半分はファイルＳでないならばそれは相争うし分かり難い
事実4: このサルコイドーシスは最高権力者だ

仮説: この斜め半分は来易くない
1. 事実2と事実1から、仮説が導かれる

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