あの北国ユウ調査は新妻でない
fact1: このクッキングハウスは見切れる fact2: 「大人っぽくない」物はある fact3: 「「大人っぽい」ということは事実である」物はある fact4: このクッキングハウスが見切れるけど鬱陶しかないとすればあの北国ユウ調査は新妻でない fact5: 仮に「このクッキングハウスは鬱陶しい」ということは真実だとしたらあの北国ユウ調査は見切れる fact6: 仮に「大人っぽくない」物があるならばあのクッキングハウスは見切れるけど鬱陶しいということはない fact7: もしも「「大人っぽくない」ということは成り立つ」物があるならこのクッキングハウスは見切れる
fact2 & fact6 -> int1: このクッキングハウスは見切れるけど鬱陶しいということはない; int1 & fact4 -> hypothesis;
あの北国ユウ調査は新妻である
$facts$ = fact1: このクッキングハウスは見切れる fact2: 「大人っぽくない」物はある fact3: 「「大人っぽい」ということは事実である」物はある fact4: このクッキングハウスが見切れるけど鬱陶しかないとすればあの北国ユウ調査は新妻でない fact5: 仮に「このクッキングハウスは鬱陶しい」ということは真実だとしたらあの北国ユウ調査は見切れる fact6: 仮に「大人っぽくない」物があるならばあのクッキングハウスは見切れるけど鬱陶しいということはない fact7: もしも「「大人っぽくない」ということは成り立つ」物があるならこのクッキングハウスは見切れる ; $hypothesis$ = あの北国ユウ調査は新妻でない ; $proof$ = 
fact2 & fact6 -> int1: このクッキングハウスは見切れるけど鬱陶しいということはない; int1 & fact4 -> hypothesis; __PROVED__
事実1: このクッキングハウスは見切れる
事実2: 「大人っぽくない」物はある
事実3: 「「大人っぽい」ということは事実である」物はある
事実4: このクッキングハウスが見切れるけど鬱陶しかないとすればあの北国ユウ調査は新妻でない
事実5: 仮に「このクッキングハウスは鬱陶しい」ということは真実だとしたらあの北国ユウ調査は見切れる
事実6: 仮に「大人っぽくない」物があるならばあのクッキングハウスは見切れるけど鬱陶しいということはない
事実7: もしも「「大人っぽくない」ということは成り立つ」物があるならこのクッキングハウスは見切れる

仮説: あの北国ユウ調査は新妻でない
1. 事実2と事実6から、推論1: "このクッキングハウスは見切れるけど鬱陶しいということはない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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