このぴにぴなLv.78はネイティブらしい
fact1: 発症し易いモンスターは羨ましい fact2: そのぴにゃぴわLv.11は発症し易くてそれにそれは手広い fact3: あらゆるモンスターはネイティブらしい fact4: 「もしなんらかのモンスターが開園しないならそれは恐れ多いしそれにネイティブらしい」ということは成り立つ fact5: 羨ましいモンスターは開園しないし加えて欲深くない fact6: 全てのモンスターは諭す
fact3 -> int1: あらゆるモンスターはネイティブらしい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
「そのぴにゃぴわLv.11はネイティブらしい」ということは正しい
fact9 -> int2: 仮にそのぴにゃぴわLv.11が開園しないならそのぴにゃぴわLv.11は恐れ多いしネイティブらしい; fact8 -> int3: もしも「そのぴにゃぴわLv.11は羨ましい」ということは誤っていないとするとそのぴにゃぴわLv.11は開園しなくてそれにそれは欲深くない; fact7 -> int4: そのぴにゃぴわLv.11が発症し易いとすれば羨ましい; fact10 -> int5: そのぴにゃぴわLv.11は発症し易い; int4 & int5 -> int6: そのぴにゃぴわLv.11は羨ましい; int3 & int6 -> int7: そのぴにゃぴわLv.11は開園しないしそれは欲深いということはない; int7 -> int8: そのぴにゃぴわLv.11は開園するということはない; int2 & int8 -> int9: そのぴにゃぴわLv.11は恐れ多いし更にネイティブらしい; int9 -> hypothesis;
$facts$ = fact1: 発症し易いモンスターは羨ましい fact2: そのぴにゃぴわLv.11は発症し易くてそれにそれは手広い fact3: あらゆるモンスターはネイティブらしい fact4: 「もしなんらかのモンスターが開園しないならそれは恐れ多いしそれにネイティブらしい」ということは成り立つ fact5: 羨ましいモンスターは開園しないし加えて欲深くない fact6: 全てのモンスターは諭す ; $hypothesis$ = このぴにぴなLv.78はネイティブらしい ; $proof$ = 
fact3 -> int1: あらゆるモンスターはネイティブらしい; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__