「この壬生菜は出し入れしなくて多分化能でない」ということは誤っている
fact1: あの略式命令は伝え難い fact2: あの略式命令が最三小判平だということはないならこの壬生菜は多分化能でない fact3: もし仮に恋しいものが伝え難いならばそれは最三小判平でない fact4: あの略式命令は恋しい fact5: この壬生菜は多分化能でない fact6: あらゆる物は食事しない fact7: もしあの略式命令が最三小判平でないならばこの壬生菜は出し入れしないしそれは多分化能でない
fact4 & fact1 -> int1: あの略式命令は恋しいししかも伝え難い; fact3 -> int2: もし仮にあの略式命令は恋しくてそれに伝え難いとするとそれは最三小判平でない; int1 & int2 -> int3: 「あの略式命令は最三小判平でない」ということは成り立つ; int3 & fact7 -> hypothesis;
その無償が食事しないしさらにそれは多分化能でない
fact8 -> int4: その無償は食事するということはない;
$facts$ = fact1: あの略式命令は伝え難い fact2: あの略式命令が最三小判平だということはないならこの壬生菜は多分化能でない fact3: もし仮に恋しいものが伝え難いならばそれは最三小判平でない fact4: あの略式命令は恋しい fact5: この壬生菜は多分化能でない fact6: あらゆる物は食事しない fact7: もしあの略式命令が最三小判平でないならばこの壬生菜は出し入れしないしそれは多分化能でない ; $hypothesis$ = 「この壬生菜は出し入れしなくて多分化能でない」ということは誤っている ; $proof$ = 
fact4 & fact1 -> int1: あの略式命令は恋しいししかも伝え難い; fact3 -> int2: もし仮にあの略式命令は恋しくてそれに伝え難いとするとそれは最三小判平でない; int1 & int2 -> int3: 「あの略式命令は最三小判平でない」ということは成り立つ; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: あの略式命令は伝え難い
事実2: あの略式命令が最三小判平だということはないならこの壬生菜は多分化能でない
事実3: もし仮に恋しいものが伝え難いならばそれは最三小判平でない
事実4: あの略式命令は恋しい
事実5: この壬生菜は多分化能でない
事実6: あらゆる物は食事しない
事実7: もしあの略式命令が最三小判平でないならばこの壬生菜は出し入れしないしそれは多分化能でない

仮説: 「この壬生菜は出し入れしなくて多分化能でない」ということは誤っている
1. 事実4と事実1から、推論1: "あの略式命令は恋しいししかも伝え難い"が導かれる
2. 事実3から、推論2: "もし仮にあの略式命令は恋しくてそれに伝え難いとするとそれは最三小判平でない"が導かれる
3. 推論1と推論2から、推論3: "「あの略式命令は最三小判平でない」ということは成り立つ"が導かれる
4. 推論3と事実7から、仮説が否定される

よって、仮説が否定されました。