この塒は手引き書でない
fact1: この塒は新古今和歌集でないしまたそれは手引き書でない fact2: 「この換金可能性は新古今和歌集でない」ということは本当だ fact3: もし仮に「この塒は米国流であるがアンカーテープでない」ということは間違っているとしたらその二十三日付け官符はアンカーテープでない fact4: もしもなにかはアンカーテープでないなら新古今和歌集でないし手引き書である fact5: その人事管理は近付き易くない fact6: もしなんらかの物が近付き易くないとしたら誤認しないしそれにそれは磯場でない
fact1 -> hypothesis;
fact1 -> hypothesis;
その二十三日付け官符は新古今和歌集でない
fact8 -> int1: もし仮に「その二十三日付け官符はアンカーテープであるということはない」ということは本当であるなら新古今和歌集でない一方で手引き書である; fact7 -> int2: もしその人事管理が近付き易くないとすると誤認しなくてその上磯場でない; int2 & fact10 -> int3: その人事管理は誤認しなくてその上磯場でない; int3 -> int4: その人事管理は誤認しない; int4 -> int5: 「誤認しない」物はある;
$facts$ = fact1: この塒は新古今和歌集でないしまたそれは手引き書でない fact2: 「この換金可能性は新古今和歌集でない」ということは本当だ fact3: もし仮に「この塒は米国流であるがアンカーテープでない」ということは間違っているとしたらその二十三日付け官符はアンカーテープでない fact4: もしもなにかはアンカーテープでないなら新古今和歌集でないし手引き書である fact5: その人事管理は近付き易くない fact6: もしなんらかの物が近付き易くないとしたら誤認しないしそれにそれは磯場でない ; $hypothesis$ = この塒は手引き書でない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この塒は新古今和歌集でないしまたそれは手引き書でない
事実2: 「この換金可能性は新古今和歌集でない」ということは本当だ
事実3: もし仮に「この塒は米国流であるがアンカーテープでない」ということは間違っているとしたらその二十三日付け官符はアンカーテープでない
事実4: もしもなにかはアンカーテープでないなら新古今和歌集でないし手引き書である
事実5: その人事管理は近付き易くない
事実6: もしなんらかの物が近付き易くないとしたら誤認しないしそれにそれは磯場でない

仮説: この塒は手引き書でない
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。