「あのぽえぽえLv.65は掴み難くない」ということは事実だ
fact1: もしこのぷよぷえLv.59は労労じないししかも呪わしくないとしたら「鑑賞し易い」ということは本当だ fact2: もしも「このぷよぷえLv.59は鑑賞し易い」ということは確かであるとすればあのぽえぽえLv.65は掴み難い fact3: あのぷなぷくLv.2は呪わしい fact4: 「し難くないモンスターは労労じないしおまけに呪わしくない」ということは確かだ fact5: このぷよぷえLv.59はし難くない
fact4 -> int1: このぷよぷえLv.59はし難くないとしたら「このぷよぷえLv.59は労労じないし呪わしいということはない」ということは偽でない; int1 & fact5 -> int2: このぷよぷえLv.59は労労じないしそれに呪わしくない; int2 & fact1 -> int3: 「このぷよぷえLv.59は鑑賞し易い」ということは正しい; int3 & fact2 -> hypothesis;
fact4 -> int1: ¬{A}{a} -> (¬{AA}{a} & ¬{AB}{a}); int1 & fact5 -> int2: (¬{AA}{a} & ¬{AB}{a}); int2 & fact1 -> int3: {B}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もしこのぷよぷえLv.59は労労じないししかも呪わしくないとしたら「鑑賞し易い」ということは本当だ fact2: もしも「このぷよぷえLv.59は鑑賞し易い」ということは確かであるとすればあのぽえぽえLv.65は掴み難い fact3: あのぷなぷくLv.2は呪わしい fact4: 「し難くないモンスターは労労じないしおまけに呪わしくない」ということは確かだ fact5: このぷよぷえLv.59はし難くない ; $hypothesis$ = 「あのぽえぽえLv.65は掴み難くない」ということは事実だ ; $proof$ = 
fact4 -> int1: このぷよぷえLv.59はし難くないとしたら「このぷよぷえLv.59は労労じないし呪わしいということはない」ということは偽でない; int1 & fact5 -> int2: このぷよぷえLv.59は労労じないしそれに呪わしくない; int2 & fact1 -> int3: 「このぷよぷえLv.59は鑑賞し易い」ということは正しい; int3 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{a} -> (¬{AA}{a} & ¬{AB}{a}); int1 & fact5 -> int2: (¬{AA}{a} & ¬{AB}{a}); int2 & fact1 -> int3: {B}{a}; int3 & fact2 -> hypothesis; __DISPROVED__