その別系系譜は罫線ツールバーでない
fact1: もしもその千六甕棺墓が妊孕能保存でないならこの陸上兵力は社会的諸問題であるけどそれは妊孕能保存でない fact2: 「その千六甕棺墓は指孔でないけど粘り強い」ということは嘘である fact3: 「その千六甕棺墓は指孔だということはないがしかしそれは粘り強い」ということは間違いであるとするとそれは妊孕能保存でない fact4: もしもなにがしかのものは妊孕能保存でないけれど罫線ツールバーならばそれは社会的諸問題でない fact5: もしこの陸上兵力が社会的諸問題である一方で妊孕能保存でないならばその別系系譜は罫線ツールバーだ
fact3 & fact2 -> int1: その千六甕棺墓は妊孕能保存でない; int1 & fact1 -> int2: この陸上兵力は社会的諸問題であるが妊孕能保存でない; int2 & fact5 -> hypothesis;
その耳抜きは社会的諸問題でない
fact6 -> int3: もしもその耳抜きは妊孕能保存であるということはないが罫線ツールバーならそれは社会的諸問題だということはない;
$facts$ = fact1: もしもその千六甕棺墓が妊孕能保存でないならこの陸上兵力は社会的諸問題であるけどそれは妊孕能保存でない fact2: 「その千六甕棺墓は指孔でないけど粘り強い」ということは嘘である fact3: 「その千六甕棺墓は指孔だということはないがしかしそれは粘り強い」ということは間違いであるとするとそれは妊孕能保存でない fact4: もしもなにがしかのものは妊孕能保存でないけれど罫線ツールバーならばそれは社会的諸問題でない fact5: もしこの陸上兵力が社会的諸問題である一方で妊孕能保存でないならばその別系系譜は罫線ツールバーだ ; $hypothesis$ = その別系系譜は罫線ツールバーでない ; $proof$ = 
fact3 & fact2 -> int1: その千六甕棺墓は妊孕能保存でない; int1 & fact1 -> int2: この陸上兵力は社会的諸問題であるが妊孕能保存でない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもその千六甕棺墓が妊孕能保存でないならこの陸上兵力は社会的諸問題であるけどそれは妊孕能保存でない
事実2: 「その千六甕棺墓は指孔でないけど粘り強い」ということは嘘である
事実3: 「その千六甕棺墓は指孔だということはないがしかしそれは粘り強い」ということは間違いであるとするとそれは妊孕能保存でない
事実4: もしもなにがしかのものは妊孕能保存でないけれど罫線ツールバーならばそれは社会的諸問題でない
事実5: もしこの陸上兵力が社会的諸問題である一方で妊孕能保存でないならばその別系系譜は罫線ツールバーだ

仮説: その別系系譜は罫線ツールバーでない
1. 事実3と事実2から、推論1: "その千六甕棺墓は妊孕能保存でない"が導かれる
2. 推論1と事実1から、推論2: "この陸上兵力は社会的諸問題であるが妊孕能保存でない"が導かれる
3. 推論2と事実5から、仮説が否定される

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