なにがしかのものはふんだくらない
fact1: もし「あの内陸部は踏み荒らさないか仰せ給わないかまたは両方である」ということは成り立たないとしたらそれはふんだくらない fact2: あの内陸部は踏み荒らす fact3: もしも「「あの内陸部は踏み荒らすか仰せ給わないか両方ともである」ということは事実だ」ということは成り立たないとすればそれはふんだくらない fact4: 「ふんだくる」物はある fact5: 「「あの内陸部は踏み荒らさないかあるいは仰せ給わない」ということは成り立つ」ということは偽だ fact6: あの内陸部は重松作品であるし愛らしい
fact1 & fact5 -> int1: あの内陸部はふんだくらない; int1 -> hypothesis;
この大学病院等は踏み荒らさない
fact7 -> int2: あの内陸部は愛らしい; int2 -> int3: なにがしかのものは愛らしい;
$facts$ = fact1: もし「あの内陸部は踏み荒らさないか仰せ給わないかまたは両方である」ということは成り立たないとしたらそれはふんだくらない fact2: あの内陸部は踏み荒らす fact3: もしも「「あの内陸部は踏み荒らすか仰せ給わないか両方ともである」ということは事実だ」ということは成り立たないとすればそれはふんだくらない fact4: 「ふんだくる」物はある fact5: 「「あの内陸部は踏み荒らさないかあるいは仰せ給わない」ということは成り立つ」ということは偽だ fact6: あの内陸部は重松作品であるし愛らしい ; $hypothesis$ = なにがしかのものはふんだくらない ; $proof$ = 
fact1 & fact5 -> int1: あの内陸部はふんだくらない; int1 -> hypothesis; __PROVED__
事実1: もし「あの内陸部は踏み荒らさないか仰せ給わないかまたは両方である」ということは成り立たないとしたらそれはふんだくらない
事実2: あの内陸部は踏み荒らす
事実3: もしも「「あの内陸部は踏み荒らすか仰せ給わないか両方ともである」ということは事実だ」ということは成り立たないとすればそれはふんだくらない
事実4: 「ふんだくる」物はある
事実5: 「「あの内陸部は踏み荒らさないかあるいは仰せ給わない」ということは成り立つ」ということは偽だ
事実6: あの内陸部は重松作品であるし愛らしい

仮説: なにがしかのものはふんだくらない
1. 事実1と事実5から、推論1: "あの内陸部はふんだくらない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。