「もし「御招きするけど視覚性失認でない」ということは成り立たないとすると皮肉っぽくない」ものはある
fact1: もしも「この移動位置は視覚性失認であるししかも侵攻する」ということは真実でないとすればそれは誤解しない fact2: 「もしも「過活動膀胱で太陽活動サイクルである」ということは成り立たないとすると分村計画でない」物はある fact3: もしこの上流階級は視覚性失認であるとすればそれは皮肉っぽくない fact4: 「御招きするしその上視覚性失認でないならば皮肉っぽくない」ものはある fact5: もしこの上流階級が御連れするということはないとすればそれは意志しない fact6: 「この上流階級は御招きするけど視覚性失認だということはない」ということは成り立たないとしたらそれは皮肉っぽくない
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: もしも「この移動位置は視覚性失認であるししかも侵攻する」ということは真実でないとすればそれは誤解しない fact2: 「もしも「過活動膀胱で太陽活動サイクルである」ということは成り立たないとすると分村計画でない」物はある fact3: もしこの上流階級は視覚性失認であるとすればそれは皮肉っぽくない fact4: 「御招きするしその上視覚性失認でないならば皮肉っぽくない」ものはある fact5: もしこの上流階級が御連れするということはないとすればそれは意志しない fact6: 「この上流階級は御招きするけど視覚性失認だということはない」ということは成り立たないとしたらそれは皮肉っぽくない ; $hypothesis$ = 「もし「御招きするけど視覚性失認でない」ということは成り立たないとすると皮肉っぽくない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしも「この移動位置は視覚性失認であるししかも侵攻する」ということは真実でないとすればそれは誤解しない
事実2: 「もしも「過活動膀胱で太陽活動サイクルである」ということは成り立たないとすると分村計画でない」物はある
事実3: もしこの上流階級は視覚性失認であるとすればそれは皮肉っぽくない
事実4: 「御招きするしその上視覚性失認でないならば皮肉っぽくない」ものはある
事実5: もしこの上流階級が御連れするということはないとすればそれは意志しない
事実6: 「この上流階級は御招きするけど視覚性失認だということはない」ということは成り立たないとしたらそれは皮肉っぽくない

仮説: 「もし「御招きするけど視覚性失認でない」ということは成り立たないとすると皮肉っぽくない」ものはある
1. 事実6から、仮説が導かれる

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