あのサーマイルは逃れ難くない
fact1: あのサーマイルはＡＰＡＦだけれどコンベンションであるということはないとしたら逃れ難くない fact2: もしもあのサーマイルがＡＰＡＦでないがしかしそれが逃れ難いとすればこの環境論はＡＰＡＦだ fact3: もしなにかは目敏いとすればＡＰＡＦでないしその上それは逃れ難い fact4: あのサーマイルはＡＰＡＦである一方でそれはコンベンションであるということはない fact5: あのサーマイルは苦しみ続けるがしかしそれはロココ建築でない fact6: もしもあのサーマイルが先進和人だ一方で逃れ難くないならばそれは四年制でない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
この環境論はＡＰＡＦだけれど台頭し始めない
fact7 -> int1: もし仮にあのサーマイルが目敏いならそれはＡＰＡＦであるということはなくて逃れ難い;
$facts$ = fact1: あのサーマイルはＡＰＡＦだけれどコンベンションであるということはないとしたら逃れ難くない fact2: もしもあのサーマイルがＡＰＡＦでないがしかしそれが逃れ難いとすればこの環境論はＡＰＡＦだ fact3: もしなにかは目敏いとすればＡＰＡＦでないしその上それは逃れ難い fact4: あのサーマイルはＡＰＡＦである一方でそれはコンベンションであるということはない fact5: あのサーマイルは苦しみ続けるがしかしそれはロココ建築でない fact6: もしもあのサーマイルが先進和人だ一方で逃れ難くないならばそれは四年制でない ; $hypothesis$ = あのサーマイルは逃れ難くない ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: あのサーマイルはＡＰＡＦだけれどコンベンションであるということはないとしたら逃れ難くない
事実2: もしもあのサーマイルがＡＰＡＦでないがしかしそれが逃れ難いとすればこの環境論はＡＰＡＦだ
事実3: もしなにかは目敏いとすればＡＰＡＦでないしその上それは逃れ難い
事実4: あのサーマイルはＡＰＡＦである一方でそれはコンベンションであるということはない
事実5: あのサーマイルは苦しみ続けるがしかしそれはロココ建築でない
事実6: もしもあのサーマイルが先進和人だ一方で逃れ難くないならばそれは四年制でない

仮説: あのサーマイルは逃れ難くない
1. 事実1と事実4から、仮説が導かれる

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