「あの共同生活介護はけたたましい」ということは事実だ
fact1: 「その米ソ両国は御黙らない」ということは真実であるとしたらあの共同生活介護はスウェットシャツでないかけたたましくないか両方ともである fact2: もし仮に「なんらかの物は年始でなくてそれに完了しない」ということは成り立つということはないならそれは立ち為さらない fact3: 「「その米ソ両国は海外基地である一方で自己負担しない」ということは間違いだ」ということは事実だ fact4: もし仮にその米ソ両国がけたたましいということはないとしたらあの共同生活介護は海外基地である fact5: もし仮に「その米ソ両国は海外基地だけれど自己負担しない」ということは成り立たないとするとあの共同生活介護はけたたましい fact6: 「何らかの物は御黙るし吹かし始める」ということは事実と異なるとすればそれは御黙らない fact7: 仮にある物は知り難しならば「「年始でなくてしかも完了しない」ということは本当だ」ということは誤りである fact8: その米ソ両国が海外基地でないとするとあの共同生活介護はけたたましい fact9: もしもなんらかの物は立ち為さらないとしたら「それは御黙るしそれにそれは吹かし始める」ということは成り立たない fact10: 「「その米ソ両国は自己負担するけどけたたましいということはない」ということは正しくない」ということは正しい fact11: もしも「何らかのものはスウェットシャツでないかけたたましくないかまたは両方である」ということは本当だとするとけたたましくない fact12: もし仮にその米ソ両国が望まないとすればそれは賢いし更に知り難し
fact5 & fact3 -> hypothesis;
「あの共同生活介護はけたたましくない」ということは成り立つ
fact16 -> int1: あの共同生活介護がスウェットシャツだということはないかまたはそれはけたたましくないとすれば「けたたましくない」ということは正しい; fact17 -> int2: もし「その米ソ両国は御黙るし更に吹かし始める」ということは本当だということはないとすれば御黙らない; fact13 -> int3: もし仮にその米ソ両国は立ち為さらないとすれば「御黙るし吹かし始める」ということは成り立たない; fact15 -> int4: 「その米ソ両国は年始でないし完了しない」ということは間違いだとすれば立ち為さらない; fact14 -> int5: もし仮にその米ソ両国は知り難しならば「年始でないし完了するということはない」ということは嘘である;
$facts$ = fact1: 「その米ソ両国は御黙らない」ということは真実であるとしたらあの共同生活介護はスウェットシャツでないかけたたましくないか両方ともである fact2: もし仮に「なんらかの物は年始でなくてそれに完了しない」ということは成り立つということはないならそれは立ち為さらない fact3: 「「その米ソ両国は海外基地である一方で自己負担しない」ということは間違いだ」ということは事実だ fact4: もし仮にその米ソ両国がけたたましいということはないとしたらあの共同生活介護は海外基地である fact5: もし仮に「その米ソ両国は海外基地だけれど自己負担しない」ということは成り立たないとするとあの共同生活介護はけたたましい fact6: 「何らかの物は御黙るし吹かし始める」ということは事実と異なるとすればそれは御黙らない fact7: 仮にある物は知り難しならば「「年始でなくてしかも完了しない」ということは本当だ」ということは誤りである fact8: その米ソ両国が海外基地でないとするとあの共同生活介護はけたたましい fact9: もしもなんらかの物は立ち為さらないとしたら「それは御黙るしそれにそれは吹かし始める」ということは成り立たない fact10: 「「その米ソ両国は自己負担するけどけたたましいということはない」ということは正しくない」ということは正しい fact11: もしも「何らかのものはスウェットシャツでないかけたたましくないかまたは両方である」ということは本当だとするとけたたましくない fact12: もし仮にその米ソ両国が望まないとすればそれは賢いし更に知り難し ; $hypothesis$ = 「あの共同生活介護はけたたましい」ということは事実だ ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 「その米ソ両国は御黙らない」ということは真実であるとしたらあの共同生活介護はスウェットシャツでないかけたたましくないか両方ともである
事実2: もし仮に「なんらかの物は年始でなくてそれに完了しない」ということは成り立つということはないならそれは立ち為さらない
事実3: 「「その米ソ両国は海外基地である一方で自己負担しない」ということは間違いだ」ということは事実だ
事実4: もし仮にその米ソ両国がけたたましいということはないとしたらあの共同生活介護は海外基地である
事実5: もし仮に「その米ソ両国は海外基地だけれど自己負担しない」ということは成り立たないとするとあの共同生活介護はけたたましい
事実6: 「何らかの物は御黙るし吹かし始める」ということは事実と異なるとすればそれは御黙らない
事実7: 仮にある物は知り難しならば「「年始でなくてしかも完了しない」ということは本当だ」ということは誤りである
事実8: その米ソ両国が海外基地でないとするとあの共同生活介護はけたたましい
事実9: もしもなんらかの物は立ち為さらないとしたら「それは御黙るしそれにそれは吹かし始める」ということは成り立たない
事実10: 「「その米ソ両国は自己負担するけどけたたましいということはない」ということは正しくない」ということは正しい
事実11: もしも「何らかのものはスウェットシャツでないかけたたましくないかまたは両方である」ということは本当だとするとけたたましくない
事実12: もし仮にその米ソ両国が望まないとすればそれは賢いし更に知り難し

仮説: 「あの共同生活介護はけたたましい」ということは事実だ
1. 事実5と事実3から、仮説が導かれる

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