この山垣遺跡は背かないし加えてそれは真新しくない
fact1: 「この山垣遺跡は名器でないし明け暮れしない」ということは成り立たない fact2: 「「インスタントメッセンジャーでないし告知書でない」ということは偽である」ものはある fact3: このオーガニゼーションＳが名器であるならこの山垣遺跡はドクター・スポックだ fact4: もし仮にこの山垣遺跡はドクター・スポックであるならば「背かないし真新しくない」ということは成り立たない fact5: もしもこの山垣遺跡が名器ならこのオーガニゼーションＳは背く fact6: 「「ドクター・スポックだ一方で真新しくない」ということは嘘な」ものはある fact7: もし仮にこの山垣遺跡が項垂れれば名器でなくて更にそれはドクター・スポックだ fact8: 何かは名器だということはないとすればそれが背かないしそれは真新しくない fact9: 仮にこのオーガニゼーションＳが背くとするとこの山垣遺跡は名器である fact10: 「「インスタントメッセンジャーでないし告知書でない」ということは成り立たない」ものがあるとしたらこのオーガニゼーションＳは名器だ fact11: もしもこの山垣遺跡はドクター・スポックなら「それは背くということはない一方で真新しい」ということは真実でない fact12: 「「名器でないし加えて背く」ということは真実でない」ものはある
fact2 & fact10 -> int1: このオーガニゼーションＳは名器である; int1 & fact3 -> int2: この山垣遺跡はドクター・スポックである; int2 & fact4 -> hypothesis;
fact2 & fact10 -> int1: {A}{a}; int1 & fact3 -> int2: {B}{b}; int2 & fact4 -> hypothesis;
この山垣遺跡は背かないし真新しくない
fact13 -> int3: 仮にこの山垣遺跡が名器でないとすると背かないしさらにそれは真新しくない;
$facts$ = fact1: 「この山垣遺跡は名器でないし明け暮れしない」ということは成り立たない fact2: 「「インスタントメッセンジャーでないし告知書でない」ということは偽である」ものはある fact3: このオーガニゼーションＳが名器であるならこの山垣遺跡はドクター・スポックだ fact4: もし仮にこの山垣遺跡はドクター・スポックであるならば「背かないし真新しくない」ということは成り立たない fact5: もしもこの山垣遺跡が名器ならこのオーガニゼーションＳは背く fact6: 「「ドクター・スポックだ一方で真新しくない」ということは嘘な」ものはある fact7: もし仮にこの山垣遺跡が項垂れれば名器でなくて更にそれはドクター・スポックだ fact8: 何かは名器だということはないとすればそれが背かないしそれは真新しくない fact9: 仮にこのオーガニゼーションＳが背くとするとこの山垣遺跡は名器である fact10: 「「インスタントメッセンジャーでないし告知書でない」ということは成り立たない」ものがあるとしたらこのオーガニゼーションＳは名器だ fact11: もしもこの山垣遺跡はドクター・スポックなら「それは背くということはない一方で真新しい」ということは真実でない fact12: 「「名器でないし加えて背く」ということは真実でない」ものはある ; $hypothesis$ = この山垣遺跡は背かないし加えてそれは真新しくない ; $proof$ = 
fact2 & fact10 -> int1: このオーガニゼーションＳは名器である; int1 & fact3 -> int2: この山垣遺跡はドクター・スポックである; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「この山垣遺跡は名器でないし明け暮れしない」ということは成り立たない
事実2: 「「インスタントメッセンジャーでないし告知書でない」ということは偽である」ものはある
事実3: このオーガニゼーションＳが名器であるならこの山垣遺跡はドクター・スポックだ
事実4: もし仮にこの山垣遺跡はドクター・スポックであるならば「背かないし真新しくない」ということは成り立たない
事実5: もしもこの山垣遺跡が名器ならこのオーガニゼーションＳは背く
事実6: 「「ドクター・スポックだ一方で真新しくない」ということは嘘な」ものはある
事実7: もし仮にこの山垣遺跡が項垂れれば名器でなくて更にそれはドクター・スポックだ
事実8: 何かは名器だということはないとすればそれが背かないしそれは真新しくない
事実9: 仮にこのオーガニゼーションＳが背くとするとこの山垣遺跡は名器である
事実10: 「「インスタントメッセンジャーでないし告知書でない」ということは成り立たない」ものがあるとしたらこのオーガニゼーションＳは名器だ
事実11: もしもこの山垣遺跡はドクター・スポックなら「それは背くということはない一方で真新しい」ということは真実でない
事実12: 「「名器でないし加えて背く」ということは真実でない」ものはある

仮説: この山垣遺跡は背かないし加えてそれは真新しくない
1. 事実2と事実10から、推論1: "このオーガニゼーションＳは名器である"が導かれる
2. 推論1と事実3から、推論2: "この山垣遺跡はドクター・スポックである"が導かれる
3. 推論2と事実4から、仮説が否定される

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