「そのぷよぷわLv.80は腫れぼったくない」ということは事実である
fact1: そのぴくぴのLv.34は愛らしい fact2: 仮にあのぷくぷねLv.93が腫れぼったくないかもしくはそれが生じ易いならばこのぴやぴちょLv.61は腫れぼったくない fact3: もし仮にこのまにょまゆLv.83が空しいとしたらあのぷくぷねLv.93は腫れぼったくないかあるいはそれは生じ易い fact4: すべてのモンスターは腫れぼったい fact5: もしとあるモンスターが危うしとすると空しい fact6: あらゆるモンスターは作り終える
fact4 -> int1: すべてのモンスターは腫れぼったい; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
「そのぷよぷわLv.80は腫れぼったくない」ということは事実である
fact7 -> int2: このまにょまゆLv.83が危うしとするとこのまにょまゆLv.83は空しい; fact10 -> int3: 「愛らしい」モンスターはいる;
$facts$ = fact1: そのぴくぴのLv.34は愛らしい fact2: 仮にあのぷくぷねLv.93が腫れぼったくないかもしくはそれが生じ易いならばこのぴやぴちょLv.61は腫れぼったくない fact3: もし仮にこのまにょまゆLv.83が空しいとしたらあのぷくぷねLv.93は腫れぼったくないかあるいはそれは生じ易い fact4: すべてのモンスターは腫れぼったい fact5: もしとあるモンスターが危うしとすると空しい fact6: あらゆるモンスターは作り終える ; $hypothesis$ = 「そのぷよぷわLv.80は腫れぼったくない」ということは事実である ; $proof$ = 
fact4 -> int1: すべてのモンスターは腫れぼったい; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__