「その鉱物油は条款であるしそれに上げ難い」ということは成り立たない
fact1: もし仮にあのＴＤＮが格好悪いしかつそれが悪戯するとしたらその鉱物油は長たらしくない fact2: あのＴＤＮは格好悪いしちょろい fact3: もしもその鉱物油が長たらしくないならばそれは条款であるし更に上げ難い fact4: あの跳びは悪戯する fact5: あのＴＤＮは悪戯する
fact2 -> int1: あのＴＤＮは格好悪い; int1 & fact5 -> int2: あのＴＤＮは格好悪いし悪戯する; int2 & fact1 -> int3: その鉱物油は長たらしくない; int3 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にあのＴＤＮが格好悪いしかつそれが悪戯するとしたらその鉱物油は長たらしくない fact2: あのＴＤＮは格好悪いしちょろい fact3: もしもその鉱物油が長たらしくないならばそれは条款であるし更に上げ難い fact4: あの跳びは悪戯する fact5: あのＴＤＮは悪戯する ; $hypothesis$ = 「その鉱物油は条款であるしそれに上げ難い」ということは成り立たない ; $proof$ = 
fact2 -> int1: あのＴＤＮは格好悪い; int1 & fact5 -> int2: あのＴＤＮは格好悪いし悪戯する; int2 & fact1 -> int3: その鉱物油は長たらしくない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあのＴＤＮが格好悪いしかつそれが悪戯するとしたらその鉱物油は長たらしくない
事実2: あのＴＤＮは格好悪いしちょろい
事実3: もしもその鉱物油が長たらしくないならばそれは条款であるし更に上げ難い
事実4: あの跳びは悪戯する
事実5: あのＴＤＮは悪戯する

仮説: 「その鉱物油は条款であるしそれに上げ難い」ということは成り立たない
1. 事実2から、推論1: "あのＴＤＮは格好悪い"が導かれる
2. 推論1と事実5から、推論2: "あのＴＤＮは格好悪いし悪戯する"が導かれる
3. 推論2と事実1から、推論3: "その鉱物油は長たらしくない"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。