この小萩は橋供養だ
fact1: この小萩は特定投資株式だ fact2: この小萩は橋供養であるかもしくは受け難いかもしくはどちらもだ fact3: もし仮にあの牢が特定投資株式であるか受け難いかまたはどちらもであるとすればこの小萩は橋供養でない fact4: この小萩は手招かない fact5: あの祇園祭りは特定投資株式でない fact6: この小萩は橋供養であるかそれは特定投資株式であるか両方ともだ fact7: あの牢は橋供養でない fact8: この小萩は選り好みしない fact9: 仮にこの小萩が受け難いか橋供養であるかまたは両方ともならあの牢は特定投資株式だということはない fact10: あの牢は受け難い
fact10 -> int1: あの牢は特定投資株式であるかもしくは受け難い; int1 & fact3 -> hypothesis;
fact10 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: この小萩は特定投資株式だ fact2: この小萩は橋供養であるかもしくは受け難いかもしくはどちらもだ fact3: もし仮にあの牢が特定投資株式であるか受け難いかまたはどちらもであるとすればこの小萩は橋供養でない fact4: この小萩は手招かない fact5: あの祇園祭りは特定投資株式でない fact6: この小萩は橋供養であるかそれは特定投資株式であるか両方ともだ fact7: あの牢は橋供養でない fact8: この小萩は選り好みしない fact9: 仮にこの小萩が受け難いか橋供養であるかまたは両方ともならあの牢は特定投資株式だということはない fact10: あの牢は受け難い ; $hypothesis$ = この小萩は橋供養だ ; $proof$ = 
fact10 -> int1: あの牢は特定投資株式であるかもしくは受け難い; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この小萩は特定投資株式だ
事実2: この小萩は橋供養であるかもしくは受け難いかもしくはどちらもだ
事実3: もし仮にあの牢が特定投資株式であるか受け難いかまたはどちらもであるとすればこの小萩は橋供養でない
事実4: この小萩は手招かない
事実5: あの祇園祭りは特定投資株式でない
事実6: この小萩は橋供養であるかそれは特定投資株式であるか両方ともだ
事実7: あの牢は橋供養でない
事実8: この小萩は選り好みしない
事実9: 仮にこの小萩が受け難いか橋供養であるかまたは両方ともならあの牢は特定投資株式だということはない
事実10: あの牢は受け難い

仮説: この小萩は橋供養だ
1. 事実10から、推論1: "あの牢は特定投資株式であるかもしくは受け難い"が導かれる
2. 推論1と事実3から、仮説が否定される

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