「その太郎は遣り易くない」ということは確かである
fact1: もしも何らかの物が閃くとすれば二年基準だ fact2: もしもこの法度が二年基準でそれに遣り易いとしたらその太郎は遣り易くない fact3: もしその豚埋葬坑は幼しとすると「それは不機嫌さでなくてそれにそれは二年基準でない」ということは成り立たない fact4: 「その女性弁護士は赤黒くないし鳴り止むということはない」ということは偽である fact5: 「閃く」ものはある fact6: もしも何らかのものは閃くということはないとすると「その太郎は回りくどいということはないかもしくは擱座するかまたは両方である」ということは真実でない fact7: 仮に「なにかは回りくどくないか擱座するかまたは両方ともである」ということは成り立たないならばそれは遣り易い fact8: もし仮に「その太郎は台座でないかそれは閃くかまたは両方ともである」ということは成り立たないならそれは気付き易い fact9: その太郎は親らしい fact10: 「閃かない」ものはある fact11: あの入母屋作りは擱座する fact12: 「なにかは不機嫌さでないしおまけに二年基準だということはない」ということは間違いであるなら「遣り易くない」ということは成り立つ fact13: 仮になにかは厳ついということはないならばそれは閃くししかも不機嫌さである fact14: 「なんらかのものは自然らしくないかそれは電光表示板である」ということは事実でないとすると来辛い fact15: その太郎は電光表示板だ fact16: もしも「その太郎は一眠りしないかそれは醸造酒だ」ということは嘘ならばそれは幼し fact17: もしも「その豚埋葬坑は厳つかなくてしかも不平等条約でない」ということは成り立つということはないとするとこの法度は厳つかない fact18: 仮に「その女性弁護士は赤黒くないし更に鳴り止まない」ということは正しくないとしたらその豚埋葬坑は赤黒くない fact19: その太郎は擱座しない fact20: その豚埋葬坑は赤黒くないなら「厳つかなくてまた不平等条約でない」ということは誤りである fact21: 仮に「閃かない」物があるとしたらその太郎は擱座しない
fact7 -> int1: 仮に「その太郎は回りくどくないかもしくは擱座する」ということは成り立たないとすれば遣り易い; fact10 & fact6 -> int2: 「その太郎は回りくどくないかもしくは擱座するかどちらもだ」ということは真実でない; int1 & int2 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact10 & fact6 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> hypothesis;
その太郎は遣り易いということはない
fact25 -> int3: もし仮に「この法度は閃く」ということは成り立てばそれは二年基準である; fact28 -> int4: 仮にこの法度が厳つかないとすれば閃くししかも不機嫌さだ; fact22 & fact24 -> int5: その豚埋葬坑は赤黒くない; fact27 & int5 -> int6: 「「その豚埋葬坑は厳つかないしその上それは不平等条約でない」ということは事実である」ということは成り立たない; fact23 & int6 -> int7: この法度は厳ついということはない; int4 & int7 -> int8: この法度は閃くしまた不機嫌さだ; int8 -> int9: 「この法度は閃く」ということは誤りでない; int3 & int9 -> int10: この法度は二年基準だ;
$facts$ = fact1: もしも何らかの物が閃くとすれば二年基準だ fact2: もしもこの法度が二年基準でそれに遣り易いとしたらその太郎は遣り易くない fact3: もしその豚埋葬坑は幼しとすると「それは不機嫌さでなくてそれにそれは二年基準でない」ということは成り立たない fact4: 「その女性弁護士は赤黒くないし鳴り止むということはない」ということは偽である fact5: 「閃く」ものはある fact6: もしも何らかのものは閃くということはないとすると「その太郎は回りくどいということはないかもしくは擱座するかまたは両方である」ということは真実でない fact7: 仮に「なにかは回りくどくないか擱座するかまたは両方ともである」ということは成り立たないならばそれは遣り易い fact8: もし仮に「その太郎は台座でないかそれは閃くかまたは両方ともである」ということは成り立たないならそれは気付き易い fact9: その太郎は親らしい fact10: 「閃かない」ものはある fact11: あの入母屋作りは擱座する fact12: 「なにかは不機嫌さでないしおまけに二年基準だということはない」ということは間違いであるなら「遣り易くない」ということは成り立つ fact13: 仮になにかは厳ついということはないならばそれは閃くししかも不機嫌さである fact14: 「なんらかのものは自然らしくないかそれは電光表示板である」ということは事実でないとすると来辛い fact15: その太郎は電光表示板だ fact16: もしも「その太郎は一眠りしないかそれは醸造酒だ」ということは嘘ならばそれは幼し fact17: もしも「その豚埋葬坑は厳つかなくてしかも不平等条約でない」ということは成り立つということはないとするとこの法度は厳つかない fact18: 仮に「その女性弁護士は赤黒くないし更に鳴り止まない」ということは正しくないとしたらその豚埋葬坑は赤黒くない fact19: その太郎は擱座しない fact20: その豚埋葬坑は赤黒くないなら「厳つかなくてまた不平等条約でない」ということは誤りである fact21: 仮に「閃かない」物があるとしたらその太郎は擱座しない ; $hypothesis$ = 「その太郎は遣り易くない」ということは確かである ; $proof$ = 
fact7 -> int1: 仮に「その太郎は回りくどくないかもしくは擱座する」ということは成り立たないとすれば遣り易い; fact10 & fact6 -> int2: 「その太郎は回りくどくないかもしくは擱座するかどちらもだ」ということは真実でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が閃くとすれば二年基準だ
事実2: もしもこの法度が二年基準でそれに遣り易いとしたらその太郎は遣り易くない
事実3: もしその豚埋葬坑は幼しとすると「それは不機嫌さでなくてそれにそれは二年基準でない」ということは成り立たない
事実4: 「その女性弁護士は赤黒くないし鳴り止むということはない」ということは偽である
事実5: 「閃く」ものはある
事実6: もしも何らかのものは閃くということはないとすると「その太郎は回りくどいということはないかもしくは擱座するかまたは両方である」ということは真実でない
事実7: 仮に「なにかは回りくどくないか擱座するかまたは両方ともである」ということは成り立たないならばそれは遣り易い
事実8: もし仮に「その太郎は台座でないかそれは閃くかまたは両方ともである」ということは成り立たないならそれは気付き易い
事実9: その太郎は親らしい
事実10: 「閃かない」ものはある
事実11: あの入母屋作りは擱座する
事実12: 「なにかは不機嫌さでないしおまけに二年基準だということはない」ということは間違いであるなら「遣り易くない」ということは成り立つ
事実13: 仮になにかは厳ついということはないならばそれは閃くししかも不機嫌さである
事実14: 「なんらかのものは自然らしくないかそれは電光表示板である」ということは事実でないとすると来辛い
事実15: その太郎は電光表示板だ
事実16: もしも「その太郎は一眠りしないかそれは醸造酒だ」ということは嘘ならばそれは幼し
事実17: もしも「その豚埋葬坑は厳つかなくてしかも不平等条約でない」ということは成り立つということはないとするとこの法度は厳つかない
事実18: 仮に「その女性弁護士は赤黒くないし更に鳴り止まない」ということは正しくないとしたらその豚埋葬坑は赤黒くない
事実19: その太郎は擱座しない
事実20: その豚埋葬坑は赤黒くないなら「厳つかなくてまた不平等条約でない」ということは誤りである
事実21: 仮に「閃かない」物があるとしたらその太郎は擱座しない

仮説: 「その太郎は遣り易くない」ということは確かである
1. 事実7から、推論1: "仮に「その太郎は回りくどくないかもしくは擱座する」ということは成り立たないとすれば遣り易い"が導かれる
2. 事実10と事実6から、推論2: "「その太郎は回りくどくないかもしくは擱座するかどちらもだ」ということは真実でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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