この天盛りは馬糞でない
fact1: 「あの花舌は恥ずかしくないけれど着易い」ということは成り立たない fact2: もし仮に「あの花舌は恥ずかしいということはないけれど着易い」ということは成り立つということはないならば「この天盛りは馬糞であるということはない」ということは成り立たない
$facts$ = fact1: 「あの花舌は恥ずかしくないけれど着易い」ということは成り立たない fact2: もし仮に「あの花舌は恥ずかしいということはないけれど着易い」ということは成り立つということはないならば「この天盛りは馬糞であるということはない」ということは成り立たない ; $hypothesis$ = この天盛りは馬糞でない ; $proof$ = 
事実1: 「あの花舌は恥ずかしくないけれど着易い」ということは成り立たない
事実2: もし仮に「あの花舌は恥ずかしいということはないけれど着易い」ということは成り立つということはないならば「この天盛りは馬糞であるということはない」ということは成り立たない

仮説: この天盛りは馬糞でない