「仮に参詣するということはないならば銘ずないしおまけに殺菌力でない」ものはある
fact1: 「もし仮に参詣しないとすると殺菌力でない」ものはある fact2: ある物が参詣しないとしたらそれは銘ずないし殺菌力でない fact3: なんらかのものが参詣すれば銘ずということはなくて更に殺菌力でない fact4: もしとあるものが参詣しないとすると殺菌力だということはない fact5: 仮にあの算用数字が導通しないとしたらそれは銘ずないしまた触知出来るということはない fact6: 仮にあるものが参詣しないとしたらそれは銘ずしそれは殺菌力でない fact7: 「もし仮に参詣しないとしたら銘ずしおまけに殺菌力であるということはない」物はある fact8: この生物学者が参詣しないとしたら殺菌力でない fact9: 「もしも参詣するなら銘ずないし加えて殺菌力でない」物はある fact10: もし仮になにがしかの物は少量でないとすれば「要望しなくてかつそれはネグリジェでない」ということは確かだ fact11: もし仮にこの生物学者が参詣しないとすれば銘ずし殺菌力でない fact12: この生物学者が参詣するとするとそれは銘ずということはなくて殺菌力でない
fact2 -> int1: もし仮に「この生物学者は参詣しない」ということは本当であるならそれは銘ずないしその上殺菌力だということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に参詣しないとすると殺菌力でない」ものはある fact2: ある物が参詣しないとしたらそれは銘ずないし殺菌力でない fact3: なんらかのものが参詣すれば銘ずということはなくて更に殺菌力でない fact4: もしとあるものが参詣しないとすると殺菌力だということはない fact5: 仮にあの算用数字が導通しないとしたらそれは銘ずないしまた触知出来るということはない fact6: 仮にあるものが参詣しないとしたらそれは銘ずしそれは殺菌力でない fact7: 「もし仮に参詣しないとしたら銘ずしおまけに殺菌力であるということはない」物はある fact8: この生物学者が参詣しないとしたら殺菌力でない fact9: 「もしも参詣するなら銘ずないし加えて殺菌力でない」物はある fact10: もし仮になにがしかの物は少量でないとすれば「要望しなくてかつそれはネグリジェでない」ということは確かだ fact11: もし仮にこの生物学者が参詣しないとすれば銘ずし殺菌力でない fact12: この生物学者が参詣するとするとそれは銘ずということはなくて殺菌力でない ; $hypothesis$ = 「仮に参詣するということはないならば銘ずないしおまけに殺菌力でない」ものはある ; $proof$ = 
fact2 -> int1: もし仮に「この生物学者は参詣しない」ということは本当であるならそれは銘ずないしその上殺菌力だということはない; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に参詣しないとすると殺菌力でない」ものはある
事実2: ある物が参詣しないとしたらそれは銘ずないし殺菌力でない
事実3: なんらかのものが参詣すれば銘ずということはなくて更に殺菌力でない
事実4: もしとあるものが参詣しないとすると殺菌力だということはない
事実5: 仮にあの算用数字が導通しないとしたらそれは銘ずないしまた触知出来るということはない
事実6: 仮にあるものが参詣しないとしたらそれは銘ずしそれは殺菌力でない
事実7: 「もし仮に参詣しないとしたら銘ずしおまけに殺菌力であるということはない」物はある
事実8: この生物学者が参詣しないとしたら殺菌力でない
事実9: 「もしも参詣するなら銘ずないし加えて殺菌力でない」物はある
事実10: もし仮になにがしかの物は少量でないとすれば「要望しなくてかつそれはネグリジェでない」ということは確かだ
事実11: もし仮にこの生物学者が参詣しないとすれば銘ずし殺菌力でない
事実12: この生物学者が参詣するとするとそれは銘ずということはなくて殺菌力でない

仮説: 「仮に参詣するということはないならば銘ずないしおまけに殺菌力でない」ものはある
1. 事実2から、推論1: "もし仮に「この生物学者は参詣しない」ということは本当であるならそれは銘ずないしその上殺菌力だということはない"が導かれる
2. 推論1から、仮説が導かれる

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