そのみなみちゃLv.42は邪魔臭い
fact1: このぷにぷなLv.32は生々しくてそれはひょろ長い fact2: ひょろ長いということはないモンスターは邪魔臭くないけれど生々しい fact3: このぷにぷなLv.32は予測し易くない fact4: もしも「そのみなみちゃLv.42は忠実忠実しかない」ということは事実だとしたら「そのみなみちゃLv.42は御寒いがしかし予測し易くない」ということは誤っている fact5: このぷにぷなLv.32が予測し易くない一方でそれが生々しいとしたらそのみなみちゃLv.42は邪魔臭い
fact1 -> int1: 「このぷにぷなLv.32は生々しい」ということは成り立つ; int1 & fact3 -> int2: このぷにぷなLv.32は予測し易くないがしかし生々しい; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: (¬{C}{a} & {A}{a}); int2 & fact5 -> hypothesis;
そのみなみちゃLv.42は邪魔臭いということはない
fact7 -> int3: もし仮に「そのみなみちゃLv.42はひょろ長くない」ということは本当だとしたらそのみなみちゃLv.42は邪魔臭くないけれど生々しい;
$facts$ = fact1: このぷにぷなLv.32は生々しくてそれはひょろ長い fact2: ひょろ長いということはないモンスターは邪魔臭くないけれど生々しい fact3: このぷにぷなLv.32は予測し易くない fact4: もしも「そのみなみちゃLv.42は忠実忠実しかない」ということは事実だとしたら「そのみなみちゃLv.42は御寒いがしかし予測し易くない」ということは誤っている fact5: このぷにぷなLv.32が予測し易くない一方でそれが生々しいとしたらそのみなみちゃLv.42は邪魔臭い ; $hypothesis$ = そのみなみちゃLv.42は邪魔臭い ; $proof$ = 
fact1 -> int1: 「このぷにぷなLv.32は生々しい」ということは成り立つ; int1 & fact3 -> int2: このぷにぷなLv.32は予測し易くないがしかし生々しい; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: (¬{C}{a} & {A}{a}); int2 & fact5 -> hypothesis; __PROVED__