この本巻はセニョリータでないしまあるくない
fact1: 仮に「あの尊敬は食べ付けない」ということは真実だとすると「この本巻はセニョリータでないしそれはまあるかない」ということは間違いである fact2: 焦れったいということはないものは避け難いけど瑞々しいということはない fact3: 「快い」物はある fact4: もしも「「食べ付ける」ということは成り立つ」物があるとすればあの本巻はセニョリータでなくてしかもまあるいということはない fact5: 「「食べ付ける」ということは真実な」物はある fact6: 「あの尊敬は焦れったくてはしたない」ということは確かでないとすると「焦れったくない」ということは成り立つ fact7: なにかは瑞々しくないならば「それは避け難いしおまけに食べ付ける」ということは成り立たない fact8: 仮に避け難いものが瑞々しいということはないとするとまあるい fact9: なんらかの物はセニョリータでないしさらに食べ付けないとすると御連れする fact10: もし「まあるい」物があるならこの本巻はセニョリータでないしかつ食べ付けない
fact5 & fact4 -> hypothesis;
「この本巻はセニョリータでないしさらにそれはまあるかない」ということは正しくない
fact11 -> int1: もし仮にあの葛は瑞々しくないとすると「それは避け難くて食べ付ける」ということは嘘だ;
$facts$ = fact1: 仮に「あの尊敬は食べ付けない」ということは真実だとすると「この本巻はセニョリータでないしそれはまあるかない」ということは間違いである fact2: 焦れったいということはないものは避け難いけど瑞々しいということはない fact3: 「快い」物はある fact4: もしも「「食べ付ける」ということは成り立つ」物があるとすればあの本巻はセニョリータでなくてしかもまあるいということはない fact5: 「「食べ付ける」ということは真実な」物はある fact6: 「あの尊敬は焦れったくてはしたない」ということは確かでないとすると「焦れったくない」ということは成り立つ fact7: なにかは瑞々しくないならば「それは避け難いしおまけに食べ付ける」ということは成り立たない fact8: 仮に避け難いものが瑞々しいということはないとするとまあるい fact9: なんらかの物はセニョリータでないしさらに食べ付けないとすると御連れする fact10: もし「まあるい」物があるならこの本巻はセニョリータでないしかつ食べ付けない ; $hypothesis$ = この本巻はセニョリータでないしまあるくない ; $proof$ = 
fact5 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「あの尊敬は食べ付けない」ということは真実だとすると「この本巻はセニョリータでないしそれはまあるかない」ということは間違いである
事実2: 焦れったいということはないものは避け難いけど瑞々しいということはない
事実3: 「快い」物はある
事実4: もしも「「食べ付ける」ということは成り立つ」物があるとすればあの本巻はセニョリータでなくてしかもまあるいということはない
事実5: 「「食べ付ける」ということは真実な」物はある
事実6: 「あの尊敬は焦れったくてはしたない」ということは確かでないとすると「焦れったくない」ということは成り立つ
事実7: なにかは瑞々しくないならば「それは避け難いしおまけに食べ付ける」ということは成り立たない
事実8: 仮に避け難いものが瑞々しいということはないとするとまあるい
事実9: なんらかの物はセニョリータでないしさらに食べ付けないとすると御連れする
事実10: もし「まあるい」物があるならこの本巻はセニョリータでないしかつ食べ付けない

仮説: この本巻はセニョリータでないしまあるくない
1. 事実5と事実4から、仮説が導かれる

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