あの草は信じ難くない
fact1: もし何らかの物が拡張しないとすると信じ難くてそれは人懐っこい fact2: 仮にあの父子はＳＴＤインであるとしたら「あの草はＳＴＤインである」ということは正しい fact3: もし仮にあの交換等が飲酒しないなら証しするかもしくは拡張しない fact4: この訴訟資料は信じ難い fact5: もし「この訴訟資料はＳＴＤインでない」ということは事実であるなら「その鉄塊は化かすし加えて自民党本部だ」ということは真実だ fact6: この訴訟資料は自民党本部だし更にＳＴＤインだ fact7: 仮に「あの草はＳＴＤインである」ということは成り立つとするとこの訴訟資料はＳＴＤインであるということはない fact8: もしもこの訴訟資料がＳＴＤインであるならばあの草は信じ難い fact9: あの交換等は飲酒するということはない
fact6 -> int1: この訴訟資料はＳＴＤインである; int1 & fact8 -> hypothesis;
その鉄塊は化かすしさらに信じ難い
fact14 -> int2: 仮にその鉄塊が拡張しないとすると信じ難くてそれは人懐っこい; fact11 & fact15 -> int3: あの交換等は証しするかあるいは拡張するということはないかあるいは両方ともである;
$facts$ = fact1: もし何らかの物が拡張しないとすると信じ難くてそれは人懐っこい fact2: 仮にあの父子はＳＴＤインであるとしたら「あの草はＳＴＤインである」ということは正しい fact3: もし仮にあの交換等が飲酒しないなら証しするかもしくは拡張しない fact4: この訴訟資料は信じ難い fact5: もし「この訴訟資料はＳＴＤインでない」ということは事実であるなら「その鉄塊は化かすし加えて自民党本部だ」ということは真実だ fact6: この訴訟資料は自民党本部だし更にＳＴＤインだ fact7: 仮に「あの草はＳＴＤインである」ということは成り立つとするとこの訴訟資料はＳＴＤインであるということはない fact8: もしもこの訴訟資料がＳＴＤインであるならばあの草は信じ難い fact9: あの交換等は飲酒するということはない ; $hypothesis$ = あの草は信じ難くない ; $proof$ = 
fact6 -> int1: この訴訟資料はＳＴＤインである; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし何らかの物が拡張しないとすると信じ難くてそれは人懐っこい
事実2: 仮にあの父子はＳＴＤインであるとしたら「あの草はＳＴＤインである」ということは正しい
事実3: もし仮にあの交換等が飲酒しないなら証しするかもしくは拡張しない
事実4: この訴訟資料は信じ難い
事実5: もし「この訴訟資料はＳＴＤインでない」ということは事実であるなら「その鉄塊は化かすし加えて自民党本部だ」ということは真実だ
事実6: この訴訟資料は自民党本部だし更にＳＴＤインだ
事実7: 仮に「あの草はＳＴＤインである」ということは成り立つとするとこの訴訟資料はＳＴＤインであるということはない
事実8: もしもこの訴訟資料がＳＴＤインであるならばあの草は信じ難い
事実9: あの交換等は飲酒するということはない

仮説: あの草は信じ難くない
1. 事実6から、推論1: "この訴訟資料はＳＴＤインである"が導かれる
2. 推論1と事実8から、仮説が否定される

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