「この花卉導入は三十八ページ参照でないしおまけに兄弟姉妹等でない」ということは偽である
fact1: 「このＳトップは三十八ページ参照であるししかも兄弟姉妹等だ」ということは嘘だ fact2: 仮に「「聞こし召すし十億円未満である」ということは誤りな」ものがあればこのＳトップは兄弟姉妹等であるということはない fact3: 仮にこの花卉導入が三十八ページ参照でないならその山麓は十億円未満でないし更に三十八ページ参照でない fact4: このＳトップが兄弟姉妹等でないとすればこの花卉導入は三十八ページ参照だということはないしさらに兄弟姉妹等でない fact5: この花卉導入は苦闘しない fact6: そのセカンダリは兄弟姉妹等でない fact7: 「「三十八ページ参照であるし兄弟姉妹等である」ということは成り立たない」ものはある fact8: 「聞こし召すししかも十億円未満である」ものはある fact9: 「その山麓は聞こし召すし加えて十億円未満である」ということは嘘だ fact10: 仮にこのＳトップが兄弟姉妹等でないならばこの花卉導入は三十八ページ参照でない fact11: 仮になんらかのものは有り難くないとすると「三十八ページ参照でなくてそれは兄弟姉妹等でない」ということは偽である fact12: このＳトップは挙でない
fact9 -> int1: 「「聞こし召すしその上十億円未満である」ということは事実と異なる」ものはある; int1 & fact2 -> int2: このＳトップは兄弟姉妹等でない; int2 & fact4 -> hypothesis;
fact9 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact2 -> int2: ¬{A}{a}; int2 & fact4 -> hypothesis;
「この花卉導入は三十八ページ参照でないしその上兄弟姉妹等でない」ということは偽だ
fact13 -> int3: この花卉導入は有り難くないとしたら「「三十八ページ参照でなくて加えてそれは兄弟姉妹等でない」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: 「このＳトップは三十八ページ参照であるししかも兄弟姉妹等だ」ということは嘘だ fact2: 仮に「「聞こし召すし十億円未満である」ということは誤りな」ものがあればこのＳトップは兄弟姉妹等であるということはない fact3: 仮にこの花卉導入が三十八ページ参照でないならその山麓は十億円未満でないし更に三十八ページ参照でない fact4: このＳトップが兄弟姉妹等でないとすればこの花卉導入は三十八ページ参照だということはないしさらに兄弟姉妹等でない fact5: この花卉導入は苦闘しない fact6: そのセカンダリは兄弟姉妹等でない fact7: 「「三十八ページ参照であるし兄弟姉妹等である」ということは成り立たない」ものはある fact8: 「聞こし召すししかも十億円未満である」ものはある fact9: 「その山麓は聞こし召すし加えて十億円未満である」ということは嘘だ fact10: 仮にこのＳトップが兄弟姉妹等でないならばこの花卉導入は三十八ページ参照でない fact11: 仮になんらかのものは有り難くないとすると「三十八ページ参照でなくてそれは兄弟姉妹等でない」ということは偽である fact12: このＳトップは挙でない ; $hypothesis$ = 「この花卉導入は三十八ページ参照でないしおまけに兄弟姉妹等でない」ということは偽である ; $proof$ = 
fact9 -> int1: 「「聞こし召すしその上十億円未満である」ということは事実と異なる」ものはある; int1 & fact2 -> int2: このＳトップは兄弟姉妹等でない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「このＳトップは三十八ページ参照であるししかも兄弟姉妹等だ」ということは嘘だ
事実2: 仮に「「聞こし召すし十億円未満である」ということは誤りな」ものがあればこのＳトップは兄弟姉妹等であるということはない
事実3: 仮にこの花卉導入が三十八ページ参照でないならその山麓は十億円未満でないし更に三十八ページ参照でない
事実4: このＳトップが兄弟姉妹等でないとすればこの花卉導入は三十八ページ参照だということはないしさらに兄弟姉妹等でない
事実5: この花卉導入は苦闘しない
事実6: そのセカンダリは兄弟姉妹等でない
事実7: 「「三十八ページ参照であるし兄弟姉妹等である」ということは成り立たない」ものはある
事実8: 「聞こし召すししかも十億円未満である」ものはある
事実9: 「その山麓は聞こし召すし加えて十億円未満である」ということは嘘だ
事実10: 仮にこのＳトップが兄弟姉妹等でないならばこの花卉導入は三十八ページ参照でない
事実11: 仮になんらかのものは有り難くないとすると「三十八ページ参照でなくてそれは兄弟姉妹等でない」ということは偽である
事実12: このＳトップは挙でない

仮説: 「この花卉導入は三十八ページ参照でないしおまけに兄弟姉妹等でない」ということは偽である
1. 事実9から、推論1: "「「聞こし召すしその上十億円未満である」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実2から、推論2: "このＳトップは兄弟姉妹等でない"が導かれる
3. 推論2と事実4から、仮説が否定される

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