その石は狡っ辛いということはない
fact1: その石は焦れったい fact2: もしそのラッドが覚え易いならこの縁切り榎は改葬する fact3: 「そのラッドは胡椒するけれど世界革命でない」ということは偽であるなら胡椒しない fact4: そのラッドは動揺し易い fact5: もしも「この縁切り榎は焦れったい」ということは確かだとするとそのラッドは改葬する fact6: もし何らかのものは改葬するとすれば「生臭い」ということは真実だ fact7: 「その石は狡っ辛くないし焦れったくない」ということは間違いであるとしたら「生臭い」ということは真実である fact8: 仮にそのラッドは劇作家協会であるとしたら「その石は生臭いがしかしそれは歪まない」ということは嘘である fact9: 「そのラッドは電子工作だ」ということは事実と異ならないなら「胡椒するしおまけに世界革命でない」ということは確かでない fact10: 「その石は強制発現だということはない」ということは成り立つ fact11: 「なにがしかのものは生臭いが歪まない」ということは誤りだとすると覚え易い fact12: 仮に何かは改葬するしそれにそれが覚え易いとしたら狡っ辛くない fact13: もしもあるものが狡っ辛いとしたらそれは改葬する fact14: 「そのラッドは焦れったいということはないが動き難い」ということは成り立たない fact15: 仮に何かは胡椒しないとすると劇作家協会であるしさらに手荒い fact16: もしもそのラッドが動き難いならば覚え易い fact17: もしも「この縁切り榎は生臭い」ということは事実であるとするとその石は狡っ辛い fact18: 「そのラッドは焦れったくないしさらに動き難くない」ということは成り立つということはない fact19: そのラッドは監視し易い fact20: もし仮にその石は強制発現であるということはないなら改葬するしまた転び易い fact21: もし「そのラッドは焦れったくないし動き難いということはない」ということは偽ならばそれは覚え易い
fact21 & fact18 -> int1: そのラッドは覚え易い; int1 & fact2 -> int2: この縁切り榎は改葬する; fact6 -> int3: もしもこの縁切り榎が改葬すれば生臭い; int2 & int3 -> int4: この縁切り榎は生臭い; int4 & fact17 -> hypothesis;
その石は狡っ辛くない
fact24 -> int5: 「もし仮にその石が改葬するし加えて覚え易いとすればあの石は狡っ辛くない」ということは真実である; fact29 & fact23 -> int6: その石は改葬するし加えて転び易い; int6 -> int7: その石は改葬する; fact28 -> int8: 仮に「「その石は生臭いけれど歪まない」ということは成り立たない」ということは成り立つとしたらそれは覚え易い; fact22 -> int9: もし仮にそのラッドが胡椒しないなら劇作家協会でかつ手荒い;
$facts$ = fact1: その石は焦れったい fact2: もしそのラッドが覚え易いならこの縁切り榎は改葬する fact3: 「そのラッドは胡椒するけれど世界革命でない」ということは偽であるなら胡椒しない fact4: そのラッドは動揺し易い fact5: もしも「この縁切り榎は焦れったい」ということは確かだとするとそのラッドは改葬する fact6: もし何らかのものは改葬するとすれば「生臭い」ということは真実だ fact7: 「その石は狡っ辛くないし焦れったくない」ということは間違いであるとしたら「生臭い」ということは真実である fact8: 仮にそのラッドは劇作家協会であるとしたら「その石は生臭いがしかしそれは歪まない」ということは嘘である fact9: 「そのラッドは電子工作だ」ということは事実と異ならないなら「胡椒するしおまけに世界革命でない」ということは確かでない fact10: 「その石は強制発現だということはない」ということは成り立つ fact11: 「なにがしかのものは生臭いが歪まない」ということは誤りだとすると覚え易い fact12: 仮に何かは改葬するしそれにそれが覚え易いとしたら狡っ辛くない fact13: もしもあるものが狡っ辛いとしたらそれは改葬する fact14: 「そのラッドは焦れったいということはないが動き難い」ということは成り立たない fact15: 仮に何かは胡椒しないとすると劇作家協会であるしさらに手荒い fact16: もしもそのラッドが動き難いならば覚え易い fact17: もしも「この縁切り榎は生臭い」ということは事実であるとするとその石は狡っ辛い fact18: 「そのラッドは焦れったくないしさらに動き難くない」ということは成り立つということはない fact19: そのラッドは監視し易い fact20: もし仮にその石は強制発現であるということはないなら改葬するしまた転び易い fact21: もし「そのラッドは焦れったくないし動き難いということはない」ということは偽ならばそれは覚え易い ; $hypothesis$ = その石は狡っ辛いということはない ; $proof$ = 
fact21 & fact18 -> int1: そのラッドは覚え易い; int1 & fact2 -> int2: この縁切り榎は改葬する; fact6 -> int3: もしもこの縁切り榎が改葬すれば生臭い; int2 & int3 -> int4: この縁切り榎は生臭い; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: その石は焦れったい
事実2: もしそのラッドが覚え易いならこの縁切り榎は改葬する
事実3: 「そのラッドは胡椒するけれど世界革命でない」ということは偽であるなら胡椒しない
事実4: そのラッドは動揺し易い
事実5: もしも「この縁切り榎は焦れったい」ということは確かだとするとそのラッドは改葬する
事実6: もし何らかのものは改葬するとすれば「生臭い」ということは真実だ
事実7: 「その石は狡っ辛くないし焦れったくない」ということは間違いであるとしたら「生臭い」ということは真実である
事実8: 仮にそのラッドは劇作家協会であるとしたら「その石は生臭いがしかしそれは歪まない」ということは嘘である
事実9: 「そのラッドは電子工作だ」ということは事実と異ならないなら「胡椒するしおまけに世界革命でない」ということは確かでない
事実10: 「その石は強制発現だということはない」ということは成り立つ
事実11: 「なにがしかのものは生臭いが歪まない」ということは誤りだとすると覚え易い
事実12: 仮に何かは改葬するしそれにそれが覚え易いとしたら狡っ辛くない
事実13: もしもあるものが狡っ辛いとしたらそれは改葬する
事実14: 「そのラッドは焦れったいということはないが動き難い」ということは成り立たない
事実15: 仮に何かは胡椒しないとすると劇作家協会であるしさらに手荒い
事実16: もしもそのラッドが動き難いならば覚え易い
事実17: もしも「この縁切り榎は生臭い」ということは事実であるとするとその石は狡っ辛い
事実18: 「そのラッドは焦れったくないしさらに動き難くない」ということは成り立つということはない
事実19: そのラッドは監視し易い
事実20: もし仮にその石は強制発現であるということはないなら改葬するしまた転び易い
事実21: もし「そのラッドは焦れったくないし動き難いということはない」ということは偽ならばそれは覚え易い

仮説: その石は狡っ辛いということはない
1. 事実21と事実18から、推論1: "そのラッドは覚え易い"が導かれる
2. 推論1と事実2から、推論2: "この縁切り榎は改葬する"が導かれる
3. 事実6から、推論3: "もしもこの縁切り榎が改葬すれば生臭い"が導かれる
4. 推論2と推論3から、推論4: "この縁切り榎は生臭い"が導かれる
5. 推論4と事実17から、仮説が否定される

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