「この告白文はとろいが御探さない」ということは真実だ
fact1: もしも「この医療サービスは御探さない」ということは偽でないならこの告白文はとろい一方で御探さない fact2: 何かは侮蔑するとすれば「とろくて御探さない」ということは事実と異なる fact3: もし「この博士は広しか完成出来るか両方である」ということは成り立たないとしたらこの医療サービスは御探さない fact4: もし仮に「この博士は広しかあるいはそれは御探すかもしくは両方だ」ということは成り立たないとしたらこの告白文は完成出来るということはない fact5: もしもこの苦笑交じりが侮蔑しないならばこの博士は完成出来るということはない fact6: この苦笑交じりは侮蔑しない fact7: もしこの苦笑交じりは侮蔑しないならば「この博士は広しかあるいは完成出来るかあるいは両方である」ということは成り立つということはない
fact7 & fact6 -> int1: 「この博士は広しか完成出来るかまたは両方だ」ということは事実であるということはない; int1 & fact3 -> int2: この医療サービスは御探さない; int2 & fact1 -> hypothesis;
「この告白文はとろい一方でそれは御探さない」ということは嘘だ
fact8 -> int3: もしもこの告白文は侮蔑するとすると「「とろいけど御探さない」ということは誤っているということはない」ということは成り立たない;
$facts$ = fact1: もしも「この医療サービスは御探さない」ということは偽でないならこの告白文はとろい一方で御探さない fact2: 何かは侮蔑するとすれば「とろくて御探さない」ということは事実と異なる fact3: もし「この博士は広しか完成出来るか両方である」ということは成り立たないとしたらこの医療サービスは御探さない fact4: もし仮に「この博士は広しかあるいはそれは御探すかもしくは両方だ」ということは成り立たないとしたらこの告白文は完成出来るということはない fact5: もしもこの苦笑交じりが侮蔑しないならばこの博士は完成出来るということはない fact6: この苦笑交じりは侮蔑しない fact7: もしこの苦笑交じりは侮蔑しないならば「この博士は広しかあるいは完成出来るかあるいは両方である」ということは成り立つということはない ; $hypothesis$ = 「この告白文はとろいが御探さない」ということは真実だ ; $proof$ = 
fact7 & fact6 -> int1: 「この博士は広しか完成出来るかまたは両方だ」ということは事実であるということはない; int1 & fact3 -> int2: この医療サービスは御探さない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしも「この医療サービスは御探さない」ということは偽でないならこの告白文はとろい一方で御探さない
事実2: 何かは侮蔑するとすれば「とろくて御探さない」ということは事実と異なる
事実3: もし「この博士は広しか完成出来るか両方である」ということは成り立たないとしたらこの医療サービスは御探さない
事実4: もし仮に「この博士は広しかあるいはそれは御探すかもしくは両方だ」ということは成り立たないとしたらこの告白文は完成出来るということはない
事実5: もしもこの苦笑交じりが侮蔑しないならばこの博士は完成出来るということはない
事実6: この苦笑交じりは侮蔑しない
事実7: もしこの苦笑交じりは侮蔑しないならば「この博士は広しかあるいは完成出来るかあるいは両方である」ということは成り立つということはない

仮説: 「この告白文はとろいが御探さない」ということは真実だ
1. 事実7と事実6から、推論1: "「この博士は広しか完成出来るかまたは両方だ」ということは事実であるということはない"が導かれる
2. 推論1と事実3から、推論2: "この医療サービスは御探さない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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