「この大湾は賛同しないか籤であるかどちらもである」ということは成り立たない
fact1: この土地倫理は提供し始める fact2: もしその参宮道が提供し始めるならその栄は見え始めなくて給付するということはない fact3: もし仮にある物は提供し始めるとすれば「「賛同しないか籤であるかどちらもだ」ということは真実だ」ということは成り立たない fact4: もしもその栄は見え始めないけど給付すればそれは新型工業化戦略である fact5: この出版権は放射する fact6: もしも「この大湾は通信エラーである」ということは真実なら放射しなくてそれは備長炭でない fact7: 「その罵詈雑言は備長炭である」ということは確かだ fact8: その参宮道は提供し始める fact9: もしも「なんらかの物は放射するししかも新型工業化戦略である」ということは成り立つとするとそれは備長炭でない fact10: もし仮に「その栄は備長炭でない」ということは成り立つとしたら籤でないかそれは提供し始める fact11: その栄は放射する fact12: この大湾は賛同するか籤だ fact13: もし仮にこの大湾が通信エラーでないなら賛同するか籤である fact14: 「もしもその栄が備長炭でないとしたらこの大湾は通信エラーだということはない」ということは事実だ fact15: もしもその参宮道が提供し始めるとすればその栄は給付しない fact16: 「「この大湾は通信エラーでない」ということは成り立つとすればあの大湾は賛同しないかそれは籤であるかもしくはどちらもである」ということは確かだ fact17: 「その栄は給付しない」ということは事実だ fact18: 仮にその栄が見え始めなくてそれにそれが給付するということはないならばそれは新型工業化戦略だ fact19: もし仮に人間関係運が給付すればそれは危うくない
fact2 & fact8 -> int1: 「その栄は見え始めないししかも給付するということはない」ということは事実だ; int1 & fact18 -> int2: その栄は新型工業化戦略である; int2 & fact11 -> int3: その栄は放射するしまたそれは新型工業化戦略だ; fact9 -> int4: 仮にその栄は放射するし新型工業化戦略であるとすればそれは備長炭でない; int3 & int4 -> int5: その栄は備長炭でない; int5 & fact14 -> int6: この大湾は通信エラーでない; int6 & fact16 -> hypothesis;
「「この大湾は賛同しないか籤であるかもしくはどちらもだ」ということは成り立たない」ということは間違っているということはない
fact20 -> int7: 仮にこの大湾は提供し始めるとしたら「それは賛同しないかそれは籤であるかどちらもだ」ということは成り立たない;
$facts$ = fact1: この土地倫理は提供し始める fact2: もしその参宮道が提供し始めるならその栄は見え始めなくて給付するということはない fact3: もし仮にある物は提供し始めるとすれば「「賛同しないか籤であるかどちらもだ」ということは真実だ」ということは成り立たない fact4: もしもその栄は見え始めないけど給付すればそれは新型工業化戦略である fact5: この出版権は放射する fact6: もしも「この大湾は通信エラーである」ということは真実なら放射しなくてそれは備長炭でない fact7: 「その罵詈雑言は備長炭である」ということは確かだ fact8: その参宮道は提供し始める fact9: もしも「なんらかの物は放射するししかも新型工業化戦略である」ということは成り立つとするとそれは備長炭でない fact10: もし仮に「その栄は備長炭でない」ということは成り立つとしたら籤でないかそれは提供し始める fact11: その栄は放射する fact12: この大湾は賛同するか籤だ fact13: もし仮にこの大湾が通信エラーでないなら賛同するか籤である fact14: 「もしもその栄が備長炭でないとしたらこの大湾は通信エラーだということはない」ということは事実だ fact15: もしもその参宮道が提供し始めるとすればその栄は給付しない fact16: 「「この大湾は通信エラーでない」ということは成り立つとすればあの大湾は賛同しないかそれは籤であるかもしくはどちらもである」ということは確かだ fact17: 「その栄は給付しない」ということは事実だ fact18: 仮にその栄が見え始めなくてそれにそれが給付するということはないならばそれは新型工業化戦略だ fact19: もし仮に人間関係運が給付すればそれは危うくない ; $hypothesis$ = 「この大湾は賛同しないか籤であるかどちらもである」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: 「その栄は見え始めないししかも給付するということはない」ということは事実だ; int1 & fact18 -> int2: その栄は新型工業化戦略である; int2 & fact11 -> int3: その栄は放射するしまたそれは新型工業化戦略だ; fact9 -> int4: 仮にその栄は放射するし新型工業化戦略であるとすればそれは備長炭でない; int3 & int4 -> int5: その栄は備長炭でない; int5 & fact14 -> int6: この大湾は通信エラーでない; int6 & fact16 -> hypothesis; __DISPROVED__
事実1: この土地倫理は提供し始める
事実2: もしその参宮道が提供し始めるならその栄は見え始めなくて給付するということはない
事実3: もし仮にある物は提供し始めるとすれば「「賛同しないか籤であるかどちらもだ」ということは真実だ」ということは成り立たない
事実4: もしもその栄は見え始めないけど給付すればそれは新型工業化戦略である
事実5: この出版権は放射する
事実6: もしも「この大湾は通信エラーである」ということは真実なら放射しなくてそれは備長炭でない
事実7: 「その罵詈雑言は備長炭である」ということは確かだ
事実8: その参宮道は提供し始める
事実9: もしも「なんらかの物は放射するししかも新型工業化戦略である」ということは成り立つとするとそれは備長炭でない
事実10: もし仮に「その栄は備長炭でない」ということは成り立つとしたら籤でないかそれは提供し始める
事実11: その栄は放射する
事実12: この大湾は賛同するか籤だ
事実13: もし仮にこの大湾が通信エラーでないなら賛同するか籤である
事実14: 「もしもその栄が備長炭でないとしたらこの大湾は通信エラーだということはない」ということは事実だ
事実15: もしもその参宮道が提供し始めるとすればその栄は給付しない
事実16: 「「この大湾は通信エラーでない」ということは成り立つとすればあの大湾は賛同しないかそれは籤であるかもしくはどちらもである」ということは確かだ
事実17: 「その栄は給付しない」ということは事実だ
事実18: 仮にその栄が見え始めなくてそれにそれが給付するということはないならばそれは新型工業化戦略だ
事実19: もし仮に人間関係運が給付すればそれは危うくない

仮説: 「この大湾は賛同しないか籤であるかどちらもである」ということは成り立たない
1. 事実2と事実8から、推論1: "「その栄は見え始めないししかも給付するということはない」ということは事実だ"が導かれる
2. 推論1と事実18から、推論2: "その栄は新型工業化戦略である"が導かれる
3. 推論2と事実11から、推論3: "その栄は放射するしまたそれは新型工業化戦略だ"が導かれる
4. 事実9から、推論4: "仮にその栄は放射するし新型工業化戦略であるとすればそれは備長炭でない"が導かれる
5. 推論3と推論4から、推論5: "その栄は備長炭でない"が導かれる
6. 推論5と事実14から、推論6: "この大湾は通信エラーでない"が導かれる
7. 推論6と事実16から、仮説が否定される

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