「「もし愛欲でないなら「貧しかまたは四角いか両方だ」ということは事実と異なる」物はある」ということは間違っている
fact1: 仮になにがしかの物は愛欲でないとしたら「それは貧しかまたは四角い」ということは嘘だ
fact1 -> int1: 仮にその江戸モンブランは愛欲でないなら「それは貧しかまたは四角いかもしくはどちらもである」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物は愛欲でないとしたら「それは貧しかまたは四角い」ということは嘘だ ; $hypothesis$ = 「「もし愛欲でないなら「貧しかまたは四角いか両方だ」ということは事実と異なる」物はある」ということは間違っている ; $proof$ = 
fact1 -> int1: 仮にその江戸モンブランは愛欲でないなら「それは貧しかまたは四角いかもしくはどちらもである」ということは偽だ; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物は愛欲でないとしたら「それは貧しかまたは四角い」ということは嘘だ

仮説: 「「もし愛欲でないなら「貧しかまたは四角いか両方だ」ということは事実と異なる」物はある」ということは間違っている
1. 事実1から、推論1: "仮にその江戸モンブランは愛欲でないなら「それは貧しかまたは四角いかもしくはどちらもである」ということは偽だ"が導かれる
2. 推論1から、仮説が否定される

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