あの石川啄木旧居跡は線端である
fact1: あの石川啄木旧居跡は否定し難い fact2: もし仮に真白いものが作り難いならそれは線端であるということはない fact3: もしもあの石川啄木旧居跡は自由都市でないか真白いかあるいは両方ともならばそれは真白い fact4: 「自由都市である」ものはある fact5: もし仮に「しつっこくない」物はあるとしたらあの盾方はしつっこくないかあるいはそれは開き過ぎるかあるいは両方ともである fact6: 呆気ないものは暴行事件である fact7: あの石川啄木旧居跡はしつっこい fact8: 「自由都市でない」ものはある fact9: もしあの石川啄木旧居跡が気難しくないかもしくは壊すなら壊す fact10: もし「自由都市でない」ものがあればあの石川啄木旧居跡は自由都市であるということはないかもしくは真白いかまたは両方だ fact11: 仮にある物がしつっこいならばそれは作り難い fact12: 「もしも「何かは真白いが線端でない」ということは嘘であるならばそれは線端だ」ということは確かである
fact11 -> int1: もしもあの石川啄木旧居跡がしつっこいとすればそれは作り難い; int1 & fact7 -> int2: あの石川啄木旧居跡は作り難い; fact8 & fact10 -> int3: あの石川啄木旧居跡は自由都市でないかもしくはそれは真白い; int3 & fact3 -> int4: あの石川啄木旧居跡は真白い; int2 & int4 -> int5: あの石川啄木旧居跡は真白いしその上作り難い; fact2 -> int6: あの石川啄木旧居跡が真白くてさらに作り難いとしたら線端でない; int5 & int6 -> hypothesis;
あの石川啄木旧居跡は線端である
fact13 -> int7: もしも「あの石川啄木旧居跡は真白いけれど線端でない」ということは成り立つということはないとすればそれは線端である;
$facts$ = fact1: あの石川啄木旧居跡は否定し難い fact2: もし仮に真白いものが作り難いならそれは線端であるということはない fact3: もしもあの石川啄木旧居跡は自由都市でないか真白いかあるいは両方ともならばそれは真白い fact4: 「自由都市である」ものはある fact5: もし仮に「しつっこくない」物はあるとしたらあの盾方はしつっこくないかあるいはそれは開き過ぎるかあるいは両方ともである fact6: 呆気ないものは暴行事件である fact7: あの石川啄木旧居跡はしつっこい fact8: 「自由都市でない」ものはある fact9: もしあの石川啄木旧居跡が気難しくないかもしくは壊すなら壊す fact10: もし「自由都市でない」ものがあればあの石川啄木旧居跡は自由都市であるということはないかもしくは真白いかまたは両方だ fact11: 仮にある物がしつっこいならばそれは作り難い fact12: 「もしも「何かは真白いが線端でない」ということは嘘であるならばそれは線端だ」ということは確かである ; $hypothesis$ = あの石川啄木旧居跡は線端である ; $proof$ = 
fact11 -> int1: もしもあの石川啄木旧居跡がしつっこいとすればそれは作り難い; int1 & fact7 -> int2: あの石川啄木旧居跡は作り難い; fact8 & fact10 -> int3: あの石川啄木旧居跡は自由都市でないかもしくはそれは真白い; int3 & fact3 -> int4: あの石川啄木旧居跡は真白い; int2 & int4 -> int5: あの石川啄木旧居跡は真白いしその上作り難い; fact2 -> int6: あの石川啄木旧居跡が真白くてさらに作り難いとしたら線端でない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あの石川啄木旧居跡は否定し難い
事実2: もし仮に真白いものが作り難いならそれは線端であるということはない
事実3: もしもあの石川啄木旧居跡は自由都市でないか真白いかあるいは両方ともならばそれは真白い
事実4: 「自由都市である」ものはある
事実5: もし仮に「しつっこくない」物はあるとしたらあの盾方はしつっこくないかあるいはそれは開き過ぎるかあるいは両方ともである
事実6: 呆気ないものは暴行事件である
事実7: あの石川啄木旧居跡はしつっこい
事実8: 「自由都市でない」ものはある
事実9: もしあの石川啄木旧居跡が気難しくないかもしくは壊すなら壊す
事実10: もし「自由都市でない」ものがあればあの石川啄木旧居跡は自由都市であるということはないかもしくは真白いかまたは両方だ
事実11: 仮にある物がしつっこいならばそれは作り難い
事実12: 「もしも「何かは真白いが線端でない」ということは嘘であるならばそれは線端だ」ということは確かである

仮説: あの石川啄木旧居跡は線端である
1. 事実11から、推論1: "もしもあの石川啄木旧居跡がしつっこいとすればそれは作り難い"が導かれる
2. 推論1と事実7から、推論2: "あの石川啄木旧居跡は作り難い"が導かれる
3. 事実8と事実10から、推論3: "あの石川啄木旧居跡は自由都市でないかもしくはそれは真白い"が導かれる
4. 推論3と事実3から、推論4: "あの石川啄木旧居跡は真白い"が導かれる
5. 推論2と推論4から、推論5: "あの石川啄木旧居跡は真白いしその上作り難い"が導かれる
6. 事実2から、推論6: "あの石川啄木旧居跡が真白くてさらに作り難いとしたら線端でない"が導かれる
7. 推論5と推論6から、仮説が否定される

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