その政治社会は帰宅出来ない
fact1: もしその中新世が離れ難いならば意識し過ぎるかもしくはそれは帰宅出来ない fact2: なんらかのものは候うか説明板であるかもしくは両方ともであるならば帰宅出来るということはない fact3: もし「この逐次処理は説明板だ」ということは成り立てばそれは重んずるかもしくは途切らせらないか両方ともだ fact4: もしもその中新世が離れ難いかまたはそれが意識し過ぎないかどちらもであるならこの逐次処理は候う fact5: もしもその中新世が説明板なら離れ難いかそれは意識し過ぎないかもしくは両方である fact6: その中新世は本義だ fact7: もしもこの逐次処理が候えばその政治社会は帰宅出来る fact8: 「その中新世は説明板だ」ということは真実である
fact5 & fact8 -> int1: その中新世は離れ難いかまたは意識し過ぎない; int1 & fact4 -> int2: この逐次処理は候う; int2 & fact7 -> hypothesis;
fact5 & fact8 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact4 -> int2: {B}{b}; int2 & fact7 -> hypothesis;
その政治社会は帰宅出来ない
fact9 -> int3: その政治社会が候うかもしくは説明板であるとすれば帰宅出来ない;
$facts$ = fact1: もしその中新世が離れ難いならば意識し過ぎるかもしくはそれは帰宅出来ない fact2: なんらかのものは候うか説明板であるかもしくは両方ともであるならば帰宅出来るということはない fact3: もし「この逐次処理は説明板だ」ということは成り立てばそれは重んずるかもしくは途切らせらないか両方ともだ fact4: もしもその中新世が離れ難いかまたはそれが意識し過ぎないかどちらもであるならこの逐次処理は候う fact5: もしもその中新世が説明板なら離れ難いかそれは意識し過ぎないかもしくは両方である fact6: その中新世は本義だ fact7: もしもこの逐次処理が候えばその政治社会は帰宅出来る fact8: 「その中新世は説明板だ」ということは真実である ; $hypothesis$ = その政治社会は帰宅出来ない ; $proof$ = 
fact5 & fact8 -> int1: その中新世は離れ難いかまたは意識し過ぎない; int1 & fact4 -> int2: この逐次処理は候う; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もしその中新世が離れ難いならば意識し過ぎるかもしくはそれは帰宅出来ない
事実2: なんらかのものは候うか説明板であるかもしくは両方ともであるならば帰宅出来るということはない
事実3: もし「この逐次処理は説明板だ」ということは成り立てばそれは重んずるかもしくは途切らせらないか両方ともだ
事実4: もしもその中新世が離れ難いかまたはそれが意識し過ぎないかどちらもであるならこの逐次処理は候う
事実5: もしもその中新世が説明板なら離れ難いかそれは意識し過ぎないかもしくは両方である
事実6: その中新世は本義だ
事実7: もしもこの逐次処理が候えばその政治社会は帰宅出来る
事実8: 「その中新世は説明板だ」ということは真実である

仮説: その政治社会は帰宅出来ない
1. 事実5と事実8から、推論1: "その中新世は離れ難いかまたは意識し過ぎない"が導かれる
2. 推論1と事実4から、推論2: "この逐次処理は候う"が導かれる
3. 推論2と事実7から、仮説が否定される

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