この当寺は遊行しない
fact1: この当寺は営庭だ fact2: この赤米は遊行する fact3: この乗り降りは遊行する fact4: 「この当寺は消化吸収され易い」ということは嘘でない fact5: この当寺は遊行する fact6: あの内法は遊行する fact7: 「そのウォッチは遊行する」ということは本当である fact8: もし仮にとあるものは遊行しないかあるいは輝かしいかあるいは両方だとすれば遊行しない fact9: この当寺は被らす fact10: そのプロリーグは遊行する fact11: この当寺は電話網だ fact12: あの芸者達は遊行する
fact5 -> hypothesis;
fact5 -> hypothesis;
この当寺は遊行しない
fact13 -> int1: この当寺が遊行しないかそれは輝かしいかどちらもなら遊行しない;
$facts$ = fact1: この当寺は営庭だ fact2: この赤米は遊行する fact3: この乗り降りは遊行する fact4: 「この当寺は消化吸収され易い」ということは嘘でない fact5: この当寺は遊行する fact6: あの内法は遊行する fact7: 「そのウォッチは遊行する」ということは本当である fact8: もし仮にとあるものは遊行しないかあるいは輝かしいかあるいは両方だとすれば遊行しない fact9: この当寺は被らす fact10: そのプロリーグは遊行する fact11: この当寺は電話網だ fact12: あの芸者達は遊行する ; $hypothesis$ = この当寺は遊行しない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この当寺は営庭だ
事実2: この赤米は遊行する
事実3: この乗り降りは遊行する
事実4: 「この当寺は消化吸収され易い」ということは嘘でない
事実5: この当寺は遊行する
事実6: あの内法は遊行する
事実7: 「そのウォッチは遊行する」ということは本当である
事実8: もし仮にとあるものは遊行しないかあるいは輝かしいかあるいは両方だとすれば遊行しない
事実9: この当寺は被らす
事実10: そのプロリーグは遊行する
事実11: この当寺は電話網だ
事実12: あの芸者達は遊行する

仮説: この当寺は遊行しない
1. 事実5から、仮説が否定される

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