「もし「賢しし広し」ということは事実と異なればくどいということはない」モンスターはいる
fact1: もしも「このぴわぴちょLv.63は賢ししおまけに広し」ということは成り立たないとするとこのぴわぴちょLv.63はくどくない fact2: 「このぴわぴちょLv.63は賢しし広し」ということは偽であるとするとそれはくどい fact3: 「仮に賢ししまた広しとすればくどくない」モンスターはいる fact4: 「仮に「賢ししかつ広し」ということは成り立たないとすればくどい」モンスターはいる fact5: 「もし仮に広しないとすれば「くどくない」ということは成り立つ」モンスターはいる fact6: もし仮にこのぴわぴちょLv.63が賢しないとしたらくどくない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もしも「このぴわぴちょLv.63は賢ししおまけに広し」ということは成り立たないとするとこのぴわぴちょLv.63はくどくない fact2: 「このぴわぴちょLv.63は賢しし広し」ということは偽であるとするとそれはくどい fact3: 「仮に賢ししまた広しとすればくどくない」モンスターはいる fact4: 「仮に「賢ししかつ広し」ということは成り立たないとすればくどい」モンスターはいる fact5: 「もし仮に広しないとすれば「くどくない」ということは成り立つ」モンスターはいる fact6: もし仮にこのぴわぴちょLv.63が賢しないとしたらくどくない ; $hypothesis$ = 「もし「賢しし広し」ということは事実と異なればくどいということはない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__