「もしも「心深くて慣らす」ということは成り立たないとするとださいということはない」物はある
fact1: 「もしも心深ししその上慣らすとするとださくない」ものはある fact2: もし「ある物は張り替えるし加えて焦げ臭い」ということは間違いだとするとそれは充当しない fact3: 「もしも心深くないならださくない」物はある fact4: もし仮にその諜報員が心深くないとしたらださくない fact5: 「もしも方向付けでないとするとＲ／Ｓでない」物はある fact6: もし仮に「その諜報員は心深しししかも慣らす」ということは本当でないとしたらそれはださい fact7: 「もし「心深しし慣らす」ということは嘘であるならださい」物はある fact8: もしも「その諜報員は心深しし慣らす」ということは間違いであるとするとださくない fact9: もしも「その諜報員は木らしいし愛しい」ということは成り立たないとするとださい fact10: 「もし仮に「慣らさない」ということは本当であるとすればださくない」ものはある
fact8 -> hypothesis;
「もし「張り替えるしかつ焦げ臭い」ということは真実でないなら充当するということはない」ものはある
fact11 -> int1: もしも「この教会堂は張り替えるしそれに焦げ臭い」ということは成り立たないとしたら充当しない; int1 -> hypothesis;
$facts$ = fact1: 「もしも心深ししその上慣らすとするとださくない」ものはある fact2: もし「ある物は張り替えるし加えて焦げ臭い」ということは間違いだとするとそれは充当しない fact3: 「もしも心深くないならださくない」物はある fact4: もし仮にその諜報員が心深くないとしたらださくない fact5: 「もしも方向付けでないとするとＲ／Ｓでない」物はある fact6: もし仮に「その諜報員は心深しししかも慣らす」ということは本当でないとしたらそれはださい fact7: 「もし「心深しし慣らす」ということは嘘であるならださい」物はある fact8: もしも「その諜報員は心深しし慣らす」ということは間違いであるとするとださくない fact9: もしも「その諜報員は木らしいし愛しい」ということは成り立たないとするとださい fact10: 「もし仮に「慣らさない」ということは本当であるとすればださくない」ものはある ; $hypothesis$ = 「もしも「心深くて慣らす」ということは成り立たないとするとださいということはない」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「もしも心深ししその上慣らすとするとださくない」ものはある
事実2: もし「ある物は張り替えるし加えて焦げ臭い」ということは間違いだとするとそれは充当しない
事実3: 「もしも心深くないならださくない」物はある
事実4: もし仮にその諜報員が心深くないとしたらださくない
事実5: 「もしも方向付けでないとするとＲ／Ｓでない」物はある
事実6: もし仮に「その諜報員は心深しししかも慣らす」ということは本当でないとしたらそれはださい
事実7: 「もし「心深しし慣らす」ということは嘘であるならださい」物はある
事実8: もしも「その諜報員は心深しし慣らす」ということは間違いであるとするとださくない
事実9: もしも「その諜報員は木らしいし愛しい」ということは成り立たないとするとださい
事実10: 「もし仮に「慣らさない」ということは本当であるとすればださくない」ものはある

仮説: 「もしも「心深くて慣らす」ということは成り立たないとするとださいということはない」物はある
1. 事実8から、仮説が導かれる

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