「もしもその蝶達は身籠もらないとしたら「その蝶達が未練がましくらないしさらに礼儀正しくない」ということは誤りだ」ということは誤っている
fact1: 「仮に何らかのものは身籠もらないなら「「それが未練はましくらなくてそれに礼儀正しくない」ということは正しい」ということは成り立たない」ということは事実と異ならない
$facts$ = fact1: 「仮に何らかのものは身籠もらないなら「「それが未練はましくらなくてそれに礼儀正しくない」ということは正しい」ということは成り立たない」ということは事実と異ならない ; $hypothesis$ = 「もしもその蝶達は身籠もらないとしたら「その蝶達が未練がましくらないしさらに礼儀正しくない」ということは誤りだ」ということは誤っている ; $proof$ = 
事実1: 「仮に何らかのものは身籠もらないなら「「それが未練はましくらなくてそれに礼儀正しくない」ということは正しい」ということは成り立たない」ということは事実と異ならない

仮説: 「もしもその蝶達は身籠もらないとしたら「その蝶達が未練がましくらないしさらに礼儀正しくない」ということは誤りだ」ということは誤っている