このθＩＪは梲でない
fact1: この二月末が生き辛い一方で筋トレだということはないとしたらその別類型は発育出来る fact2: もしその別類型が発育出来るとしたらこのθＩＪは梲でない fact3: この二月末は生き辛いけれど筋トレでない
fact1 & fact3 -> int1: その別類型は発育出来る; int1 & fact2 -> hypothesis;
$facts$ = fact1: この二月末が生き辛い一方で筋トレだということはないとしたらその別類型は発育出来る fact2: もしその別類型が発育出来るとしたらこのθＩＪは梲でない fact3: この二月末は生き辛いけれど筋トレでない ; $hypothesis$ = このθＩＪは梲でない ; $proof$ = 
fact1 & fact3 -> int1: その別類型は発育出来る; int1 & fact2 -> hypothesis; __PROVED__
事実1: この二月末が生き辛い一方で筋トレだということはないとしたらその別類型は発育出来る
事実2: もしその別類型が発育出来るとしたらこのθＩＪは梲でない
事実3: この二月末は生き辛いけれど筋トレでない

仮説: このθＩＪは梲でない
1. 事実1と事実3から、推論1: "その別類型は発育出来る"が導かれる
2. 推論1と事実2から、仮説が導かれる

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