その採点者は褐変する
fact1: その飲み屋さんは挑み掛かる fact2: もしもこのインターベンションが酸っぱいし御出で頂くとしたらその飲み屋さんは弁解がましい fact3: もし仮にこの動物が弁解がましいとするとその飲み屋さんは挑み掛かる fact4: このインターベンションは御出で頂くということはない fact5: 仮にこのインターベンションは挑み掛かるとしたら「この動物は酸っぱくない」ということは成り立たない fact6: このインターベンションは褐変する fact7: このインターベンションは弁解がましい一方で御出で頂かない fact8: もし仮にその飲み屋さんが弁解がましいとすればあの動物は挑み掛かる fact9: その飲み屋さんは病原性型だがそれは御出で頂かない fact10: このインターベンションは挑み掛かるがそれは御出で頂くということはない fact11: もし仮に何らかのものが言い辛いならそれはえぐくない一方で飛翔する fact12: この動物が挑み掛かるならばあの採点者は褐変する fact13: もし仮に「この動物は酸っぱいけれどそれは御出で頂かない」ということは真実であるならば「このインターベンションは挑み掛かる」ということは成り立つ fact14: 「その採点者は挑み掛かる」ということは事実である fact15: その飲み屋さんが秘蔵しないとしたら飛翔するしそれは言い辛い fact16: このインターベンションは酸っぱい一方で御出で頂かない fact17: その飲み屋さんが飛翔するとしたらこのインターベンションはえぐい fact18: もし「なにかは弁解がましいか挑み掛かる」ということは誤りであるとすると「褐変しない」ということは成り立つ fact19: 仮にこのインターベンションが酸っぱいけれどそれが御出で頂かないならばあの飲み屋さんは弁解がましい fact20: もし仮に「この動物は多くて慎み深い」ということは誤っているとすればあの飲み屋さんは秘蔵しない fact21: もしもなにがしかのものはえぐくないなら「それが挑み掛かるししかもそれが弁解はましくらない」ということは事実と異なる fact22: 「もし仮にその飲み屋さんが挑み掛かるとするとこの動物は弁解がましい」ということは正しい
fact19 & fact16 -> int1: その飲み屋さんは弁解がましい; int1 & fact8 -> int2: この動物は挑み掛かる; int2 & fact12 -> hypothesis;
その採点者は褐変しない
fact26 -> int3: もしも「その採点者は弁解がましいか挑み掛かるかもしくは両方ともである」ということは成り立たないなら「それは褐変するということはない」ということは成り立つ;
$facts$ = fact1: その飲み屋さんは挑み掛かる fact2: もしもこのインターベンションが酸っぱいし御出で頂くとしたらその飲み屋さんは弁解がましい fact3: もし仮にこの動物が弁解がましいとするとその飲み屋さんは挑み掛かる fact4: このインターベンションは御出で頂くということはない fact5: 仮にこのインターベンションは挑み掛かるとしたら「この動物は酸っぱくない」ということは成り立たない fact6: このインターベンションは褐変する fact7: このインターベンションは弁解がましい一方で御出で頂かない fact8: もし仮にその飲み屋さんが弁解がましいとすればあの動物は挑み掛かる fact9: その飲み屋さんは病原性型だがそれは御出で頂かない fact10: このインターベンションは挑み掛かるがそれは御出で頂くということはない fact11: もし仮に何らかのものが言い辛いならそれはえぐくない一方で飛翔する fact12: この動物が挑み掛かるならばあの採点者は褐変する fact13: もし仮に「この動物は酸っぱいけれどそれは御出で頂かない」ということは真実であるならば「このインターベンションは挑み掛かる」ということは成り立つ fact14: 「その採点者は挑み掛かる」ということは事実である fact15: その飲み屋さんが秘蔵しないとしたら飛翔するしそれは言い辛い fact16: このインターベンションは酸っぱい一方で御出で頂かない fact17: その飲み屋さんが飛翔するとしたらこのインターベンションはえぐい fact18: もし「なにかは弁解がましいか挑み掛かる」ということは誤りであるとすると「褐変しない」ということは成り立つ fact19: 仮にこのインターベンションが酸っぱいけれどそれが御出で頂かないならばあの飲み屋さんは弁解がましい fact20: もし仮に「この動物は多くて慎み深い」ということは誤っているとすればあの飲み屋さんは秘蔵しない fact21: もしもなにがしかのものはえぐくないなら「それが挑み掛かるししかもそれが弁解はましくらない」ということは事実と異なる fact22: 「もし仮にその飲み屋さんが挑み掛かるとするとこの動物は弁解がましい」ということは正しい ; $hypothesis$ = その採点者は褐変する ; $proof$ = 
fact19 & fact16 -> int1: その飲み屋さんは弁解がましい; int1 & fact8 -> int2: この動物は挑み掛かる; int2 & fact12 -> hypothesis; __PROVED__
事実1: その飲み屋さんは挑み掛かる
事実2: もしもこのインターベンションが酸っぱいし御出で頂くとしたらその飲み屋さんは弁解がましい
事実3: もし仮にこの動物が弁解がましいとするとその飲み屋さんは挑み掛かる
事実4: このインターベンションは御出で頂くということはない
事実5: 仮にこのインターベンションは挑み掛かるとしたら「この動物は酸っぱくない」ということは成り立たない
事実6: このインターベンションは褐変する
事実7: このインターベンションは弁解がましい一方で御出で頂かない
事実8: もし仮にその飲み屋さんが弁解がましいとすればあの動物は挑み掛かる
事実9: その飲み屋さんは病原性型だがそれは御出で頂かない
事実10: このインターベンションは挑み掛かるがそれは御出で頂くということはない
事実11: もし仮に何らかのものが言い辛いならそれはえぐくない一方で飛翔する
事実12: この動物が挑み掛かるならばあの採点者は褐変する
事実13: もし仮に「この動物は酸っぱいけれどそれは御出で頂かない」ということは真実であるならば「このインターベンションは挑み掛かる」ということは成り立つ
事実14: 「その採点者は挑み掛かる」ということは事実である
事実15: その飲み屋さんが秘蔵しないとしたら飛翔するしそれは言い辛い
事実16: このインターベンションは酸っぱい一方で御出で頂かない
事実17: その飲み屋さんが飛翔するとしたらこのインターベンションはえぐい
事実18: もし「なにかは弁解がましいか挑み掛かる」ということは誤りであるとすると「褐変しない」ということは成り立つ
事実19: 仮にこのインターベンションが酸っぱいけれどそれが御出で頂かないならばあの飲み屋さんは弁解がましい
事実20: もし仮に「この動物は多くて慎み深い」ということは誤っているとすればあの飲み屋さんは秘蔵しない
事実21: もしもなにがしかのものはえぐくないなら「それが挑み掛かるししかもそれが弁解はましくらない」ということは事実と異なる
事実22: 「もし仮にその飲み屋さんが挑み掛かるとするとこの動物は弁解がましい」ということは正しい

仮説: その採点者は褐変する
1. 事実19と事実16から、推論1: "その飲み屋さんは弁解がましい"が導かれる
2. 推論1と事実8から、推論2: "この動物は挑み掛かる"が導かれる
3. 推論2と事実12から、仮説が導かれる

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