このわきゃは甘い
fact1: このわきゃは甘い fact2: あのナルミズ沢は甘い fact3: あるものは全身疲労である fact4: あの基準変数は甘い fact5: 仮にその二Ｎが差し障るかまたは甘いか両方ともであるならこのわきゃは甘くない fact6: 仮にこの九十人が差し障らないなら甘いしさらにそれは恐ろしい fact7: もしも「なんらかの物が水泡だしそれは取り引き価額である」ということは偽だとすれば水泡でない fact8: このわきゃは成分採血である fact9: 何らかのものが水泡でないとすればそれは差し障るしまた恐ろしい fact10: このわきゃは図れる fact11: このわきゃは運び易い fact12: その胃印環細胞癌は甘い
fact1 -> hypothesis;
fact1 -> hypothesis;
「このわきゃは甘くない」ということは成り立つ
fact14 -> int1: もしその二Ｎが水泡でないとすれば差し障るし加えて恐ろしい; fact13 -> int2: もし「その二Ｎは水泡でしかも取り引き価額だ」ということは成り立たないとしたらそれは水泡でない;
$facts$ = fact1: このわきゃは甘い fact2: あのナルミズ沢は甘い fact3: あるものは全身疲労である fact4: あの基準変数は甘い fact5: 仮にその二Ｎが差し障るかまたは甘いか両方ともであるならこのわきゃは甘くない fact6: 仮にこの九十人が差し障らないなら甘いしさらにそれは恐ろしい fact7: もしも「なんらかの物が水泡だしそれは取り引き価額である」ということは偽だとすれば水泡でない fact8: このわきゃは成分採血である fact9: 何らかのものが水泡でないとすればそれは差し障るしまた恐ろしい fact10: このわきゃは図れる fact11: このわきゃは運び易い fact12: その胃印環細胞癌は甘い ; $hypothesis$ = このわきゃは甘い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: このわきゃは甘い
事実2: あのナルミズ沢は甘い
事実3: あるものは全身疲労である
事実4: あの基準変数は甘い
事実5: 仮にその二Ｎが差し障るかまたは甘いか両方ともであるならこのわきゃは甘くない
事実6: 仮にこの九十人が差し障らないなら甘いしさらにそれは恐ろしい
事実7: もしも「なんらかの物が水泡だしそれは取り引き価額である」ということは偽だとすれば水泡でない
事実8: このわきゃは成分採血である
事実9: 何らかのものが水泡でないとすればそれは差し障るしまた恐ろしい
事実10: このわきゃは図れる
事実11: このわきゃは運び易い
事実12: その胃印環細胞癌は甘い

仮説: このわきゃは甘い
1. 事実1から、仮説が導かれる

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