このまわまなLv.84は興味深いかもしくはそれは住み易いかあるいは両方ともだ
fact1: このまわまなLv.84は歯痒い fact2: 仮にこのまわまなLv.84が歯痒いとすれば糾弾する fact3: このまわまなLv.84は珍しい fact4: もしそのぷえぷのLv.20は歯痒くないならば「このまわまなLv.84は興味深いか住み易い」ということは成り立たない fact5: もしこのまわまなLv.84が緩いならばそれは男の子らしい fact6: もし仮に「このまわまなLv.84は歯痒い」ということは成り立つとするとこのまわまなLv.84は興味深い
fact6 & fact1 -> int1: このまわまなLv.84は興味深い; int1 -> hypothesis;
fact6 & fact1 -> int1: {B}{a}; int1 -> hypothesis;
そのぷくぷなLv.80は興味深い
fact7 -> int2: 「「珍しい」ということは事実な」モンスターはいる;
$facts$ = fact1: このまわまなLv.84は歯痒い fact2: 仮にこのまわまなLv.84が歯痒いとすれば糾弾する fact3: このまわまなLv.84は珍しい fact4: もしそのぷえぷのLv.20は歯痒くないならば「このまわまなLv.84は興味深いか住み易い」ということは成り立たない fact5: もしこのまわまなLv.84が緩いならばそれは男の子らしい fact6: もし仮に「このまわまなLv.84は歯痒い」ということは成り立つとするとこのまわまなLv.84は興味深い ; $hypothesis$ = このまわまなLv.84は興味深いかもしくはそれは住み易いかあるいは両方ともだ ; $proof$ = 
fact6 & fact1 -> int1: このまわまなLv.84は興味深い; int1 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}{a}; int1 -> hypothesis; __PROVED__