あのまちょまちょLv.68は御強い
fact1: そのもにゃもちゃLv.44は薬臭いということはない fact2: 形容し難いモンスターは摘む fact3: 「そのもにゃもちゃLv.44が形容し難くないがしかしそれが薬臭いならばあのまちょまちょLv.68は御強い」ということは確かである fact4: そのもにゃもちゃLv.44が形容し難くないしおまけに薬臭くないとしたらあのまちょまちょLv.68は御強い fact5: 薬臭いモンスターは形容し難い fact6: あらゆるモンスターは形容し難くないししかも薬臭くない
fact6 -> int1: そのもにゃもちゃLv.44は形容し難いということはないしそれは薬臭くない; int1 & fact4 -> hypothesis;
fact6 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact4 -> hypothesis;
「あのまちょまちょLv.68は摘む」ということは真実だ
fact8 -> int2: もしもあのまちょまちょLv.68が形容し難いとすれば摘む; fact7 -> int3: 仮にあのまちょまちょLv.68が薬臭いとするとあのまちょまちょLv.68は形容し難い;
$facts$ = fact1: そのもにゃもちゃLv.44は薬臭いということはない fact2: 形容し難いモンスターは摘む fact3: 「そのもにゃもちゃLv.44が形容し難くないがしかしそれが薬臭いならばあのまちょまちょLv.68は御強い」ということは確かである fact4: そのもにゃもちゃLv.44が形容し難くないしおまけに薬臭くないとしたらあのまちょまちょLv.68は御強い fact5: 薬臭いモンスターは形容し難い fact6: あらゆるモンスターは形容し難くないししかも薬臭くない ; $hypothesis$ = あのまちょまちょLv.68は御強い ; $proof$ = 
fact6 -> int1: そのもにゃもちゃLv.44は形容し難いということはないしそれは薬臭くない; int1 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact4 -> hypothesis; __PROVED__