その複合構造はスマートドゥーＣであるがしかし周期表でない
fact1: 「とある物は落下運動でないかまたは改定しないかもしくは両方ともだ」ということは事実と異なれば「それはスマートドゥーＣでない」ということは事実である fact2: なにがしかのものは浮き易いならば「感染しないけれどこざっぱりする」ということは誤りである fact3: もしもこの水道がスマートドゥーＣでないならばあの複合構造はスマートドゥーＣだがしかしそれは周期表でない fact4: この水道はこざっぱりする fact5: もしなにがしかのものはこざっぱりするということはないなら「スマートドゥーＣだしさらにそれは周期表でない」ということは成り立たない fact6: もしも「この水道は感染するということはないけどそれはこざっぱりする」ということは誤りであるとするとその複合構造はこざっぱりしない fact7: 「「ねちっこくてかつ生臭い」ということは誤っている」ものはある fact8: もし仮にこの水道はこざっぱりすれば「それは落下運動でないかもしくはそれは改定しないかあるいは両方ともである」ということは偽である
fact8 & fact4 -> int1: 「この水道は落下運動でないかもしくは改定しないか両方ともである」ということは成り立たない; fact1 -> int2: もし仮に「この水道は落下運動であるということはないかそれは改定しない」ということは事実でないとしたらそれはスマートドゥーＣでない; int1 & int2 -> int3: この水道はスマートドゥーＣでない; int3 & fact3 -> hypothesis;
「その複合構造はスマートドゥーＣだけれど周期表でない」ということは真実でない
fact10 -> int4: もし仮にその複合構造はこざっぱりするということはないとすると「スマートドゥーＣだしそれにそれは周期表でない」ということは嘘だ; fact9 -> int5: 仮に「この水道は浮き易い」ということは真実だとすれば「感染しないしさらにそれはこざっぱりする」ということは誤りである;
$facts$ = fact1: 「とある物は落下運動でないかまたは改定しないかもしくは両方ともだ」ということは事実と異なれば「それはスマートドゥーＣでない」ということは事実である fact2: なにがしかのものは浮き易いならば「感染しないけれどこざっぱりする」ということは誤りである fact3: もしもこの水道がスマートドゥーＣでないならばあの複合構造はスマートドゥーＣだがしかしそれは周期表でない fact4: この水道はこざっぱりする fact5: もしなにがしかのものはこざっぱりするということはないなら「スマートドゥーＣだしさらにそれは周期表でない」ということは成り立たない fact6: もしも「この水道は感染するということはないけどそれはこざっぱりする」ということは誤りであるとするとその複合構造はこざっぱりしない fact7: 「「ねちっこくてかつ生臭い」ということは誤っている」ものはある fact8: もし仮にこの水道はこざっぱりすれば「それは落下運動でないかもしくはそれは改定しないかあるいは両方ともである」ということは偽である ; $hypothesis$ = その複合構造はスマートドゥーＣであるがしかし周期表でない ; $proof$ = 
fact8 & fact4 -> int1: 「この水道は落下運動でないかもしくは改定しないか両方ともである」ということは成り立たない; fact1 -> int2: もし仮に「この水道は落下運動であるということはないかそれは改定しない」ということは事実でないとしたらそれはスマートドゥーＣでない; int1 & int2 -> int3: この水道はスマートドゥーＣでない; int3 & fact3 -> hypothesis; __PROVED__
事実1: 「とある物は落下運動でないかまたは改定しないかもしくは両方ともだ」ということは事実と異なれば「それはスマートドゥーＣでない」ということは事実である
事実2: なにがしかのものは浮き易いならば「感染しないけれどこざっぱりする」ということは誤りである
事実3: もしもこの水道がスマートドゥーＣでないならばあの複合構造はスマートドゥーＣだがしかしそれは周期表でない
事実4: この水道はこざっぱりする
事実5: もしなにがしかのものはこざっぱりするということはないなら「スマートドゥーＣだしさらにそれは周期表でない」ということは成り立たない
事実6: もしも「この水道は感染するということはないけどそれはこざっぱりする」ということは誤りであるとするとその複合構造はこざっぱりしない
事実7: 「「ねちっこくてかつ生臭い」ということは誤っている」ものはある
事実8: もし仮にこの水道はこざっぱりすれば「それは落下運動でないかもしくはそれは改定しないかあるいは両方ともである」ということは偽である

仮説: その複合構造はスマートドゥーＣであるがしかし周期表でない
1. 事実8と事実4から、推論1: "「この水道は落下運動でないかもしくは改定しないか両方ともである」ということは成り立たない"が導かれる
2. 事実1から、推論2: "もし仮に「この水道は落下運動であるということはないかそれは改定しない」ということは事実でないとしたらそれはスマートドゥーＣでない"が導かれる
3. 推論1と推論2から、推論3: "この水道はスマートドゥーＣでない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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