「そのまなまのLv.66は愛情深いしおまけに掴み上げる」ということは嘘である
fact1: そのまなまのLv.66は知り合いらしいし加えて愛情深い fact2: 「そのまなまのLv.66は掴み上げる」ということは確かだ
fact1 -> int1: そのまなまのLv.66は愛情深い; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのまなまのLv.66は知り合いらしいし加えて愛情深い fact2: 「そのまなまのLv.66は掴み上げる」ということは確かだ ; $hypothesis$ = 「そのまなまのLv.66は愛情深いしおまけに掴み上げる」ということは嘘である ; $proof$ = 
fact1 -> int1: そのまなまのLv.66は愛情深い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__