その白色は静態化する
fact1: 「そのギルドホールは疼くということはないかまたは煩わしくない」ということは成り立たないとすると「そのストップウォッチは疼く」ということは正しい fact2: そのストップウォッチは煩わしい fact3: 仮にそのストップウォッチが褪せるとすればあのギルドホールは御白州だ fact4: もしそのストップウォッチが御白州ならその白色は静態化する fact5: その白色は言い訳がましい fact6: あの高額納税者は二組合であるとすると御構い無い fact7: もしもそのギルドホールが褪せるとするとそのストップウォッチは御白州である fact8: もし仮にその白色が煩わしいとしたらそのギルドホールは静態化する fact9: もしも「その樽はＧＰＡだがしかしそれは御構い無くない」ということは成り立たないとしたらＧＰＡでない fact10: もし仮に「御白州な」ものがあるとすればそのストップウォッチは静態化するかもしくは煩わしい fact11: 「疼く」物はある fact12: その学級会が二組合だとするとあの高額納税者は二組合だ fact13: そのストップウォッチは吸収し易い fact14: その白色は御白州だ fact15: 買い易い物は御白州である fact16: もしも「疼く」ものがあるとすればあのギルドホールは煩わしいかもしくは褪せる fact17: もし仮にその学級会が大腸内視鏡データベースならあの高額納税者は二組合だ fact18: もし仮に「何かは背面でない」ということは成り立つなら大腸内視鏡データベースであるかもしくは二組合である fact19: 仮にその白色は褪せないとしたら「そのギルドホールは疼かないかあるいは煩わしくない」ということは事実と異なる fact20: もしも「御構い無い」ものはあるとすれば「その樽はＧＰＡであるけど御構い無くない」ということは間違っている fact21: 煩わしいものは静態化するということはないし疼かない fact22: とある物が疼くなら静態化する fact23: もしもそのギルドホールが御白州ならその白色は煩わしいかもしくはそれは褪せないか両方ともである fact24: もし仮にそのギルドホールが煩わしいとしたらそのストップウォッチは御白州である fact25: その学級会は背面だということはない
fact11 & fact16 -> int1: そのギルドホールは煩わしいかまたはそれは褪せる; int1 & fact24 & fact7 -> int2: そのストップウォッチは御白州だ; int2 & fact4 -> hypothesis;
fact11 & fact16 -> int1: ({B}{a} v {C}{a}); int1 & fact24 & fact7 -> int2: {D}{b}; int2 & fact4 -> hypothesis;
その白色は静態化しない
fact27 -> int3: もし仮にその白色が煩わしいとすると静態化しないしかつ疼かない; fact26 -> int4: そのギルドホールは買い易いとしたら「それは御白州だ」ということは真実だ;
$facts$ = fact1: 「そのギルドホールは疼くということはないかまたは煩わしくない」ということは成り立たないとすると「そのストップウォッチは疼く」ということは正しい fact2: そのストップウォッチは煩わしい fact3: 仮にそのストップウォッチが褪せるとすればあのギルドホールは御白州だ fact4: もしそのストップウォッチが御白州ならその白色は静態化する fact5: その白色は言い訳がましい fact6: あの高額納税者は二組合であるとすると御構い無い fact7: もしもそのギルドホールが褪せるとするとそのストップウォッチは御白州である fact8: もし仮にその白色が煩わしいとしたらそのギルドホールは静態化する fact9: もしも「その樽はＧＰＡだがしかしそれは御構い無くない」ということは成り立たないとしたらＧＰＡでない fact10: もし仮に「御白州な」ものがあるとすればそのストップウォッチは静態化するかもしくは煩わしい fact11: 「疼く」物はある fact12: その学級会が二組合だとするとあの高額納税者は二組合だ fact13: そのストップウォッチは吸収し易い fact14: その白色は御白州だ fact15: 買い易い物は御白州である fact16: もしも「疼く」ものがあるとすればあのギルドホールは煩わしいかもしくは褪せる fact17: もし仮にその学級会が大腸内視鏡データベースならあの高額納税者は二組合だ fact18: もし仮に「何かは背面でない」ということは成り立つなら大腸内視鏡データベースであるかもしくは二組合である fact19: 仮にその白色は褪せないとしたら「そのギルドホールは疼かないかあるいは煩わしくない」ということは事実と異なる fact20: もしも「御構い無い」ものはあるとすれば「その樽はＧＰＡであるけど御構い無くない」ということは間違っている fact21: 煩わしいものは静態化するということはないし疼かない fact22: とある物が疼くなら静態化する fact23: もしもそのギルドホールが御白州ならその白色は煩わしいかもしくはそれは褪せないか両方ともである fact24: もし仮にそのギルドホールが煩わしいとしたらそのストップウォッチは御白州である fact25: その学級会は背面だということはない ; $hypothesis$ = その白色は静態化する ; $proof$ = 
fact11 & fact16 -> int1: そのギルドホールは煩わしいかまたはそれは褪せる; int1 & fact24 & fact7 -> int2: そのストップウォッチは御白州だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「そのギルドホールは疼くということはないかまたは煩わしくない」ということは成り立たないとすると「そのストップウォッチは疼く」ということは正しい
事実2: そのストップウォッチは煩わしい
事実3: 仮にそのストップウォッチが褪せるとすればあのギルドホールは御白州だ
事実4: もしそのストップウォッチが御白州ならその白色は静態化する
事実5: その白色は言い訳がましい
事実6: あの高額納税者は二組合であるとすると御構い無い
事実7: もしもそのギルドホールが褪せるとするとそのストップウォッチは御白州である
事実8: もし仮にその白色が煩わしいとしたらそのギルドホールは静態化する
事実9: もしも「その樽はＧＰＡだがしかしそれは御構い無くない」ということは成り立たないとしたらＧＰＡでない
事実10: もし仮に「御白州な」ものがあるとすればそのストップウォッチは静態化するかもしくは煩わしい
事実11: 「疼く」物はある
事実12: その学級会が二組合だとするとあの高額納税者は二組合だ
事実13: そのストップウォッチは吸収し易い
事実14: その白色は御白州だ
事実15: 買い易い物は御白州である
事実16: もしも「疼く」ものがあるとすればあのギルドホールは煩わしいかもしくは褪せる
事実17: もし仮にその学級会が大腸内視鏡データベースならあの高額納税者は二組合だ
事実18: もし仮に「何かは背面でない」ということは成り立つなら大腸内視鏡データベースであるかもしくは二組合である
事実19: 仮にその白色は褪せないとしたら「そのギルドホールは疼かないかあるいは煩わしくない」ということは事実と異なる
事実20: もしも「御構い無い」ものはあるとすれば「その樽はＧＰＡであるけど御構い無くない」ということは間違っている
事実21: 煩わしいものは静態化するということはないし疼かない
事実22: とある物が疼くなら静態化する
事実23: もしもそのギルドホールが御白州ならその白色は煩わしいかもしくはそれは褪せないか両方ともである
事実24: もし仮にそのギルドホールが煩わしいとしたらそのストップウォッチは御白州である
事実25: その学級会は背面だということはない

仮説: その白色は静態化する
1. 事実11と事実16から、推論1: "そのギルドホールは煩わしいかまたはそれは褪せる"が導かれる
2. 推論1と事実24と事実7から、推論2: "そのストップウォッチは御白州だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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