「「見分け難くなくて手強い」ということは嘘ならば余所余所しいということはない」物はある
fact1: もし仮にその炊き立ては見分け難くないけど手強いとすると「余所余所しかない」ということは間違いでない fact2: 「仮に「見分け難いということはないしその上手強い」ということは事実と異なるとすると余所余所しい」ものはある fact3: 仮に「その炊き立ては見分け難いということはないけれど手強い」ということは成り立たないなら余所余所しい fact4: もし「ある物は得度するということはないがしかしそれは手強い」ということは間違いならば「上場株式等でない」ということは事実である fact5: 「その炊き立ては見分け難くないがしかしそれは手強い」ということは確かでないならば余所余所しかない fact6: 「もし見分け難いならば余所余所しかない」物はある fact7: その炊き立ては手強くないなら「それは余所余所しかない」ということは確かである fact8: 「なにかは涙ぐましくないがしかしそれは移り難い」ということは偽であるとすればそれはせせら笑わない fact9: もし「なんらかのものは腫れぼったくないがしかし詰まり易い」ということは成り立つということはないならそれはハッチでない fact10: もし仮にその炊き立てが注意深くないけど手強いとすると執り行なえない fact11: 「手強いということはないなら余所余所しかない」物はある fact12: その炊き立てが立て難くない一方で見分け難いならそれは畑でない fact13: 「もしも見分け難くないし手強いなら余所余所しいということはない」物はある fact14: 「もし「見分け難いし手強い」ということは間違いであるならば余所余所しいということはない」物はある fact15: 「その炊き立ては見分け難くておまけに手強い」ということは正しくないならば余所余所しかない fact16: もしこの医局在籍時が不倫しない一方でそれが向かわすとしたらそれは見分け難くない
fact5 -> hypothesis;
「仮に「涙ぐましくない一方で移り難い」ということは事実と異なるなら「せせら笑わない」ということは正しい」物はある
fact17 -> int1: もしも「この千九百八十九Ｃは涙ぐましくないがしかしそれは移り難い」ということは成り立たないとすればそれはせせら笑うということはない; int1 -> hypothesis;
$facts$ = fact1: もし仮にその炊き立ては見分け難くないけど手強いとすると「余所余所しかない」ということは間違いでない fact2: 「仮に「見分け難いということはないしその上手強い」ということは事実と異なるとすると余所余所しい」ものはある fact3: 仮に「その炊き立ては見分け難いということはないけれど手強い」ということは成り立たないなら余所余所しい fact4: もし「ある物は得度するということはないがしかしそれは手強い」ということは間違いならば「上場株式等でない」ということは事実である fact5: 「その炊き立ては見分け難くないがしかしそれは手強い」ということは確かでないならば余所余所しかない fact6: 「もし見分け難いならば余所余所しかない」物はある fact7: その炊き立ては手強くないなら「それは余所余所しかない」ということは確かである fact8: 「なにかは涙ぐましくないがしかしそれは移り難い」ということは偽であるとすればそれはせせら笑わない fact9: もし「なんらかのものは腫れぼったくないがしかし詰まり易い」ということは成り立つということはないならそれはハッチでない fact10: もし仮にその炊き立てが注意深くないけど手強いとすると執り行なえない fact11: 「手強いということはないなら余所余所しかない」物はある fact12: その炊き立てが立て難くない一方で見分け難いならそれは畑でない fact13: 「もしも見分け難くないし手強いなら余所余所しいということはない」物はある fact14: 「もし「見分け難いし手強い」ということは間違いであるならば余所余所しいということはない」物はある fact15: 「その炊き立ては見分け難くておまけに手強い」ということは正しくないならば余所余所しかない fact16: もしこの医局在籍時が不倫しない一方でそれが向かわすとしたらそれは見分け難くない ; $hypothesis$ = 「「見分け難くなくて手強い」ということは嘘ならば余所余所しいということはない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮にその炊き立ては見分け難くないけど手強いとすると「余所余所しかない」ということは間違いでない
事実2: 「仮に「見分け難いということはないしその上手強い」ということは事実と異なるとすると余所余所しい」ものはある
事実3: 仮に「その炊き立ては見分け難いということはないけれど手強い」ということは成り立たないなら余所余所しい
事実4: もし「ある物は得度するということはないがしかしそれは手強い」ということは間違いならば「上場株式等でない」ということは事実である
事実5: 「その炊き立ては見分け難くないがしかしそれは手強い」ということは確かでないならば余所余所しかない
事実6: 「もし見分け難いならば余所余所しかない」物はある
事実7: その炊き立ては手強くないなら「それは余所余所しかない」ということは確かである
事実8: 「なにかは涙ぐましくないがしかしそれは移り難い」ということは偽であるとすればそれはせせら笑わない
事実9: もし「なんらかのものは腫れぼったくないがしかし詰まり易い」ということは成り立つということはないならそれはハッチでない
事実10: もし仮にその炊き立てが注意深くないけど手強いとすると執り行なえない
事実11: 「手強いということはないなら余所余所しかない」物はある
事実12: その炊き立てが立て難くない一方で見分け難いならそれは畑でない
事実13: 「もしも見分け難くないし手強いなら余所余所しいということはない」物はある
事実14: 「もし「見分け難いし手強い」ということは間違いであるならば余所余所しいということはない」物はある
事実15: 「その炊き立ては見分け難くておまけに手強い」ということは正しくないならば余所余所しかない
事実16: もしこの医局在籍時が不倫しない一方でそれが向かわすとしたらそれは見分け難くない

仮説: 「「見分け難くなくて手強い」ということは嘘ならば余所余所しいということはない」物はある
1. 事実5から、仮説が導かれる

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