「仮に太いならば「「読影しないかもしくは吸着するかまたはどちらもである」ということは確かである」ということは誤りである」物はある
fact1: 仮にこの蔵相は太いとすると「それは読影しないか吸着するかもしくはどちらもである」ということは嘘だ fact2: 「もし太いとすると読影する」ものはある fact3: 仮にこの蔵相が太いとすれば読影する fact4: 仮になにかは気安いなら「捕まえ易くないかあるいは攫うか両方である」ということは真実でない fact5: 「もし太いとしたら吸着しない」物はある fact6: もし仮にこの蔵相が御礼するとすれば厳くないかもしくは御宜しいか両方である fact7: 「もし「生易しい」ということは正しいとすればいがらっぽくない」物はある
fact1 -> hypothesis;
「もし仮に気安いなら「捕まえ易くないかもしくは攫うかどちらもだ」ということは誤っている」ものはある
fact8 -> int1: もし仮にあのミニストリーは気安いなら「それは捕まえ易くないかもしくはそれは攫う」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 仮にこの蔵相は太いとすると「それは読影しないか吸着するかもしくはどちらもである」ということは嘘だ fact2: 「もし太いとすると読影する」ものはある fact3: 仮にこの蔵相が太いとすれば読影する fact4: 仮になにかは気安いなら「捕まえ易くないかあるいは攫うか両方である」ということは真実でない fact5: 「もし太いとしたら吸着しない」物はある fact6: もし仮にこの蔵相が御礼するとすれば厳くないかもしくは御宜しいか両方である fact7: 「もし「生易しい」ということは正しいとすればいがらっぽくない」物はある ; $hypothesis$ = 「仮に太いならば「「読影しないかもしくは吸着するかまたはどちらもである」ということは確かである」ということは誤りである」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの蔵相は太いとすると「それは読影しないか吸着するかもしくはどちらもである」ということは嘘だ
事実2: 「もし太いとすると読影する」ものはある
事実3: 仮にこの蔵相が太いとすれば読影する
事実4: 仮になにかは気安いなら「捕まえ易くないかあるいは攫うか両方である」ということは真実でない
事実5: 「もし太いとしたら吸着しない」物はある
事実6: もし仮にこの蔵相が御礼するとすれば厳くないかもしくは御宜しいか両方である
事実7: 「もし「生易しい」ということは正しいとすればいがらっぽくない」物はある

仮説: 「仮に太いならば「「読影しないかもしくは吸着するかまたはどちらもである」ということは確かである」ということは誤りである」物はある
1. 事実1から、仮説が導かれる

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