「仮に「人懐っこくないしその上せがむということはない」ということは誤っているとすれば噛み付く」物はある
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から、仮説が導かれる

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