「そのカフは上洛でない」ということは間違いでない
fact1: もしそのカフが惜しみ無いとしたらそれは上洛である fact2: そのカフは捨て難いかまたはそれはとろいかまたはどちらもだ fact3: 仮にある物がしかつめらしくないならそれは惜しみ無くないしさらに上洛でない fact4: もし仮に「そのカフはとろくない」ということは成り立つとするとそれは惜しみ無い fact5: そのヘパリン加生理食塩水は上洛である fact6: 何らかのものが捨て難いかそれはとろくないかどちらもだとするとそれは惜しみ無い fact7: そのカフは捨て難いかまたはとろくないかもしくは両方ともだ fact8: 「とろくないものは惜しみ無い」ということは成り立つ
fact6 -> int1: もしそのカフは捨て難いかとろいということはないかまたは両方だとしたら惜しみ無い; int1 & fact7 -> int2: そのカフは惜しみ無い; int2 & fact1 -> hypothesis;
fact6 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
「そのカフは上洛でない」ということは真実である
fact9 -> int3: もし仮にそのカフがしかつめらしいということはないならば惜しみ無くないし更に上洛だということはない;
$facts$ = fact1: もしそのカフが惜しみ無いとしたらそれは上洛である fact2: そのカフは捨て難いかまたはそれはとろいかまたはどちらもだ fact3: 仮にある物がしかつめらしくないならそれは惜しみ無くないしさらに上洛でない fact4: もし仮に「そのカフはとろくない」ということは成り立つとするとそれは惜しみ無い fact5: そのヘパリン加生理食塩水は上洛である fact6: 何らかのものが捨て難いかそれはとろくないかどちらもだとするとそれは惜しみ無い fact7: そのカフは捨て難いかまたはとろくないかもしくは両方ともだ fact8: 「とろくないものは惜しみ無い」ということは成り立つ ; $hypothesis$ = 「そのカフは上洛でない」ということは間違いでない ; $proof$ = 
fact6 -> int1: もしそのカフは捨て難いかとろいということはないかまたは両方だとしたら惜しみ無い; int1 & fact7 -> int2: そのカフは惜しみ無い; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしそのカフが惜しみ無いとしたらそれは上洛である
事実2: そのカフは捨て難いかまたはそれはとろいかまたはどちらもだ
事実3: 仮にある物がしかつめらしくないならそれは惜しみ無くないしさらに上洛でない
事実4: もし仮に「そのカフはとろくない」ということは成り立つとするとそれは惜しみ無い
事実5: そのヘパリン加生理食塩水は上洛である
事実6: 何らかのものが捨て難いかそれはとろくないかどちらもだとするとそれは惜しみ無い
事実7: そのカフは捨て難いかまたはとろくないかもしくは両方ともだ
事実8: 「とろくないものは惜しみ無い」ということは成り立つ

仮説: 「そのカフは上洛でない」ということは間違いでない
1. 事実6から、推論1: "もしそのカフは捨て難いかとろいということはないかまたは両方だとしたら惜しみ無い"が導かれる
2. 推論1と事実7から、推論2: "そのカフは惜しみ無い"が導かれる
3. 推論2と事実1から、仮説が否定される

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