その大通り公園は御辛い
fact1: 「もしも「「持ち易い」ということは本当な」物があるとすればあの魔は自覚するけれど購買しない」ということは真実である fact2: なにがしかのものは持ち易い fact3: もしもこの魔が購買しないならばあの多核巨細胞は購買するし加えて現物出資する fact4: もしもその多核巨細胞が購買すればその大通り公園は御辛い
fact2 & fact1 -> int1: この魔は自覚する一方で購買しない; int1 -> int2: この魔は購買しない; int2 & fact3 -> int3: その多核巨細胞は購買するし現物出資する; int3 -> int4: 「その多核巨細胞は購買する」ということは事実である; int4 & fact4 -> hypothesis;
$facts$ = fact1: 「もしも「「持ち易い」ということは本当な」物があるとすればあの魔は自覚するけれど購買しない」ということは真実である fact2: なにがしかのものは持ち易い fact3: もしもこの魔が購買しないならばあの多核巨細胞は購買するし加えて現物出資する fact4: もしもその多核巨細胞が購買すればその大通り公園は御辛い ; $hypothesis$ = その大通り公園は御辛い ; $proof$ = 
fact2 & fact1 -> int1: この魔は自覚する一方で購買しない; int1 -> int2: この魔は購買しない; int2 & fact3 -> int3: その多核巨細胞は購買するし現物出資する; int3 -> int4: 「その多核巨細胞は購買する」ということは事実である; int4 & fact4 -> hypothesis; __PROVED__
事実1: 「もしも「「持ち易い」ということは本当な」物があるとすればあの魔は自覚するけれど購買しない」ということは真実である
事実2: なにがしかのものは持ち易い
事実3: もしもこの魔が購買しないならばあの多核巨細胞は購買するし加えて現物出資する
事実4: もしもその多核巨細胞が購買すればその大通り公園は御辛い

仮説: その大通り公園は御辛い
1. 事実2と事実1から、推論1: "この魔は自覚する一方で購買しない"が導かれる
2. 推論1から、推論2: "この魔は購買しない"が導かれる
3. 推論2と事実3から、推論3: "その多核巨細胞は購買するし現物出資する"が導かれる
4. 推論3から、推論4: "「その多核巨細胞は購買する」ということは事実である"が導かれる
5. 推論4と事実4から、仮説が導かれる

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