もしこの第七夜はややこしい一方で標的細胞でないとしたら「それは目視である」ということは成り立つ
fact1: もしややこしいものは標的細胞でないならばそれは目視である fact2: もしもそのトリマーが容器だけれどそれは目視でないとすると励起する fact3: もしもこの第七夜は御洒落するけれどチューナーでないならばそれは御付き合い下さる fact4: もし仮にこの海民は散布するけれど標的細胞でないならばそれは冷め難い fact5: 懐こいもので汚れ難くない物は着底する fact6: もしややこしい物が標的細胞ならばそれは目視である fact7: もし仮にこの第七夜がややこしいしさらに標的細胞ならば目視だ
fact1 -> hypothesis;
$facts$ = fact1: もしややこしいものは標的細胞でないならばそれは目視である fact2: もしもそのトリマーが容器だけれどそれは目視でないとすると励起する fact3: もしもこの第七夜は御洒落するけれどチューナーでないならばそれは御付き合い下さる fact4: もし仮にこの海民は散布するけれど標的細胞でないならばそれは冷め難い fact5: 懐こいもので汚れ難くない物は着底する fact6: もしややこしい物が標的細胞ならばそれは目視である fact7: もし仮にこの第七夜がややこしいしさらに標的細胞ならば目視だ ; $hypothesis$ = もしこの第七夜はややこしい一方で標的細胞でないとしたら「それは目視である」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしややこしいものは標的細胞でないならばそれは目視である
事実2: もしもそのトリマーが容器だけれどそれは目視でないとすると励起する
事実3: もしもこの第七夜は御洒落するけれどチューナーでないならばそれは御付き合い下さる
事実4: もし仮にこの海民は散布するけれど標的細胞でないならばそれは冷め難い
事実5: 懐こいもので汚れ難くない物は着底する
事実6: もしややこしい物が標的細胞ならばそれは目視である
事実7: もし仮にこの第七夜がややこしいしさらに標的細胞ならば目視だ

仮説: もしこの第七夜はややこしい一方で標的細胞でないとしたら「それは目視である」ということは成り立つ
1. 事実1から、仮説が導かれる

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