その証明責任は蜻蛉返りしない
fact1: もしなんらかの物が吸い込むとすると切り込まないかもしくは降り止むかまたは両方だ fact2: とある物は切り込まないが度し難いならそれは蜻蛉返りする fact3: もしもこの御指名は切り込まないとしたら「その証明責任は蜻蛉返りするしさらに度し難い」ということは成り立たない fact4: その証明責任は切り込む fact5: 「その証明責任が切り込むとしたらその証明責任は度し難い」ということは成り立つ fact6: 仮に「この御指名は御訪ねるということはなくてしかもそれはサン機だということはない」ということは成り立たないならその証明責任は御訪ねる fact7: 何らかのものは御訪ねる一方でサン機であるということはないとすれば叩き払う fact8: もしもなにかは切り込まないか降り止むか両方であるならそれは切り込むということはない fact9: 仮に「「ある物は蜻蛉返りするし度し難い」ということは成り立つ」ということは真実でないとすると蜻蛉返りしない fact10: もしもこの新しさが嫉妬深いならこの御指名は御訪ねる一方でサン機でない fact11: もしこの御指名は嫉妬深くないとしたら「御訪ねないしさらにサン機でない」ということは成り立たない fact12: もしもとあるものが御訪ねるとすると叩き払う fact13: 仮になにがしかの物は叩き払うとしたら「吸い込む」ということは正しい fact14: 仮になにがしかのものが度し難いならそれは蜻蛉返りする fact15: 仮にその証明責任が叩き払うとすればこの下知は降り止まないしおまけに吸い込まない fact16: その本館は蜻蛉返りする
fact5 & fact4 -> int1: その証明責任は度し難い; fact14 -> int2: もし仮にその証明責任が度し難いとすれば蜻蛉返りする; int1 & int2 -> hypothesis;
この下知は蜻蛉返りする
fact20 -> int3: 仮にこの下知は切り込むということはない一方で度し難いとするとそれは蜻蛉返りする; fact18 -> int4: もしその証明責任が御訪ねるとすると叩き払う;
$facts$ = fact1: もしなんらかの物が吸い込むとすると切り込まないかもしくは降り止むかまたは両方だ fact2: とある物は切り込まないが度し難いならそれは蜻蛉返りする fact3: もしもこの御指名は切り込まないとしたら「その証明責任は蜻蛉返りするしさらに度し難い」ということは成り立たない fact4: その証明責任は切り込む fact5: 「その証明責任が切り込むとしたらその証明責任は度し難い」ということは成り立つ fact6: 仮に「この御指名は御訪ねるということはなくてしかもそれはサン機だということはない」ということは成り立たないならその証明責任は御訪ねる fact7: 何らかのものは御訪ねる一方でサン機であるということはないとすれば叩き払う fact8: もしもなにかは切り込まないか降り止むか両方であるならそれは切り込むということはない fact9: 仮に「「ある物は蜻蛉返りするし度し難い」ということは成り立つ」ということは真実でないとすると蜻蛉返りしない fact10: もしもこの新しさが嫉妬深いならこの御指名は御訪ねる一方でサン機でない fact11: もしこの御指名は嫉妬深くないとしたら「御訪ねないしさらにサン機でない」ということは成り立たない fact12: もしもとあるものが御訪ねるとすると叩き払う fact13: 仮になにがしかの物は叩き払うとしたら「吸い込む」ということは正しい fact14: 仮になにがしかのものが度し難いならそれは蜻蛉返りする fact15: 仮にその証明責任が叩き払うとすればこの下知は降り止まないしおまけに吸い込まない fact16: その本館は蜻蛉返りする ; $hypothesis$ = その証明責任は蜻蛉返りしない ; $proof$ = 
fact5 & fact4 -> int1: その証明責任は度し難い; fact14 -> int2: もし仮にその証明責任が度し難いとすれば蜻蛉返りする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が吸い込むとすると切り込まないかもしくは降り止むかまたは両方だ
事実2: とある物は切り込まないが度し難いならそれは蜻蛉返りする
事実3: もしもこの御指名は切り込まないとしたら「その証明責任は蜻蛉返りするしさらに度し難い」ということは成り立たない
事実4: その証明責任は切り込む
事実5: 「その証明責任が切り込むとしたらその証明責任は度し難い」ということは成り立つ
事実6: 仮に「この御指名は御訪ねるということはなくてしかもそれはサン機だということはない」ということは成り立たないならその証明責任は御訪ねる
事実7: 何らかのものは御訪ねる一方でサン機であるということはないとすれば叩き払う
事実8: もしもなにかは切り込まないか降り止むか両方であるならそれは切り込むということはない
事実9: 仮に「「ある物は蜻蛉返りするし度し難い」ということは成り立つ」ということは真実でないとすると蜻蛉返りしない
事実10: もしもこの新しさが嫉妬深いならこの御指名は御訪ねる一方でサン機でない
事実11: もしこの御指名は嫉妬深くないとしたら「御訪ねないしさらにサン機でない」ということは成り立たない
事実12: もしもとあるものが御訪ねるとすると叩き払う
事実13: 仮になにがしかの物は叩き払うとしたら「吸い込む」ということは正しい
事実14: 仮になにがしかのものが度し難いならそれは蜻蛉返りする
事実15: 仮にその証明責任が叩き払うとすればこの下知は降り止まないしおまけに吸い込まない
事実16: その本館は蜻蛉返りする

仮説: その証明責任は蜻蛉返りしない
1. 事実5と事実4から、推論1: "その証明責任は度し難い"が導かれる
2. 事実14から、推論2: "もし仮にその証明責任が度し難いとすれば蜻蛉返りする"が導かれる
3. 推論1と推論2から、仮説が否定される

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