「この鰊蕎麦は油っぽくてさらにそれは取り扱い易い」ということは成り立たない
fact1: 仮にこの鰊蕎麦が鳥取城であるとすればこの第三者評価機関は膨らみであるかあるいは取り扱い易くない fact2: 「「御勝ちだしそれに雑菌だ」ということは真実でない」物はある fact3: 何らかの物が膨らみならば油っぽい fact4: 「「何らかのものは御勝ちだがしかし雑菌でない」ということは真実だ」ということは偽ならそれは雑菌だ fact5: 仮にあの故紙が膨らみでないかそれが油っぽいとするとこの鰊蕎麦は油っぽい fact6: この鰊蕎麦は鳥取城でないなら「それは油っぽいしその上取り扱い易い」ということは偽である fact7: この鰊蕎麦は鳥取城でない fact8: 仮にとある物は雑菌であるならばそれは切ない fact9: このカリフォルニア米は取り扱い易いということはない fact10: あの故紙は堆くない fact11: もしもあの故紙は紫蘇エキスでないとすると「この鰊蕎麦は切ないけどそれは姉神でない」ということは間違いだ fact12: とあるものは膨らみであるかもしくは取り扱い易くないかもしくはどちらもであるなら「それは取り扱い易くない」ということは確かである fact13: 「切なくないものは鳥取城で取り扱い易い」ということは事実である fact14: もしもあの故紙は堆くないとしたら「御勝ちであるがしかし雑菌でない」ということは誤りだ fact15: 「「この鰊蕎麦は姉神であるしさらに紫蘇エキスである」ということは成り立たない」ということは成り立つとしたら「紫蘇エキスであるということはない」ということは確かだ fact16: もしあの故紙が切ないとすると膨らみでないかまたは油っぽいかもしくは両方ともである fact17: もし仮にこの鰊蕎麦は血管拡張でないとすれば「骨っぽいし使い易い」ということは誤りだ fact18: 仮にとあるものが紫蘇エキスでないとすれば取り扱い易くて鳥取城である
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
この鰊蕎麦は油っぽくてまた取り扱い易い
fact20 -> int1: もしあの故紙は雑菌だとすれば「それは切ない」ということは真実である; fact22 -> int2: 「あの故紙は御勝ちであるがしかし雑菌だということはない」ということは偽であるとすれば雑菌だ; fact19 & fact26 -> int3: 「「あの故紙は御勝ちだ一方で雑菌でない」ということは成り立つ」ということは成り立つということはない; int2 & int3 -> int4: あの故紙は雑菌だ; int1 & int4 -> int5: 「あの故紙は切ない」ということは誤りでない; fact25 & int5 -> int6: あの故紙は膨らみでないかまたは油っぽいかあるいは両方である; fact21 & int6 -> int7: この鰊蕎麦は油っぽい; fact23 -> int8: もしもこの鰊蕎麦は紫蘇エキスでないならそれは取り扱い易くて鳥取城だ;
$facts$ = fact1: 仮にこの鰊蕎麦が鳥取城であるとすればこの第三者評価機関は膨らみであるかあるいは取り扱い易くない fact2: 「「御勝ちだしそれに雑菌だ」ということは真実でない」物はある fact3: 何らかの物が膨らみならば油っぽい fact4: 「「何らかのものは御勝ちだがしかし雑菌でない」ということは真実だ」ということは偽ならそれは雑菌だ fact5: 仮にあの故紙が膨らみでないかそれが油っぽいとするとこの鰊蕎麦は油っぽい fact6: この鰊蕎麦は鳥取城でないなら「それは油っぽいしその上取り扱い易い」ということは偽である fact7: この鰊蕎麦は鳥取城でない fact8: 仮にとある物は雑菌であるならばそれは切ない fact9: このカリフォルニア米は取り扱い易いということはない fact10: あの故紙は堆くない fact11: もしもあの故紙は紫蘇エキスでないとすると「この鰊蕎麦は切ないけどそれは姉神でない」ということは間違いだ fact12: とあるものは膨らみであるかもしくは取り扱い易くないかもしくはどちらもであるなら「それは取り扱い易くない」ということは確かである fact13: 「切なくないものは鳥取城で取り扱い易い」ということは事実である fact14: もしもあの故紙は堆くないとしたら「御勝ちであるがしかし雑菌でない」ということは誤りだ fact15: 「「この鰊蕎麦は姉神であるしさらに紫蘇エキスである」ということは成り立たない」ということは成り立つとしたら「紫蘇エキスであるということはない」ということは確かだ fact16: もしあの故紙が切ないとすると膨らみでないかまたは油っぽいかもしくは両方ともである fact17: もし仮にこの鰊蕎麦は血管拡張でないとすれば「骨っぽいし使い易い」ということは誤りだ fact18: 仮にとあるものが紫蘇エキスでないとすれば取り扱い易くて鳥取城である ; $hypothesis$ = 「この鰊蕎麦は油っぽくてさらにそれは取り扱い易い」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこの鰊蕎麦が鳥取城であるとすればこの第三者評価機関は膨らみであるかあるいは取り扱い易くない
事実2: 「「御勝ちだしそれに雑菌だ」ということは真実でない」物はある
事実3: 何らかの物が膨らみならば油っぽい
事実4: 「「何らかのものは御勝ちだがしかし雑菌でない」ということは真実だ」ということは偽ならそれは雑菌だ
事実5: 仮にあの故紙が膨らみでないかそれが油っぽいとするとこの鰊蕎麦は油っぽい
事実6: この鰊蕎麦は鳥取城でないなら「それは油っぽいしその上取り扱い易い」ということは偽である
事実7: この鰊蕎麦は鳥取城でない
事実8: 仮にとある物は雑菌であるならばそれは切ない
事実9: このカリフォルニア米は取り扱い易いということはない
事実10: あの故紙は堆くない
事実11: もしもあの故紙は紫蘇エキスでないとすると「この鰊蕎麦は切ないけどそれは姉神でない」ということは間違いだ
事実12: とあるものは膨らみであるかもしくは取り扱い易くないかもしくはどちらもであるなら「それは取り扱い易くない」ということは確かである
事実13: 「切なくないものは鳥取城で取り扱い易い」ということは事実である
事実14: もしもあの故紙は堆くないとしたら「御勝ちであるがしかし雑菌でない」ということは誤りだ
事実15: 「「この鰊蕎麦は姉神であるしさらに紫蘇エキスである」ということは成り立たない」ということは成り立つとしたら「紫蘇エキスであるということはない」ということは確かだ
事実16: もしあの故紙が切ないとすると膨らみでないかまたは油っぽいかもしくは両方ともである
事実17: もし仮にこの鰊蕎麦は血管拡張でないとすれば「骨っぽいし使い易い」ということは誤りだ
事実18: 仮にとあるものが紫蘇エキスでないとすれば取り扱い易くて鳥取城である

仮説: 「この鰊蕎麦は油っぽくてさらにそれは取り扱い易い」ということは成り立たない
1. 事実6と事実7から、仮説が導かれる

よって、仮説が証明されました。