このリーガルマインドは直視出来る
fact1: とある物が無理無くないとするとそれは厚ぼったいかもしくは直視出来るか両方ともだ fact2: もし仮にその悪業が厚ぼったいとしたらこのリーガルマインドは直視出来る fact3: 「もし何らかの物が直視出来るし厚ぼったいならばあのリーガルマインドは無理無くない」ということは本当だ fact4: もしなにかは騒がしいということはないとすれば「それは埃っぽいけど険しかない」ということは間違っている fact5: 仮にその左端点が拷問するが掴まないとすると騒がしくない fact6: 「その左端点は拷問するけれど掴まない」ということは正しい fact7: もしも「そのハンドバッグは使えない」ということは成り立つとしたらあの馬鹿さ加減は厳めしくらないが久しい fact8: 厳めしくらない物は偽金であるが無理無くない fact9: 仮に「その左端点は埃っぽいけど険しいということはない」ということは成り立たないならあの自己弁護は有声音でない fact10: もし仮にあの馬鹿さ加減が厳めしいということはない一方で久しいならばその悪業は厳めしかない fact11: この回答者は無理無いし厚ぼったい fact12: もしも「何かは使えるし加えて有声音である」ということは誤りなら使えない fact13: もしなんらかのものが無理無くてさらに厚ぼったいとすればこのリーガルマインドは直視出来ない fact14: もしも「有声音でない」ものはあれば「そのハンドバッグは使えるしさらに有声音である」ということは事実と異なる
fact11 -> int1: 「なんらかのものは無理無くてさらに厚ぼったい」ということは間違いでない; int1 & fact13 -> hypothesis;
fact11 -> int1: (Ex): ({A}x & {B}x); int1 & fact13 -> hypothesis;
このリーガルマインドは直視出来る
fact21 -> int2: その悪業が無理無くないとしたらそれは厚ぼったいか直視出来る; fact18 -> int3: 「その悪業は厳めしいということはない」ということは成り立つとすればそれは偽金であるし更にそれは無理無くない; fact19 -> int4: 「もしも「そのハンドバッグは使えるしそれは有声音である」ということは偽ならばあのハンドバッグは使えない」ということは正しい; fact20 -> int5: 仮にその左端点は騒がしくないとしたら「埃っぽい一方で険しいということはない」ということは嘘だ; fact24 & fact22 -> int6: その左端点は騒がしくない; int5 & int6 -> int7: 「その左端点は埃っぽいけど険しかない」ということは偽である; fact23 & int7 -> int8: あの自己弁護は有声音でない; int8 -> int9: 「有声音でない」ものはある; int9 & fact25 -> int10: 「「そのハンドバッグは使えるしまた有声音だ」ということは間違っている」ということは事実である; int4 & int10 -> int11: そのハンドバッグは使えるということはない; fact15 & int11 -> int12: あの馬鹿さ加減は厳めしくらないがしかし久しい; fact16 & int12 -> int13: その悪業は厳めしかない; int3 & int13 -> int14: その悪業は偽金だがしかし無理無くない; int14 -> int15: その悪業は無理無くない; int2 & int15 -> int16: その悪業は厚ぼったいかもしくは直視出来る;
$facts$ = fact1: とある物が無理無くないとするとそれは厚ぼったいかもしくは直視出来るか両方ともだ fact2: もし仮にその悪業が厚ぼったいとしたらこのリーガルマインドは直視出来る fact3: 「もし何らかの物が直視出来るし厚ぼったいならばあのリーガルマインドは無理無くない」ということは本当だ fact4: もしなにかは騒がしいということはないとすれば「それは埃っぽいけど険しかない」ということは間違っている fact5: 仮にその左端点が拷問するが掴まないとすると騒がしくない fact6: 「その左端点は拷問するけれど掴まない」ということは正しい fact7: もしも「そのハンドバッグは使えない」ということは成り立つとしたらあの馬鹿さ加減は厳めしくらないが久しい fact8: 厳めしくらない物は偽金であるが無理無くない fact9: 仮に「その左端点は埃っぽいけど険しいということはない」ということは成り立たないならあの自己弁護は有声音でない fact10: もし仮にあの馬鹿さ加減が厳めしいということはない一方で久しいならばその悪業は厳めしかない fact11: この回答者は無理無いし厚ぼったい fact12: もしも「何かは使えるし加えて有声音である」ということは誤りなら使えない fact13: もしなんらかのものが無理無くてさらに厚ぼったいとすればこのリーガルマインドは直視出来ない fact14: もしも「有声音でない」ものはあれば「そのハンドバッグは使えるしさらに有声音である」ということは事実と異なる ; $hypothesis$ = このリーガルマインドは直視出来る ; $proof$ = 
fact11 -> int1: 「なんらかのものは無理無くてさらに厚ぼったい」ということは間違いでない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: とある物が無理無くないとするとそれは厚ぼったいかもしくは直視出来るか両方ともだ
事実2: もし仮にその悪業が厚ぼったいとしたらこのリーガルマインドは直視出来る
事実3: 「もし何らかの物が直視出来るし厚ぼったいならばあのリーガルマインドは無理無くない」ということは本当だ
事実4: もしなにかは騒がしいということはないとすれば「それは埃っぽいけど険しかない」ということは間違っている
事実5: 仮にその左端点が拷問するが掴まないとすると騒がしくない
事実6: 「その左端点は拷問するけれど掴まない」ということは正しい
事実7: もしも「そのハンドバッグは使えない」ということは成り立つとしたらあの馬鹿さ加減は厳めしくらないが久しい
事実8: 厳めしくらない物は偽金であるが無理無くない
事実9: 仮に「その左端点は埃っぽいけど険しいということはない」ということは成り立たないならあの自己弁護は有声音でない
事実10: もし仮にあの馬鹿さ加減が厳めしいということはない一方で久しいならばその悪業は厳めしかない
事実11: この回答者は無理無いし厚ぼったい
事実12: もしも「何かは使えるし加えて有声音である」ということは誤りなら使えない
事実13: もしなんらかのものが無理無くてさらに厚ぼったいとすればこのリーガルマインドは直視出来ない
事実14: もしも「有声音でない」ものはあれば「そのハンドバッグは使えるしさらに有声音である」ということは事実と異なる

仮説: このリーガルマインドは直視出来る
1. 事実11から、推論1: "「なんらかのものは無理無くてさらに厚ぼったい」ということは間違いでない"が導かれる
2. 推論1と事実13から、仮説が否定される

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