「「食べ易くて疎んぜない」ということは間違いである」物はある
fact1: もしなんらかのものが飛ばし過ぎないとすると沖縄経済でまたそれはケースブックだ fact2: 「食べ易いしその上疎んずらない」物はある fact3: 「この高率負担部分は食べ易いけれど疎んぜない」ということは成り立たない fact4: 「「食べ易いし疎んずる」ということは間違いである」ものはある fact5: もしもなにがしかのものはケースブックであるとすると「それは起因病原体でそれに掃除し易くない」ということは成り立たない fact6: もしもあの大根下ろしが炒め合わせるとしたらそれは飛ばし過ぎない fact7: 「この高率負担部分は食べ易くてかつ疎んずる」ということは間違いだ
fact3 -> hypothesis;
fact3 -> hypothesis;
「「起因病原体だけど掃除し易くない」ということは嘘な」物はある
fact10 -> int1: もしもあの大根下ろしはケースブックであるならば「それは起因病原体だが掃除し易いということはない」ということは成り立たない; fact9 -> int2: もし仮に「あの大根下ろしは飛ばし過ぎない」ということは成り立てばそれは沖縄経済であるしケースブックである;
$facts$ = fact1: もしなんらかのものが飛ばし過ぎないとすると沖縄経済でまたそれはケースブックだ fact2: 「食べ易いしその上疎んずらない」物はある fact3: 「この高率負担部分は食べ易いけれど疎んぜない」ということは成り立たない fact4: 「「食べ易いし疎んずる」ということは間違いである」ものはある fact5: もしもなにがしかのものはケースブックであるとすると「それは起因病原体でそれに掃除し易くない」ということは成り立たない fact6: もしもあの大根下ろしが炒め合わせるとしたらそれは飛ばし過ぎない fact7: 「この高率負担部分は食べ易くてかつ疎んずる」ということは間違いだ ; $hypothesis$ = 「「食べ易くて疎んぜない」ということは間違いである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしなんらかのものが飛ばし過ぎないとすると沖縄経済でまたそれはケースブックだ
事実2: 「食べ易いしその上疎んずらない」物はある
事実3: 「この高率負担部分は食べ易いけれど疎んぜない」ということは成り立たない
事実4: 「「食べ易いし疎んずる」ということは間違いである」ものはある
事実5: もしもなにがしかのものはケースブックであるとすると「それは起因病原体でそれに掃除し易くない」ということは成り立たない
事実6: もしもあの大根下ろしが炒め合わせるとしたらそれは飛ばし過ぎない
事実7: 「この高率負担部分は食べ易くてかつ疎んずる」ということは間違いだ

仮説: 「「食べ易くて疎んぜない」ということは間違いである」物はある
1. 事実3から、仮説が導かれる

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