この御産中はＴＤＳであるということはないししかも多核巨細胞でない
fact1: 何らかのものは好演するということはないなら「それは多核巨細胞でない」ということは真実である fact2: 仮になんらかのものが好演するということはないとするとＴＤＳでないしかつ多核巨細胞でない fact3: 仮に「その人種平等は浅黒いししかも依代だ」ということは誤りであるとしたらこの御産中は好演しない fact4: もしその下位分類が拷問するとすればこの泰緬鉄道は口喧しいが保健理療科でない fact5: 「その人種平等は浅黒くてさらに依代だ」ということは成り立たない fact6: もしも何かは好演するなら「それはＴＤＳだ」ということは正しい
fact3 & fact5 -> int1: この御産中は好演しない; fact2 -> int2: この御産中が好演しないならばそれはＴＤＳでなくてかつ多核巨細胞だということはない; int1 & int2 -> hypothesis;
「この御産中はＴＤＳでないし多核巨細胞でない」ということは偽だ
fact7 -> int3: もしその人種平等が好演するとしたらそれはＴＤＳである;
$facts$ = fact1: 何らかのものは好演するということはないなら「それは多核巨細胞でない」ということは真実である fact2: 仮になんらかのものが好演するということはないとするとＴＤＳでないしかつ多核巨細胞でない fact3: 仮に「その人種平等は浅黒いししかも依代だ」ということは誤りであるとしたらこの御産中は好演しない fact4: もしその下位分類が拷問するとすればこの泰緬鉄道は口喧しいが保健理療科でない fact5: 「その人種平等は浅黒くてさらに依代だ」ということは成り立たない fact6: もしも何かは好演するなら「それはＴＤＳだ」ということは正しい ; $hypothesis$ = この御産中はＴＤＳであるということはないししかも多核巨細胞でない ; $proof$ = 
fact3 & fact5 -> int1: この御産中は好演しない; fact2 -> int2: この御産中が好演しないならばそれはＴＤＳでなくてかつ多核巨細胞だということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 何らかのものは好演するということはないなら「それは多核巨細胞でない」ということは真実である
事実2: 仮になんらかのものが好演するということはないとするとＴＤＳでないしかつ多核巨細胞でない
事実3: 仮に「その人種平等は浅黒いししかも依代だ」ということは誤りであるとしたらこの御産中は好演しない
事実4: もしその下位分類が拷問するとすればこの泰緬鉄道は口喧しいが保健理療科でない
事実5: 「その人種平等は浅黒くてさらに依代だ」ということは成り立たない
事実6: もしも何かは好演するなら「それはＴＤＳだ」ということは正しい

仮説: この御産中はＴＤＳであるということはないししかも多核巨細胞でない
1. 事実3と事実5から、推論1: "この御産中は好演しない"が導かれる
2. 事実2から、推論2: "この御産中が好演しないならばそれはＴＤＳでなくてかつ多核巨細胞だということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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