この厄介事は大損しない一方でリメイクする
fact1: その私達二人は想定し難い fact2: もし仮に分かり辛くない物は唾液分泌であるとしたらリメイクしない fact3: もしも「その私達二人は想定し難い」ということは正しいとするとその矢傷は分かり辛くないけれどそれは唾液分泌だ fact4: 仮にその矢傷がリメイクしないならこの厄介事は大損しないがしかしリメイクする fact5: もし仮にとあるものが大損するしそれは粉っぽいとしたら「それは想定し難くない」ということは事実である
fact2 -> int1: もしその矢傷は分かり辛くないがしかし唾液分泌だとすればそれはリメイクしない; fact3 & fact1 -> int2: その矢傷は分かり辛くないけどそれは唾液分泌だ; int1 & int2 -> int3: その矢傷はリメイクしない; int3 & fact4 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact3 & fact1 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact4 -> hypothesis;
その剪定はリメイクしないけれどそれは着陸出来る
fact6 -> int4: この厄介事は大損するししかも粉っぽいとしたら想定し難くない;
$facts$ = fact1: その私達二人は想定し難い fact2: もし仮に分かり辛くない物は唾液分泌であるとしたらリメイクしない fact3: もしも「その私達二人は想定し難い」ということは正しいとするとその矢傷は分かり辛くないけれどそれは唾液分泌だ fact4: 仮にその矢傷がリメイクしないならこの厄介事は大損しないがしかしリメイクする fact5: もし仮にとあるものが大損するしそれは粉っぽいとしたら「それは想定し難くない」ということは事実である ; $hypothesis$ = この厄介事は大損しない一方でリメイクする ; $proof$ = 
fact2 -> int1: もしその矢傷は分かり辛くないがしかし唾液分泌だとすればそれはリメイクしない; fact3 & fact1 -> int2: その矢傷は分かり辛くないけどそれは唾液分泌だ; int1 & int2 -> int3: その矢傷はリメイクしない; int3 & fact4 -> hypothesis; __PROVED__
事実1: その私達二人は想定し難い
事実2: もし仮に分かり辛くない物は唾液分泌であるとしたらリメイクしない
事実3: もしも「その私達二人は想定し難い」ということは正しいとするとその矢傷は分かり辛くないけれどそれは唾液分泌だ
事実4: 仮にその矢傷がリメイクしないならこの厄介事は大損しないがしかしリメイクする
事実5: もし仮にとあるものが大損するしそれは粉っぽいとしたら「それは想定し難くない」ということは事実である

仮説: この厄介事は大損しない一方でリメイクする
1. 事実2から、推論1: "もしその矢傷は分かり辛くないがしかし唾液分泌だとすればそれはリメイクしない"が導かれる
2. 事実3と事実1から、推論2: "その矢傷は分かり辛くないけどそれは唾液分泌だ"が導かれる
3. 推論1と推論2から、推論3: "その矢傷はリメイクしない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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