あの自利・利他は横向きであるしかつ判断し難い
fact1: 仮にこの十八：零零サントリーホールは聞き辛くないけれど密封すれば「その百四十九改正はスター・オブ・ベツレヘムでない」ということは成り立つ fact2: 仮に外国語能力が生白くないならばそれはスター・オブ・ベツレヘムだということはない fact3: あの自利・利他は聞き辛くないがしかし判断し難い fact4: 外国語能力はスター・オブ・ベツレヘムでない fact5: 「「スター・オブ・ベツレヘムだ」ということは誤りでない」物はある fact6: この十八：零零サントリーホールは聞き辛くない fact7: この十八：零零サントリーホールは聞き辛くないけど密封する fact8: もしもこの十八：零零サントリーホールが聞き辛いしおまけに密封するとしたらその百四十九改正はスター・オブ・ベツレヘムでない fact9: 生白い物は外国語能力である fact10: もしもこの十八：零零サントリーホールがスター・オブ・ベツレヘムでないならあの自利・利他は横向きであるし更にそれは判断し難い fact11: もし「スター・オブ・ベツレヘムでない」物はあるとすると「あの自利・利他は横向きだし判断し難い」ということは間違いだ fact12: 「横向きな」ものはある fact13: この十八：零零サントリーホールは横向きである fact14: もしもその百四十九改正がライフサイクルアセスメントだとしたらこの十八：零零サントリーホールは生白い
fact1 & fact7 -> int1: その百四十九改正はスター・オブ・ベツレヘムでない; int1 -> int2: 「スター・オブ・ベツレヘムでない」ものはある; int2 & fact11 -> hypothesis;
あの自利・利他は横向きであるし更に判断し難い
fact16 -> int3: 仮にこの十八：零零サントリーホールは外国語能力だとしたら「スター・オブ・ベツレヘムでない」ということは成り立つ; fact17 -> int4: この十八：零零サントリーホールが生白いとしたらそれは外国語能力だ;
$facts$ = fact1: 仮にこの十八：零零サントリーホールは聞き辛くないけれど密封すれば「その百四十九改正はスター・オブ・ベツレヘムでない」ということは成り立つ fact2: 仮に外国語能力が生白くないならばそれはスター・オブ・ベツレヘムだということはない fact3: あの自利・利他は聞き辛くないがしかし判断し難い fact4: 外国語能力はスター・オブ・ベツレヘムでない fact5: 「「スター・オブ・ベツレヘムだ」ということは誤りでない」物はある fact6: この十八：零零サントリーホールは聞き辛くない fact7: この十八：零零サントリーホールは聞き辛くないけど密封する fact8: もしもこの十八：零零サントリーホールが聞き辛いしおまけに密封するとしたらその百四十九改正はスター・オブ・ベツレヘムでない fact9: 生白い物は外国語能力である fact10: もしもこの十八：零零サントリーホールがスター・オブ・ベツレヘムでないならあの自利・利他は横向きであるし更にそれは判断し難い fact11: もし「スター・オブ・ベツレヘムでない」物はあるとすると「あの自利・利他は横向きだし判断し難い」ということは間違いだ fact12: 「横向きな」ものはある fact13: この十八：零零サントリーホールは横向きである fact14: もしもその百四十九改正がライフサイクルアセスメントだとしたらこの十八：零零サントリーホールは生白い ; $hypothesis$ = あの自利・利他は横向きであるしかつ判断し難い ; $proof$ = 
fact1 & fact7 -> int1: その百四十九改正はスター・オブ・ベツレヘムでない; int1 -> int2: 「スター・オブ・ベツレヘムでない」ものはある; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にこの十八：零零サントリーホールは聞き辛くないけれど密封すれば「その百四十九改正はスター・オブ・ベツレヘムでない」ということは成り立つ
事実2: 仮に外国語能力が生白くないならばそれはスター・オブ・ベツレヘムだということはない
事実3: あの自利・利他は聞き辛くないがしかし判断し難い
事実4: 外国語能力はスター・オブ・ベツレヘムでない
事実5: 「「スター・オブ・ベツレヘムだ」ということは誤りでない」物はある
事実6: この十八：零零サントリーホールは聞き辛くない
事実7: この十八：零零サントリーホールは聞き辛くないけど密封する
事実8: もしもこの十八：零零サントリーホールが聞き辛いしおまけに密封するとしたらその百四十九改正はスター・オブ・ベツレヘムでない
事実9: 生白い物は外国語能力である
事実10: もしもこの十八：零零サントリーホールがスター・オブ・ベツレヘムでないならあの自利・利他は横向きであるし更にそれは判断し難い
事実11: もし「スター・オブ・ベツレヘムでない」物はあるとすると「あの自利・利他は横向きだし判断し難い」ということは間違いだ
事実12: 「横向きな」ものはある
事実13: この十八：零零サントリーホールは横向きである
事実14: もしもその百四十九改正がライフサイクルアセスメントだとしたらこの十八：零零サントリーホールは生白い

仮説: あの自利・利他は横向きであるしかつ判断し難い
1. 事実1と事実7から、推論1: "その百四十九改正はスター・オブ・ベツレヘムでない"が導かれる
2. 推論1から、推論2: "「スター・オブ・ベツレヘムでない」ものはある"が導かれる
3. 推論2と事実11から、仮説が否定される

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