「この外断熱工法は甘くなくてまた洒落臭くない」ということは成り立たない
fact1: このトラッキングは妊娠・出産だとすると「この外断熱工法は甘くないけど洒落臭い」ということは本当でない fact2: 「この外断熱工法は甘い一方で洒落臭くない」ということは間違っている fact3: もし何らかのものが伝達すればそれは妊娠・出産である fact4: もしこのトラッキングは妊娠・出産であるとすれば「この外断熱工法は甘くないし洒落臭くない」ということは事実と異なる fact5: このトラッキングは規則正しい fact6: 「この外断熱工法は甘くない一方で洒落臭い」ということは誤っている fact7: このトラッキングは伝達すしおまけに規則正しい
fact7 -> int1: 「このトラッキングは伝達す」ということは成り立つ; fact3 -> int2: このトラッキングが伝達すとすると妊娠・出産だ; int1 & int2 -> int3: このトラッキングは妊娠・出産である; int3 & fact4 -> hypothesis;
$facts$ = fact1: このトラッキングは妊娠・出産だとすると「この外断熱工法は甘くないけど洒落臭い」ということは本当でない fact2: 「この外断熱工法は甘い一方で洒落臭くない」ということは間違っている fact3: もし何らかのものが伝達すればそれは妊娠・出産である fact4: もしこのトラッキングは妊娠・出産であるとすれば「この外断熱工法は甘くないし洒落臭くない」ということは事実と異なる fact5: このトラッキングは規則正しい fact6: 「この外断熱工法は甘くない一方で洒落臭い」ということは誤っている fact7: このトラッキングは伝達すしおまけに規則正しい ; $hypothesis$ = 「この外断熱工法は甘くなくてまた洒落臭くない」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「このトラッキングは伝達す」ということは成り立つ; fact3 -> int2: このトラッキングが伝達すとすると妊娠・出産だ; int1 & int2 -> int3: このトラッキングは妊娠・出産である; int3 & fact4 -> hypothesis; __PROVED__
事実1: このトラッキングは妊娠・出産だとすると「この外断熱工法は甘くないけど洒落臭い」ということは本当でない
事実2: 「この外断熱工法は甘い一方で洒落臭くない」ということは間違っている
事実3: もし何らかのものが伝達すればそれは妊娠・出産である
事実4: もしこのトラッキングは妊娠・出産であるとすれば「この外断熱工法は甘くないし洒落臭くない」ということは事実と異なる
事実5: このトラッキングは規則正しい
事実6: 「この外断熱工法は甘くない一方で洒落臭い」ということは誤っている
事実7: このトラッキングは伝達すしおまけに規則正しい

仮説: 「この外断熱工法は甘くなくてまた洒落臭くない」ということは成り立たない
1. 事実7から、推論1: "「このトラッキングは伝達す」ということは成り立つ"が導かれる
2. 事実3から、推論2: "このトラッキングが伝達すとすると妊娠・出産だ"が導かれる
3. 推論1と推論2から、推論3: "このトラッキングは妊娠・出産である"が導かれる
4. 推論3と事実4から、仮説が導かれる

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