このもなもねLv.4は苦しない
fact1: 仮に「このみねみえLv.80は苦しない」ということは事実であるとしたらこのもなもねLv.4は苦しということはないけどそれは歩き辛い fact2: このぷにぷくLv.24は罪悪視する fact3: そのみにゃみえLv.90は鬱陶しい fact4: このもなもねLv.4は歩き辛い fact5: もしそのみにゃみえLv.90が鬱陶しいならばこのぷにぷくLv.24は鈍い fact6: もしこのみねみえLv.80が苦しないとしたらこのもなもねLv.4は歩き辛い fact7: もし仮に「このぷにぷくLv.24は罪悪視するしおまけに鈍い」ということは確かだとしたらこのみねみえLv.80は苦しない fact8: このもなもねLv.4は罪悪視する
fact5 & fact3 -> int1: このぷにぷくLv.24は鈍い; int1 & fact2 -> int2: このぷにぷくLv.24は罪悪視するしおまけに鈍い; int2 & fact7 -> int3: このみねみえLv.80は苦しということはない; int3 & fact1 -> int4: このもなもねLv.4は苦しないがそれは歩き辛い; int4 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: ({C}{b} & {B}{b}); int2 & fact7 -> int3: ¬{D}{c}; int3 & fact1 -> int4: (¬{D}{d} & {E}{d}); int4 -> hypothesis;
$facts$ = fact1: 仮に「このみねみえLv.80は苦しない」ということは事実であるとしたらこのもなもねLv.4は苦しということはないけどそれは歩き辛い fact2: このぷにぷくLv.24は罪悪視する fact3: そのみにゃみえLv.90は鬱陶しい fact4: このもなもねLv.4は歩き辛い fact5: もしそのみにゃみえLv.90が鬱陶しいならばこのぷにぷくLv.24は鈍い fact6: もしこのみねみえLv.80が苦しないとしたらこのもなもねLv.4は歩き辛い fact7: もし仮に「このぷにぷくLv.24は罪悪視するしおまけに鈍い」ということは確かだとしたらこのみねみえLv.80は苦しない fact8: このもなもねLv.4は罪悪視する ; $hypothesis$ = このもなもねLv.4は苦しない ; $proof$ = 
fact5 & fact3 -> int1: このぷにぷくLv.24は鈍い; int1 & fact2 -> int2: このぷにぷくLv.24は罪悪視するしおまけに鈍い; int2 & fact7 -> int3: このみねみえLv.80は苦しということはない; int3 & fact1 -> int4: このもなもねLv.4は苦しないがそれは歩き辛い; int4 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: ({C}{b} & {B}{b}); int2 & fact7 -> int3: ¬{D}{c}; int3 & fact1 -> int4: (¬{D}{d} & {E}{d}); int4 -> hypothesis; __PROVED__