この分子内は苛々しない
fact1: もし仮にその言論がターフでないとすると人材群でないかそれは鉢物だということはないかまたはどちらもだ fact2: 仮に「何らかのものは姿勢保持でなくてそれに苛々しない」ということは誤っていればそれは苛々する fact3: もしもとある物は照り輝くとすれば「それは合成色でない」ということは偽であるということはない fact4: あの年始は姿勢保持でないがそれはアパートメント事業である fact5: 仮に「姿勢保持でないしさらにアパートメント事業である」ものはあるとしたら「この分子内は苛々するということはない」ということは事実である fact6: もし何らかのものが合成色でないとすればアパートメント事業でおまけに姿勢保持だ fact7: その言論はターフでない fact8: 「その言論は人材群でないかあるいは鉢物でないかまたは両方ともである」ということは成り立つとすると照り輝く
fact4 -> int1: 「「姿勢保持でないしアパートメント事業である」ということは事実な」物はある; int1 & fact5 -> hypothesis;
fact4 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact5 -> hypothesis;
この分子内は苛々する
fact12 -> int2: もし「この分子内は姿勢保持でないしまた苛々しない」ということは本当でないとするとそれは苛々する; fact9 -> int3: その言論が合成色でないならばそれはアパートメント事業であるし加えて姿勢保持である; fact10 -> int4: もしその言論が照り輝くとすればそれは合成色でない; fact14 & fact11 -> int5: その言論は人材群でないかあるいは鉢物でないかまたは両方ともである; fact13 & int5 -> int6: その言論は照り輝く; int4 & int6 -> int7: その言論は合成色であるということはない; int3 & int7 -> int8: その言論はアパートメント事業で更にそれは姿勢保持だ; int8 -> int9: その言論は姿勢保持である; int9 -> int10: 「姿勢保持な」物はある;
$facts$ = fact1: もし仮にその言論がターフでないとすると人材群でないかそれは鉢物だということはないかまたはどちらもだ fact2: 仮に「何らかのものは姿勢保持でなくてそれに苛々しない」ということは誤っていればそれは苛々する fact3: もしもとある物は照り輝くとすれば「それは合成色でない」ということは偽であるということはない fact4: あの年始は姿勢保持でないがそれはアパートメント事業である fact5: 仮に「姿勢保持でないしさらにアパートメント事業である」ものはあるとしたら「この分子内は苛々するということはない」ということは事実である fact6: もし何らかのものが合成色でないとすればアパートメント事業でおまけに姿勢保持だ fact7: その言論はターフでない fact8: 「その言論は人材群でないかあるいは鉢物でないかまたは両方ともである」ということは成り立つとすると照り輝く ; $hypothesis$ = この分子内は苛々しない ; $proof$ = 
fact4 -> int1: 「「姿勢保持でないしアパートメント事業である」ということは事実な」物はある; int1 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にその言論がターフでないとすると人材群でないかそれは鉢物だということはないかまたはどちらもだ
事実2: 仮に「何らかのものは姿勢保持でなくてそれに苛々しない」ということは誤っていればそれは苛々する
事実3: もしもとある物は照り輝くとすれば「それは合成色でない」ということは偽であるということはない
事実4: あの年始は姿勢保持でないがそれはアパートメント事業である
事実5: 仮に「姿勢保持でないしさらにアパートメント事業である」ものはあるとしたら「この分子内は苛々するということはない」ということは事実である
事実6: もし何らかのものが合成色でないとすればアパートメント事業でおまけに姿勢保持だ
事実7: その言論はターフでない
事実8: 「その言論は人材群でないかあるいは鉢物でないかまたは両方ともである」ということは成り立つとすると照り輝く

仮説: この分子内は苛々しない
1. 事実4から、推論1: "「「姿勢保持でないしアパートメント事業である」ということは事実な」物はある"が導かれる
2. 推論1と事実5から、仮説が導かれる

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