そのニューヨーク公共図書館は遅れ易い
fact1: 「そのニューヨーク公共図書館は外装である」ということは成り立つ fact2: もし仮に「あの文房具店は紹介者でない」ということは真実ならばあの小天守は外装でなくてそれは慌て出すということはない fact3: 仮にこの問い方が慌て出さないとするとそのニューヨーク公共図書館は遅れ易くない fact4: そのニューヨーク公共図書館は遅れ易い fact5: そのニューヨーク公共図書館が愛らしくないならそれは苦くて紹介者である fact6: このスナップは遅れ易い fact7: もしその小天守が外装でないしそれが慌て出さないとするとこの問い方は慌て出さない fact8: もし仮に外装は紹介者であるならば慌て出さない
fact4 -> hypothesis;
fact4 -> hypothesis;
その直角三角形は遅れ易い
fact9 -> int1: もしそのニューヨーク公共図書館が外装だししかも紹介者であるとするとそれは慌て出さない;
$facts$ = fact1: 「そのニューヨーク公共図書館は外装である」ということは成り立つ fact2: もし仮に「あの文房具店は紹介者でない」ということは真実ならばあの小天守は外装でなくてそれは慌て出すということはない fact3: 仮にこの問い方が慌て出さないとするとそのニューヨーク公共図書館は遅れ易くない fact4: そのニューヨーク公共図書館は遅れ易い fact5: そのニューヨーク公共図書館が愛らしくないならそれは苦くて紹介者である fact6: このスナップは遅れ易い fact7: もしその小天守が外装でないしそれが慌て出さないとするとこの問い方は慌て出さない fact8: もし仮に外装は紹介者であるならば慌て出さない ; $hypothesis$ = そのニューヨーク公共図書館は遅れ易い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「そのニューヨーク公共図書館は外装である」ということは成り立つ
事実2: もし仮に「あの文房具店は紹介者でない」ということは真実ならばあの小天守は外装でなくてそれは慌て出すということはない
事実3: 仮にこの問い方が慌て出さないとするとそのニューヨーク公共図書館は遅れ易くない
事実4: そのニューヨーク公共図書館は遅れ易い
事実5: そのニューヨーク公共図書館が愛らしくないならそれは苦くて紹介者である
事実6: このスナップは遅れ易い
事実7: もしその小天守が外装でないしそれが慌て出さないとするとこの問い方は慌て出さない
事実8: もし仮に外装は紹介者であるならば慌て出さない

仮説: そのニューヨーク公共図書館は遅れ易い
1. 事実4から、仮説が導かれる

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