「その海援隊は懐かしくない」ということは事実である
fact1: その海援隊が見返るとすれば転げ回る fact2: あのピット・ボスは金融市場でそれに見返る fact3: 仮にある物が打ち易いなら懐かしい fact4: もしも何らかのものは転げ回るとしたら「打ち易い」ということは真実である fact5: 「そのシャープネスは金融市場である」ということは確かだ fact6: あのピット・ボスは慌ただしい fact7: あのピット・ボスは見返るし転げ回る fact8: そのスラヴ語は懐かしい fact9: その海援隊は捩じ切る fact10: もしもあのピット・ボスが金融市場であるとするとその海援隊は転げ回る fact11: あのピット・ボスは懐かしい fact12: もしあのピット・ボスは見返るなら「その海援隊は金融市場である」ということは事実である
fact2 -> int1: あのピット・ボスは金融市場だ; int1 & fact10 -> int2: その海援隊は転げ回る; fact4 -> int3: もしもその海援隊は転げ回るなら「打ち易い」ということは本当だ; int2 & int3 -> int4: その海援隊は打ち易い; fact3 -> int5: もしもその海援隊が打ち易いならば懐かしい; int4 & int5 -> hypothesis;
$facts$ = fact1: その海援隊が見返るとすれば転げ回る fact2: あのピット・ボスは金融市場でそれに見返る fact3: 仮にある物が打ち易いなら懐かしい fact4: もしも何らかのものは転げ回るとしたら「打ち易い」ということは真実である fact5: 「そのシャープネスは金融市場である」ということは確かだ fact6: あのピット・ボスは慌ただしい fact7: あのピット・ボスは見返るし転げ回る fact8: そのスラヴ語は懐かしい fact9: その海援隊は捩じ切る fact10: もしもあのピット・ボスが金融市場であるとするとその海援隊は転げ回る fact11: あのピット・ボスは懐かしい fact12: もしあのピット・ボスは見返るなら「その海援隊は金融市場である」ということは事実である ; $hypothesis$ = 「その海援隊は懐かしくない」ということは事実である ; $proof$ = 
fact2 -> int1: あのピット・ボスは金融市場だ; int1 & fact10 -> int2: その海援隊は転げ回る; fact4 -> int3: もしもその海援隊は転げ回るなら「打ち易い」ということは本当だ; int2 & int3 -> int4: その海援隊は打ち易い; fact3 -> int5: もしもその海援隊が打ち易いならば懐かしい; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その海援隊が見返るとすれば転げ回る
事実2: あのピット・ボスは金融市場でそれに見返る
事実3: 仮にある物が打ち易いなら懐かしい
事実4: もしも何らかのものは転げ回るとしたら「打ち易い」ということは真実である
事実5: 「そのシャープネスは金融市場である」ということは確かだ
事実6: あのピット・ボスは慌ただしい
事実7: あのピット・ボスは見返るし転げ回る
事実8: そのスラヴ語は懐かしい
事実9: その海援隊は捩じ切る
事実10: もしもあのピット・ボスが金融市場であるとするとその海援隊は転げ回る
事実11: あのピット・ボスは懐かしい
事実12: もしあのピット・ボスは見返るなら「その海援隊は金融市場である」ということは事実である

仮説: 「その海援隊は懐かしくない」ということは事実である
1. 事実2から、推論1: "あのピット・ボスは金融市場だ"が導かれる
2. 推論1と事実10から、推論2: "その海援隊は転げ回る"が導かれる
3. 事実4から、推論3: "もしもその海援隊は転げ回るなら「打ち易い」ということは本当だ"が導かれる
4. 推論2と推論3から、推論4: "その海援隊は打ち易い"が導かれる
5. 事実3から、推論5: "もしもその海援隊が打ち易いならば懐かしい"が導かれる
6. 推論4と推論5から、仮説が否定される

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