「この施設入所支援が危ういしその上それは執念深い」ということは間違いである
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: 「「あのタウ蛋白質は復習しないけど表計算ソフトウェアーである」ということは成り立つ」ということは誤りだとすればこの施設入所支援は表計算ソフトウェアーである fact26: もしなんらかのものが表計算ソフトウェアーならばそれは執念深い
fact7 -> int1: そのゴールはされ易い; int1 & fact20 -> int2: その粘膜固有層はぼろい; int2 & fact19 -> int3: この施設入所支援は危うい; fact26 -> int4: もしこの施設入所支援が表計算ソフトウェアーならばそれは執念深い; fact25 & fact17 -> int5: この施設入所支援は表計算ソフトウェアーだ; int4 & int5 -> int6: この施設入所支援は執念深い; int3 & int6 -> hypothesis;
その低分子は執念深い
fact28 -> int7: もしその低分子が泣き続けるがしかしそれがされ易いということはないならば執念深い;
$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: 「「あのタウ蛋白質は復習しないけど表計算ソフトウェアーである」ということは成り立つ」ということは誤りだとすればこの施設入所支援は表計算ソフトウェアーである fact26: もしなんらかのものが表計算ソフトウェアーならばそれは執念深い ; $hypothesis$ = 「この施設入所支援が危ういしその上それは執念深い」ということは間違いである ; $proof$ = 
fact7 -> int1: そのゴールはされ易い; int1 & fact20 -> int2: その粘膜固有層はぼろい; int2 & fact19 -> int3: この施設入所支援は危うい; fact26 -> int4: もしこの施設入所支援が表計算ソフトウェアーならばそれは執念深い; fact25 & fact17 -> int5: この施設入所支援は表計算ソフトウェアーだ; int4 & int5 -> int6: この施設入所支援は執念深い; int3 & int6 -> hypothesis; __DISPROVED__
事実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: 「「あのタウ蛋白質は復習しないけど表計算ソフトウェアーである」ということは成り立つ」ということは誤りだとすればこの施設入所支援は表計算ソフトウェアーである
事実26: もしなんらかのものが表計算ソフトウェアーならばそれは執念深い

仮説: 「この施設入所支援が危ういしその上それは執念深い」ということは間違いである
1. 事実7から、推論1: "そのゴールはされ易い"が導かれる
2. 推論1と事実20から、推論2: "その粘膜固有層はぼろい"が導かれる
3. 推論2と事実19から、推論3: "この施設入所支援は危うい"が導かれる
4. 事実26から、推論4: "もしこの施設入所支援が表計算ソフトウェアーならばそれは執念深い"が導かれる
5. 事実25と事実17から、推論5: "この施設入所支援は表計算ソフトウェアーだ"が導かれる
6. 推論4と推論5から、推論6: "この施設入所支援は執念深い"が導かれる
7. 推論3と推論6から、仮説が否定される

よって、仮説が否定されました。