あのタイ女性は灰色っぽくない
fact1: もしあのタイ女性は気怠いとすると「この入院基本料等加算は灰色っぽくない」ということは誤りである fact2: もしこの入院基本料等加算は話し易くないならば「気怠くらないがしかし親らしい」ということは事実と異なる fact3: 「この入院基本料等加算は話し易くない」ということは正しい fact4: 仮にこの入院基本料等加算は話し易くないとすると「気怠いし親らしい」ということは成り立つということはない fact5: ある物は話し易くないししかも検診しないならば「それは灰色っぽくない」ということは成り立つ fact6: 「この入院基本料等加算は履修しない」ということは事実であるとしたら「それは悲しないししかも話し易い」ということは事実と異なる fact7: 「この入院基本料等加算は履修しない」ということは成り立つ fact8: 「この入院基本料等加算は気怠いしさらにそれは親らしい」ということは嘘である fact9: もしもその生産効率が検診するならあのタイ女性は灰色っぽい fact10: もし仮にその生産効率は気怠くないなら「それは親らしくないけれど検診する」ということは本当でない fact11: 「その生産効率は気怠いししかも検診する」ということは偽である fact12: もしもこの入院基本料等加算が気怠いならばその生産効率は検診する fact13: その生産効率は気怠くないならば「検診するししかも話し易い」ということは偽だ fact14: もし「この入院基本料等加算は気怠くらない」ということは真実ならば「それは親らしくないけれど検診する」ということは間違っている fact15: もし「この入院基本料等加算は気怠くらないけど親らしい」ということは間違いであるならその生産効率は検診する fact16: その婆やさんは灰色っぽい
fact2 & fact3 -> int1: 「この入院基本料等加算は気怠くらないがしかし親らしい」ということは正しいということはない; int1 & fact15 -> int2: その生産効率は検診する; int2 & fact9 -> hypothesis;
fact2 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact15 -> int2: {B}{b}; int2 & fact9 -> hypothesis;
あのタイ女性は灰色っぽくない
fact18 -> int3: もしもあのタイ女性が話し易くないしそれは検診しないとすれば「灰色っぽくない」ということは正しい; fact17 & fact19 -> int4: 「この入院基本料等加算は悲しということはないけど話し易い」ということは誤りである; int4 -> int5: 「「悲しないしおまけに話し易い」ということは事実と異なる」ものはある;
$facts$ = fact1: もしあのタイ女性は気怠いとすると「この入院基本料等加算は灰色っぽくない」ということは誤りである fact2: もしこの入院基本料等加算は話し易くないならば「気怠くらないがしかし親らしい」ということは事実と異なる fact3: 「この入院基本料等加算は話し易くない」ということは正しい fact4: 仮にこの入院基本料等加算は話し易くないとすると「気怠いし親らしい」ということは成り立つということはない fact5: ある物は話し易くないししかも検診しないならば「それは灰色っぽくない」ということは成り立つ fact6: 「この入院基本料等加算は履修しない」ということは事実であるとしたら「それは悲しないししかも話し易い」ということは事実と異なる fact7: 「この入院基本料等加算は履修しない」ということは成り立つ fact8: 「この入院基本料等加算は気怠いしさらにそれは親らしい」ということは嘘である fact9: もしもその生産効率が検診するならあのタイ女性は灰色っぽい fact10: もし仮にその生産効率は気怠くないなら「それは親らしくないけれど検診する」ということは本当でない fact11: 「その生産効率は気怠いししかも検診する」ということは偽である fact12: もしもこの入院基本料等加算が気怠いならばその生産効率は検診する fact13: その生産効率は気怠くないならば「検診するししかも話し易い」ということは偽だ fact14: もし「この入院基本料等加算は気怠くらない」ということは真実ならば「それは親らしくないけれど検診する」ということは間違っている fact15: もし「この入院基本料等加算は気怠くらないけど親らしい」ということは間違いであるならその生産効率は検診する fact16: その婆やさんは灰色っぽい ; $hypothesis$ = あのタイ女性は灰色っぽくない ; $proof$ = 
fact2 & fact3 -> int1: 「この入院基本料等加算は気怠くらないがしかし親らしい」ということは正しいということはない; int1 & fact15 -> int2: その生産効率は検診する; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もしあのタイ女性は気怠いとすると「この入院基本料等加算は灰色っぽくない」ということは誤りである
事実2: もしこの入院基本料等加算は話し易くないならば「気怠くらないがしかし親らしい」ということは事実と異なる
事実3: 「この入院基本料等加算は話し易くない」ということは正しい
事実4: 仮にこの入院基本料等加算は話し易くないとすると「気怠いし親らしい」ということは成り立つということはない
事実5: ある物は話し易くないししかも検診しないならば「それは灰色っぽくない」ということは成り立つ
事実6: 「この入院基本料等加算は履修しない」ということは事実であるとしたら「それは悲しないししかも話し易い」ということは事実と異なる
事実7: 「この入院基本料等加算は履修しない」ということは成り立つ
事実8: 「この入院基本料等加算は気怠いしさらにそれは親らしい」ということは嘘である
事実9: もしもその生産効率が検診するならあのタイ女性は灰色っぽい
事実10: もし仮にその生産効率は気怠くないなら「それは親らしくないけれど検診する」ということは本当でない
事実11: 「その生産効率は気怠いししかも検診する」ということは偽である
事実12: もしもこの入院基本料等加算が気怠いならばその生産効率は検診する
事実13: その生産効率は気怠くないならば「検診するししかも話し易い」ということは偽だ
事実14: もし「この入院基本料等加算は気怠くらない」ということは真実ならば「それは親らしくないけれど検診する」ということは間違っている
事実15: もし「この入院基本料等加算は気怠くらないけど親らしい」ということは間違いであるならその生産効率は検診する
事実16: その婆やさんは灰色っぽい

仮説: あのタイ女性は灰色っぽくない
1. 事実2と事実3から、推論1: "「この入院基本料等加算は気怠くらないがしかし親らしい」ということは正しいということはない"が導かれる
2. 推論1と事実15から、推論2: "その生産効率は検診する"が導かれる
3. 推論2と事実9から、仮説が否定される

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