「「見え難くてそれに見辛い」ということは嘘ならば御台所でない」物はある
fact1: 「見え難いしそれに見辛いとすると御台所でない」ものはある fact2: もしも「この二人称は見え難くて見辛い」ということは成り立たないとしたらそれは御台所だ fact3: もし仮にこの二人称が見え難いしその上それは見辛いなら「御台所でない」ということは事実である fact4: もしこの二人称が見え難いということはないとしたらそれは御台所でない fact5: もし「この二人称は見え難いし見辛い」ということは正しくないとすればそれは御台所であるということはない fact6: もしも「この籠城兵は帰家率で更に目新しい」ということは間違いならば反応し易くない fact7: 「もし仮に見え難くないとしたら御台所でない」物はある fact8: 「仮に「見え難いししかも見辛い」ということは成り立たないとすれば御台所な」ものはある fact9: 「仮に見辛くないなら御台所でない」物はある
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 「見え難いしそれに見辛いとすると御台所でない」ものはある fact2: もしも「この二人称は見え難くて見辛い」ということは成り立たないとしたらそれは御台所だ fact3: もし仮にこの二人称が見え難いしその上それは見辛いなら「御台所でない」ということは事実である fact4: もしこの二人称が見え難いということはないとしたらそれは御台所でない fact5: もし「この二人称は見え難いし見辛い」ということは正しくないとすればそれは御台所であるということはない fact6: もしも「この籠城兵は帰家率で更に目新しい」ということは間違いならば反応し易くない fact7: 「もし仮に見え難くないとしたら御台所でない」物はある fact8: 「仮に「見え難いししかも見辛い」ということは成り立たないとすれば御台所な」ものはある fact9: 「仮に見辛くないなら御台所でない」物はある ; $hypothesis$ = 「「見え難くてそれに見辛い」ということは嘘ならば御台所でない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「見え難いしそれに見辛いとすると御台所でない」ものはある
事実2: もしも「この二人称は見え難くて見辛い」ということは成り立たないとしたらそれは御台所だ
事実3: もし仮にこの二人称が見え難いしその上それは見辛いなら「御台所でない」ということは事実である
事実4: もしこの二人称が見え難いということはないとしたらそれは御台所でない
事実5: もし「この二人称は見え難いし見辛い」ということは正しくないとすればそれは御台所であるということはない
事実6: もしも「この籠城兵は帰家率で更に目新しい」ということは間違いならば反応し易くない
事実7: 「もし仮に見え難くないとしたら御台所でない」物はある
事実8: 「仮に「見え難いししかも見辛い」ということは成り立たないとすれば御台所な」ものはある
事実9: 「仮に見辛くないなら御台所でない」物はある

仮説: 「「見え難くてそれに見辛い」ということは嘘ならば御台所でない」物はある
1. 事実5から、仮説が導かれる

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