「あの開催地は見え難いかまたはそれは安定供給するかまたは両方ともである」ということは嘘だ
fact1: 「仮にあの開催地が見え難いならあの開催地は候である」ということは成り立つ fact2: 「もし仮にあの開催地が拵えならばあの開催地は安定供給する」ということは成り立つ fact3: その将軍様は安定供給する fact4: もしなにがしかのものが御話し致すとするとそれは均衡処遇モデルである fact5: あのローレルは御話し致す fact6: もしなんらかのものは拵えでないなら「それは見え難いかあるいは安定供給するか両方である」ということは真実であるということはない fact7: もしもこの往生要集が拵えでないならばあの開催地は拵えでない fact8: あの開催地は拵えだ fact9: 均衡処遇モデルは大流行しない一方で橋石だ fact10: もしなにかは見え難いとすれば「それは安定供給するということはないが拵えだ」ということは間違っている fact11: 仮にあるものが大流行しない一方でそれが橋石だとすればそれは見え難い
fact2 & fact8 -> int1: あの開催地は安定供給する; int1 -> hypothesis;
fact2 & fact8 -> int1: {B}{a}; int1 -> hypothesis;
あのローレルは安定供給する
fact14 -> int2: もしもあのローレルは見え難いとすると「それは安定供給しなくてそれにそれは拵えである」ということは誤っている; fact16 -> int3: もしもあのローレルが大流行しないが橋石であるなら見え難い; fact13 -> int4: 仮にあのローレルは均衡処遇モデルであるとするとそれは大流行しないがしかし橋石である; fact15 -> int5: あのローレルが御話し致すとすれば均衡処遇モデルだ; int5 & fact12 -> int6: あのローレルは均衡処遇モデルだ; int4 & int6 -> int7: あのローレルは大流行しないがそれは橋石だ; int3 & int7 -> int8: あのローレルは見え難い; int2 & int8 -> int9: 「あのローレルは安定供給するということはないがしかし拵えである」ということは成り立たない;
$facts$ = fact1: 「仮にあの開催地が見え難いならあの開催地は候である」ということは成り立つ fact2: 「もし仮にあの開催地が拵えならばあの開催地は安定供給する」ということは成り立つ fact3: その将軍様は安定供給する fact4: もしなにがしかのものが御話し致すとするとそれは均衡処遇モデルである fact5: あのローレルは御話し致す fact6: もしなんらかのものは拵えでないなら「それは見え難いかあるいは安定供給するか両方である」ということは真実であるということはない fact7: もしもこの往生要集が拵えでないならばあの開催地は拵えでない fact8: あの開催地は拵えだ fact9: 均衡処遇モデルは大流行しない一方で橋石だ fact10: もしなにかは見え難いとすれば「それは安定供給するということはないが拵えだ」ということは間違っている fact11: 仮にあるものが大流行しない一方でそれが橋石だとすればそれは見え難い ; $hypothesis$ = 「あの開催地は見え難いかまたはそれは安定供給するかまたは両方ともである」ということは嘘だ ; $proof$ = 
fact2 & fact8 -> int1: あの開催地は安定供給する; int1 -> hypothesis; __DISPROVED__
事実1: 「仮にあの開催地が見え難いならあの開催地は候である」ということは成り立つ
事実2: 「もし仮にあの開催地が拵えならばあの開催地は安定供給する」ということは成り立つ
事実3: その将軍様は安定供給する
事実4: もしなにがしかのものが御話し致すとするとそれは均衡処遇モデルである
事実5: あのローレルは御話し致す
事実6: もしなんらかのものは拵えでないなら「それは見え難いかあるいは安定供給するか両方である」ということは真実であるということはない
事実7: もしもこの往生要集が拵えでないならばあの開催地は拵えでない
事実8: あの開催地は拵えだ
事実9: 均衡処遇モデルは大流行しない一方で橋石だ
事実10: もしなにかは見え難いとすれば「それは安定供給するということはないが拵えだ」ということは間違っている
事実11: 仮にあるものが大流行しない一方でそれが橋石だとすればそれは見え難い

仮説: 「あの開催地は見え難いかまたはそれは安定供給するかまたは両方ともである」ということは嘘だ
1. 事実2と事実8から、推論1: "あの開催地は安定供給する"が導かれる
2. 推論1から、仮説が否定される

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