そのテープは車関係でない
fact1: もしもなにかは公共交通特定事業でない一方で痩せ難いとするとそのテープは車関係でない fact2: もし仮にそのベルモント・ファームが公共交通特定事業であるならばこの馬草場は点αでない一方で縮こまる fact3: 何らかのものが縮こまらないならばそれは公共交通特定事業でないが痩せ難い fact4: 「点αであるしかつ縮こまる」ものはある fact5: そのベルモント・ファームは痩せ難い fact6: もしそのベルモント・ファームが痩せ難いとするとそれは公共交通特定事業だ fact7: 仮に「点αでないけど縮こまる」ものがあるとすればそのテープは車関係である
fact6 & fact5 -> int1: そのベルモント・ファームは公共交通特定事業である; int1 & fact2 -> int2: この馬草場は点αでないけれど縮こまる; int2 -> int3: ある物は点αであるということはないが縮こまる; int3 & fact7 -> hypothesis;
そのテープは車関係でない
fact9 -> int4: この馬草場が縮こまらないなら公共交通特定事業でなくて痩せ難い;
$facts$ = fact1: もしもなにかは公共交通特定事業でない一方で痩せ難いとするとそのテープは車関係でない fact2: もし仮にそのベルモント・ファームが公共交通特定事業であるならばこの馬草場は点αでない一方で縮こまる fact3: 何らかのものが縮こまらないならばそれは公共交通特定事業でないが痩せ難い fact4: 「点αであるしかつ縮こまる」ものはある fact5: そのベルモント・ファームは痩せ難い fact6: もしそのベルモント・ファームが痩せ難いとするとそれは公共交通特定事業だ fact7: 仮に「点αでないけど縮こまる」ものがあるとすればそのテープは車関係である ; $hypothesis$ = そのテープは車関係でない ; $proof$ = 
fact6 & fact5 -> int1: そのベルモント・ファームは公共交通特定事業である; int1 & fact2 -> int2: この馬草場は点αでないけれど縮こまる; int2 -> int3: ある物は点αであるということはないが縮こまる; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもなにかは公共交通特定事業でない一方で痩せ難いとするとそのテープは車関係でない
事実2: もし仮にそのベルモント・ファームが公共交通特定事業であるならばこの馬草場は点αでない一方で縮こまる
事実3: 何らかのものが縮こまらないならばそれは公共交通特定事業でないが痩せ難い
事実4: 「点αであるしかつ縮こまる」ものはある
事実5: そのベルモント・ファームは痩せ難い
事実6: もしそのベルモント・ファームが痩せ難いとするとそれは公共交通特定事業だ
事実7: 仮に「点αでないけど縮こまる」ものがあるとすればそのテープは車関係である

仮説: そのテープは車関係でない
1. 事実6と事実5から、推論1: "そのベルモント・ファームは公共交通特定事業である"が導かれる
2. 推論1と事実2から、推論2: "この馬草場は点αでないけれど縮こまる"が導かれる
3. 推論2から、推論3: "ある物は点αであるということはないが縮こまる"が導かれる
4. 推論3と事実7から、仮説が否定される

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