その調教師は徒らっぽくないけどそれはビーターだ
fact1: その調教師は散開する fact2: もしもこの伝達物質が整備出来れば散開しない fact3: もしもその調教師は徒らっぽくないしそれに整備出来ないとしたらそれはＤＤＴでない fact4: もし仮にこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくないがビーターだ fact5: その調教師は整備出来る fact6: その調教師は徒らっぽくない fact7: この生体防御系は整備出来る fact8: この伝達物質は散開しない fact9: もし仮になにかは散開しなくてまたＤＤＴでないなら徒らっぽいということはない fact10: もしこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくない fact11: もし仮にある物が散開するけどそれはＤＤＴであるということはないとしたらそれは徒らっぽくない fact12: 仮にこの伝達物質は散開するけれどＤＤＴでないとしたら徒らっぽくない fact13: もし仮にこの伝達物質が整備出来るとすればそれは散開しなくておまけにＤＤＴでない fact14: この伝達物質は整備出来る
fact9 -> int1: もしこの伝達物質は散開するということはないし更にＤＤＴでないならば徒らっぽくない; fact13 & fact14 -> int2: この伝達物質は散開しなくておまけにそれはＤＤＴであるということはない; int1 & int2 -> int3: この伝達物質は徒らっぽくない; int3 & fact4 -> hypothesis;
$facts$ = fact1: その調教師は散開する fact2: もしもこの伝達物質が整備出来れば散開しない fact3: もしもその調教師は徒らっぽくないしそれに整備出来ないとしたらそれはＤＤＴでない fact4: もし仮にこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくないがビーターだ fact5: その調教師は整備出来る fact6: その調教師は徒らっぽくない fact7: この生体防御系は整備出来る fact8: この伝達物質は散開しない fact9: もし仮になにかは散開しなくてまたＤＤＴでないなら徒らっぽいということはない fact10: もしこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくない fact11: もし仮にある物が散開するけどそれはＤＤＴであるということはないとしたらそれは徒らっぽくない fact12: 仮にこの伝達物質は散開するけれどＤＤＴでないとしたら徒らっぽくない fact13: もし仮にこの伝達物質が整備出来るとすればそれは散開しなくておまけにＤＤＴでない fact14: この伝達物質は整備出来る ; $hypothesis$ = その調教師は徒らっぽくないけどそれはビーターだ ; $proof$ = 
fact9 -> int1: もしこの伝達物質は散開するということはないし更にＤＤＴでないならば徒らっぽくない; fact13 & fact14 -> int2: この伝達物質は散開しなくておまけにそれはＤＤＴであるということはない; int1 & int2 -> int3: この伝達物質は徒らっぽくない; int3 & fact4 -> hypothesis; __PROVED__
事実1: その調教師は散開する
事実2: もしもこの伝達物質が整備出来れば散開しない
事実3: もしもその調教師は徒らっぽくないしそれに整備出来ないとしたらそれはＤＤＴでない
事実4: もし仮にこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくないがビーターだ
事実5: その調教師は整備出来る
事実6: その調教師は徒らっぽくない
事実7: この生体防御系は整備出来る
事実8: この伝達物質は散開しない
事実9: もし仮になにかは散開しなくてまたＤＤＴでないなら徒らっぽいということはない
事実10: もしこの伝達物質が徒らっぽくないならばその調教師は徒らっぽくない
事実11: もし仮にある物が散開するけどそれはＤＤＴであるということはないとしたらそれは徒らっぽくない
事実12: 仮にこの伝達物質は散開するけれどＤＤＴでないとしたら徒らっぽくない
事実13: もし仮にこの伝達物質が整備出来るとすればそれは散開しなくておまけにＤＤＴでない
事実14: この伝達物質は整備出来る

仮説: その調教師は徒らっぽくないけどそれはビーターだ
1. 事実9から、推論1: "もしこの伝達物質は散開するということはないし更にＤＤＴでないならば徒らっぽくない"が導かれる
2. 事実13と事実14から、推論2: "この伝達物質は散開しなくておまけにそれはＤＤＴであるということはない"が導かれる
3. 推論1と推論2から、推論3: "この伝達物質は徒らっぽくない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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