あのバスローブは空恐ろしい
fact1: もしも何らかの物は透明化するということはなくてしかも行儀良くないとするとそれは迎賓館である fact2: あのバスローブは幾例である fact3: 「このラビング剤は保ち易いがそれは入会しない」ということは間違いである fact4: もしもあのバスローブが幾例であるならばそれは血流分配でなくて変え為さるということはない fact5: もしあの菊科が空恐ろしいけど幾例でないならば「あのバスローブは空恐ろしいということはない」ということは本当である fact6: あのバスローブは血流分配でないが変え為さるとしたらそれは空恐ろしい fact7: 「もしもあのバスローブは血流分配でなくてそれに変え為さるということはないとしたら「あのバスローブは空恐ろしい」ということは成り立つ」ということは正しい fact8: 保ち易くないものは透明化しなくて行儀良くない
fact4 & fact2 -> int1: あのバスローブは血流分配でないしまた変え為さらない; int1 & fact7 -> hypothesis;
あのバスローブは空恐ろしくない
fact9 -> int2: 「その問題行動は透明化するということはなくて更に行儀良いということはない」ということは成り立つなら「迎賓館だ」ということは成り立つ; fact12 -> int3: 仮に「その問題行動は保ち易くない」ということは成り立つとしたら透明化しないし加えてそれは行儀良くない; fact10 -> int4: 「「保ち易いけど入会しない」ということは成り立たない」ものはある;
$facts$ = fact1: もしも何らかの物は透明化するということはなくてしかも行儀良くないとするとそれは迎賓館である fact2: あのバスローブは幾例である fact3: 「このラビング剤は保ち易いがそれは入会しない」ということは間違いである fact4: もしもあのバスローブが幾例であるならばそれは血流分配でなくて変え為さるということはない fact5: もしあの菊科が空恐ろしいけど幾例でないならば「あのバスローブは空恐ろしいということはない」ということは本当である fact6: あのバスローブは血流分配でないが変え為さるとしたらそれは空恐ろしい fact7: 「もしもあのバスローブは血流分配でなくてそれに変え為さるということはないとしたら「あのバスローブは空恐ろしい」ということは成り立つ」ということは正しい fact8: 保ち易くないものは透明化しなくて行儀良くない ; $hypothesis$ = あのバスローブは空恐ろしい ; $proof$ = 
fact4 & fact2 -> int1: あのバスローブは血流分配でないしまた変え為さらない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしも何らかの物は透明化するということはなくてしかも行儀良くないとするとそれは迎賓館である
事実2: あのバスローブは幾例である
事実3: 「このラビング剤は保ち易いがそれは入会しない」ということは間違いである
事実4: もしもあのバスローブが幾例であるならばそれは血流分配でなくて変え為さるということはない
事実5: もしあの菊科が空恐ろしいけど幾例でないならば「あのバスローブは空恐ろしいということはない」ということは本当である
事実6: あのバスローブは血流分配でないが変え為さるとしたらそれは空恐ろしい
事実7: 「もしもあのバスローブは血流分配でなくてそれに変え為さるということはないとしたら「あのバスローブは空恐ろしい」ということは成り立つ」ということは正しい
事実8: 保ち易くないものは透明化しなくて行儀良くない

仮説: あのバスローブは空恐ろしい
1. 事実4と事実2から、推論1: "あのバスローブは血流分配でないしまた変え為さらない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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