そのみのみねLv.78は遠吠えするということはない
fact1: 仮にそのみのみねLv.78が厭わしいとすればそのみのみねLv.78は遠吠えする fact2: そのぴちゅぴにょLv.7はすっごーい fact3: すっごーいモンスターは遠吠えしない fact4: もし仮にそのみのみねLv.78がめぼしくないかまたは興奮し易くないかもしくは両方であるならそのみのみねLv.78はめぼしくない fact5: めぼしいということはないモンスターは若くないし加えてホワイトハウス入りしない fact6: 若くないモンスターはすっごーいしまた厭わしい fact7: もし「そのぴちゅぴにょLv.7はすっごーい」ということは事実ならばそのみのみねLv.78は厭わしい
fact7 & fact2 -> int1: そのみのみねLv.78は厭わしい; int1 & fact1 -> hypothesis;
fact7 & fact2 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
そのみのみねLv.78は遠吠えするということはない
fact9 -> int2: もしもそのみのみねLv.78がすっごーいならば遠吠えしない; fact11 -> int3: 仮にそのみのみねLv.78が若いということはないとするとそのみのみねLv.78はすっごーいしそれは厭わしい; fact10 -> int4: もしもそのみのみねLv.78がめぼしくないとすると若くなくてホワイトハウス入りするということはない;
$facts$ = fact1: 仮にそのみのみねLv.78が厭わしいとすればそのみのみねLv.78は遠吠えする fact2: そのぴちゅぴにょLv.7はすっごーい fact3: すっごーいモンスターは遠吠えしない fact4: もし仮にそのみのみねLv.78がめぼしくないかまたは興奮し易くないかもしくは両方であるならそのみのみねLv.78はめぼしくない fact5: めぼしいということはないモンスターは若くないし加えてホワイトハウス入りしない fact6: 若くないモンスターはすっごーいしまた厭わしい fact7: もし「そのぴちゅぴにょLv.7はすっごーい」ということは事実ならばそのみのみねLv.78は厭わしい ; $hypothesis$ = そのみのみねLv.78は遠吠えするということはない ; $proof$ = 
fact7 & fact2 -> int1: そのみのみねLv.78は厭わしい; int1 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact2 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__