あのギリシャ文明は手早い
fact1: あのギリシャ文明は果せる fact2: 仮に「「ロイヤルファミリーだということはないかもしくは穏和であるかまたは両方ともだ」ということは正しくない」ものがあるならばあの指示対象物は出し難くない fact3: あのギリシャ文明は実行し易くない fact4: 「あのギリシャ文明が不法性であるならばあのギリシャ文明は手早くない」ということは正しい fact5: 「あのギリシャ文明は不法性でない」ということは真実だ fact6: もしも「何かは植林しないかあるいは不法性であるかまたは両方である」ということは成り立つということはないならば「実行し易い」ということは成り立つ fact7: そのＮＣＬＢは植林しない fact8: もし仮にとある物はスポット溶接するということはないとすれば「それはロイヤルファミリーだということはないかもしくはそれは穏和であるかもしくは両方である」ということは成り立たない fact9: その特別展が実行し易いということはないとするとあのギリシャ文明は手早い fact10: もし「「手早くないかもしくは実行し易いかあるいは両方ともだ」ということは成り立つということはない」ものがあるとすればその四百二十二ページ参照は植林しない fact11: 全てのものはスポット溶接しない fact12: もしあのギリシャ文明が植林しないかあるいは不法性だとすればそれは手早くない
fact6 -> int1: 仮に「あのギリシャ文明は植林しないかまたは不法性であるかどちらもだ」ということは確かでないとするとそれは実行し易い; void -> assump1: 以下のように仮定する。「あのギリシャ文明は植林しないかまたは不法性であるかまたは両方ともだ」ということは偽だ; int1 & assump1 -> int2: あのギリシャ文明は実行し易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのギリシャ文明は植林しないかもしくは不法性であるかもしくは両方ともだ; int4 & fact12 -> hypothesis;
あのギリシャ文明は手早い
$facts$ = fact1: あのギリシャ文明は果せる fact2: 仮に「「ロイヤルファミリーだということはないかもしくは穏和であるかまたは両方ともだ」ということは正しくない」ものがあるならばあの指示対象物は出し難くない fact3: あのギリシャ文明は実行し易くない fact4: 「あのギリシャ文明が不法性であるならばあのギリシャ文明は手早くない」ということは正しい fact5: 「あのギリシャ文明は不法性でない」ということは真実だ fact6: もしも「何かは植林しないかあるいは不法性であるかまたは両方である」ということは成り立つということはないならば「実行し易い」ということは成り立つ fact7: そのＮＣＬＢは植林しない fact8: もし仮にとある物はスポット溶接するということはないとすれば「それはロイヤルファミリーだということはないかもしくはそれは穏和であるかもしくは両方である」ということは成り立たない fact9: その特別展が実行し易いということはないとするとあのギリシャ文明は手早い fact10: もし「「手早くないかもしくは実行し易いかあるいは両方ともだ」ということは成り立つということはない」ものがあるとすればその四百二十二ページ参照は植林しない fact11: 全てのものはスポット溶接しない fact12: もしあのギリシャ文明が植林しないかあるいは不法性だとすればそれは手早くない ; $hypothesis$ = あのギリシャ文明は手早い ; $proof$ = 
fact6 -> int1: 仮に「あのギリシャ文明は植林しないかまたは不法性であるかどちらもだ」ということは確かでないとするとそれは実行し易い; void -> assump1: 以下のように仮定する。「あのギリシャ文明は植林しないかまたは不法性であるかまたは両方ともだ」ということは偽だ; int1 & assump1 -> int2: あのギリシャ文明は実行し易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのギリシャ文明は植林しないかもしくは不法性であるかもしくは両方ともだ; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: あのギリシャ文明は果せる
事実2: 仮に「「ロイヤルファミリーだということはないかもしくは穏和であるかまたは両方ともだ」ということは正しくない」ものがあるならばあの指示対象物は出し難くない
事実3: あのギリシャ文明は実行し易くない
事実4: 「あのギリシャ文明が不法性であるならばあのギリシャ文明は手早くない」ということは正しい
事実5: 「あのギリシャ文明は不法性でない」ということは真実だ
事実6: もしも「何かは植林しないかあるいは不法性であるかまたは両方である」ということは成り立つということはないならば「実行し易い」ということは成り立つ
事実7: そのＮＣＬＢは植林しない
事実8: もし仮にとある物はスポット溶接するということはないとすれば「それはロイヤルファミリーだということはないかもしくはそれは穏和であるかもしくは両方である」ということは成り立たない
事実9: その特別展が実行し易いということはないとするとあのギリシャ文明は手早い
事実10: もし「「手早くないかもしくは実行し易いかあるいは両方ともだ」ということは成り立つということはない」ものがあるとすればその四百二十二ページ参照は植林しない
事実11: 全てのものはスポット溶接しない
事実12: もしあのギリシャ文明が植林しないかあるいは不法性だとすればそれは手早くない

仮説: あのギリシャ文明は手早い
1. 事実6から、推論1: "仮に「あのギリシャ文明は植林しないかまたは不法性であるかどちらもだ」ということは確かでないとするとそれは実行し易い"が導かれる
2. 仮定1: 以下のように仮定する。「あのギリシャ文明は植林しないかまたは不法性であるかまたは両方ともだ」ということは偽だ
3. 推論1と仮定1から、推論2: "あのギリシャ文明は実行し易い"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのギリシャ文明は植林しないかもしくは不法性であるかもしくは両方ともだ"が導かれる
6. 推論4と事実12から、仮説が否定される

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