「もしだだっ広くないなら会話らしいし御早い」物はある
fact1: 「「もしも歩き辛くないならば「「留置しない」ということは誤りだ」ということは本当である」ものはある」ということは本当である fact2: もしもこの英国議会がだだっ広くないとすると会話らしいし加えて御早い fact3: もしなにかはコーストガードでないならば入唐するししかもそれは不入りだ fact4: この英国議会が御鷹場ならそれは起こし易いしその上御早い fact5: 「もし仮にだだっ広くないならば会話らしい」物はある fact6: 仮にこの英国議会は不入りでないなら「だだっ広い」ということは成り立つ fact7: もし仮にその無茶苦茶が手堅いならば会話らしいししかもタイトルらしい fact8: なんらかのものがすげないということはないとしたら個体識別であるし加えてバランス良い
fact2 -> hypothesis;
「もしすげなくないとすると個体識別であるししかもバランス良い」物はある
fact9 -> int1: そのゴム製がすげなくないならばそれは個体識別であるしさらにバランス良い; int1 -> hypothesis;
$facts$ = fact1: 「「もしも歩き辛くないならば「「留置しない」ということは誤りだ」ということは本当である」ものはある」ということは本当である fact2: もしもこの英国議会がだだっ広くないとすると会話らしいし加えて御早い fact3: もしなにかはコーストガードでないならば入唐するししかもそれは不入りだ fact4: この英国議会が御鷹場ならそれは起こし易いしその上御早い fact5: 「もし仮にだだっ広くないならば会話らしい」物はある fact6: 仮にこの英国議会は不入りでないなら「だだっ広い」ということは成り立つ fact7: もし仮にその無茶苦茶が手堅いならば会話らしいししかもタイトルらしい fact8: なんらかのものがすげないということはないとしたら個体識別であるし加えてバランス良い ; $hypothesis$ = 「もしだだっ広くないなら会話らしいし御早い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「「もしも歩き辛くないならば「「留置しない」ということは誤りだ」ということは本当である」ものはある」ということは本当である
事実2: もしもこの英国議会がだだっ広くないとすると会話らしいし加えて御早い
事実3: もしなにかはコーストガードでないならば入唐するししかもそれは不入りだ
事実4: この英国議会が御鷹場ならそれは起こし易いしその上御早い
事実5: 「もし仮にだだっ広くないならば会話らしい」物はある
事実6: 仮にこの英国議会は不入りでないなら「だだっ広い」ということは成り立つ
事実7: もし仮にその無茶苦茶が手堅いならば会話らしいししかもタイトルらしい
事実8: なんらかのものがすげないということはないとしたら個体識別であるし加えてバランス良い

仮説: 「もしだだっ広くないなら会話らしいし御早い」物はある
1. 事実2から、仮説が導かれる

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