この舟運は華々しいということはない
fact1: もし仮にその成金が真夏日だとしたらこの舟運は華々しい fact2: もし仮に「「上場しないか使い易くないかもしくは両方である」ということは偽な」ものがあるならこの画素は哀れっぽい fact3: 「「上場するということはないかもしくは使い易くないかもしくは両方ともだ」ということは成り立たない」物はある fact4: もしこの画素が哀れっぽいならばあの成金は真夏日だ fact5: もしも「「華々しくないかまたは哀れっぽくないかどちらもだ」ということは成り立たない」ものはあるとしたら「この画素は真夏日である」ということは間違っていない
fact3 & fact2 -> int1: この画素は哀れっぽい; int1 & fact4 -> int2: その成金は真夏日である; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にその成金が真夏日だとしたらこの舟運は華々しい fact2: もし仮に「「上場しないか使い易くないかもしくは両方である」ということは偽な」ものがあるならこの画素は哀れっぽい fact3: 「「上場するということはないかもしくは使い易くないかもしくは両方ともだ」ということは成り立たない」物はある fact4: もしこの画素が哀れっぽいならばあの成金は真夏日だ fact5: もしも「「華々しくないかまたは哀れっぽくないかどちらもだ」ということは成り立たない」ものはあるとしたら「この画素は真夏日である」ということは間違っていない ; $hypothesis$ = この舟運は華々しいということはない ; $proof$ = 
fact3 & fact2 -> int1: この画素は哀れっぽい; int1 & fact4 -> int2: その成金は真夏日である; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にその成金が真夏日だとしたらこの舟運は華々しい
事実2: もし仮に「「上場しないか使い易くないかもしくは両方である」ということは偽な」ものがあるならこの画素は哀れっぽい
事実3: 「「上場するということはないかもしくは使い易くないかもしくは両方ともだ」ということは成り立たない」物はある
事実4: もしこの画素が哀れっぽいならばあの成金は真夏日だ
事実5: もしも「「華々しくないかまたは哀れっぽくないかどちらもだ」ということは成り立たない」ものはあるとしたら「この画素は真夏日である」ということは間違っていない

仮説: この舟運は華々しいということはない
1. 事実3と事実2から、推論1: "この画素は哀れっぽい"が導かれる
2. 推論1と事実4から、推論2: "その成金は真夏日である"が導かれる
3. 推論2と事実1から、仮説が否定される

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