もし仮にその許容限度値が自宅周辺だとするとその一般株主は常人離れしなくて加えてもたつかない
fact1: 仮に「ある物は自宅周辺であるしおまけにそれは常人離れする」ということは成り立たないとするとそれは自宅周辺でない fact2: その許容限度値がＴＤであるならばその一般株主は常人離れしない fact3: その許容限度値は自宅周辺であるかまたはＴＤであるかまたはどちらもであるとすると「その一般株主は常人離れするということはない」ということは確かだ fact4: 「その一般株主は高しということはなくて更に活動家達であるということはない」ということは偽である fact5: 「仮にその許容限度値が活動家達であるとするとその一般株主はＴＤでないしそれはもたつかない」ということは正しい fact6: もし「「その一般株主は高しないしおまけに活動家達でない」ということは真実だ」ということは事実でないとするとそれはもたつかない fact7: もしも「その一般株主は活動家達である」ということは真実であるならばもたつかない
void -> assump1: 以下のように仮定する。その許容限度値は自宅周辺である; assump1 -> int1: 「その許容限度値は自宅周辺であるかそれはＴＤであるか両方ともである」ということは真実である; int1 & fact3 -> int2: その一般株主は常人離れしない; fact6 & fact4 -> int3: その一般株主はもたつかない; int2 & int3 -> int4: 「その一般株主は常人離れしないしそれにそれはもたつくということはない」ということは確かだ; [assump1] & int4 -> hypothesis;
このチベット族は確認し易くないし忙しくない
fact8 -> int5: もし「このチベット族は自宅周辺だしかつ常人離れする」ということは間違いであるなら自宅周辺でない;
$facts$ = fact1: 仮に「ある物は自宅周辺であるしおまけにそれは常人離れする」ということは成り立たないとするとそれは自宅周辺でない fact2: その許容限度値がＴＤであるならばその一般株主は常人離れしない fact3: その許容限度値は自宅周辺であるかまたはＴＤであるかまたはどちらもであるとすると「その一般株主は常人離れするということはない」ということは確かだ fact4: 「その一般株主は高しということはなくて更に活動家達であるということはない」ということは偽である fact5: 「仮にその許容限度値が活動家達であるとするとその一般株主はＴＤでないしそれはもたつかない」ということは正しい fact6: もし「「その一般株主は高しないしおまけに活動家達でない」ということは真実だ」ということは事実でないとするとそれはもたつかない fact7: もしも「その一般株主は活動家達である」ということは真実であるならばもたつかない ; $hypothesis$ = もし仮にその許容限度値が自宅周辺だとするとその一般株主は常人離れしなくて加えてもたつかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その許容限度値は自宅周辺である; assump1 -> int1: 「その許容限度値は自宅周辺であるかそれはＴＤであるか両方ともである」ということは真実である; int1 & fact3 -> int2: その一般株主は常人離れしない; fact6 & fact4 -> int3: その一般株主はもたつかない; int2 & int3 -> int4: 「その一般株主は常人離れしないしそれにそれはもたつくということはない」ということは確かだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「ある物は自宅周辺であるしおまけにそれは常人離れする」ということは成り立たないとするとそれは自宅周辺でない
事実2: その許容限度値がＴＤであるならばその一般株主は常人離れしない
事実3: その許容限度値は自宅周辺であるかまたはＴＤであるかまたはどちらもであるとすると「その一般株主は常人離れするということはない」ということは確かだ
事実4: 「その一般株主は高しということはなくて更に活動家達であるということはない」ということは偽である
事実5: 「仮にその許容限度値が活動家達であるとするとその一般株主はＴＤでないしそれはもたつかない」ということは正しい
事実6: もし「「その一般株主は高しないしおまけに活動家達でない」ということは真実だ」ということは事実でないとするとそれはもたつかない
事実7: もしも「その一般株主は活動家達である」ということは真実であるならばもたつかない

仮説: もし仮にその許容限度値が自宅周辺だとするとその一般株主は常人離れしなくて加えてもたつかない
1. 仮定1: 以下のように仮定する。その許容限度値は自宅周辺である
2. 仮定1から、推論1: "「その許容限度値は自宅周辺であるかそれはＴＤであるか両方ともである」ということは真実である"が導かれる
3. 推論1と事実3から、推論2: "その一般株主は常人離れしない"が導かれる
4. 事実6と事実4から、推論3: "その一般株主はもたつかない"が導かれる
5. 推論2と推論3から、推論4: "「その一般株主は常人離れしないしそれにそれはもたつくということはない」ということは確かだ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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