そのもちょもゆLv.0は浸る
fact1: 仮にそのまやまちゃLv.49が長しないとすればそのもちょもゆLv.0は自然らしいかあるいは頼み難くない fact2: もし「そのまやまちゃLv.49は太し」ということは真実ならばそのもちょもゆLv.0は余所見する fact3: そのまやまちゃLv.49は長しない fact4: そのまやまちゃLv.49は太し fact5: もしそのもちょもゆLv.0が太しとするとそのまやまちゃLv.49は余所見する fact6: もし仮にそのもちょもゆLv.0が余所見するならそのもちょもゆLv.0は浸る
fact2 & fact4 -> int1: 「そのもちょもゆLv.0は余所見する」ということは真実だ; int1 & fact6 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
そのもちょもゆLv.0は太し
fact7 & fact8 -> int2: そのもちょもゆLv.0は自然らしいかあるいは頼み難くないか両方ともである;
$facts$ = fact1: 仮にそのまやまちゃLv.49が長しないとすればそのもちょもゆLv.0は自然らしいかあるいは頼み難くない fact2: もし「そのまやまちゃLv.49は太し」ということは真実ならばそのもちょもゆLv.0は余所見する fact3: そのまやまちゃLv.49は長しない fact4: そのまやまちゃLv.49は太し fact5: もしそのもちょもゆLv.0が太しとするとそのまやまちゃLv.49は余所見する fact6: もし仮にそのもちょもゆLv.0が余所見するならそのもちょもゆLv.0は浸る ; $hypothesis$ = そのもちょもゆLv.0は浸る ; $proof$ = 
fact2 & fact4 -> int1: 「そのもちょもゆLv.0は余所見する」ということは真実だ; int1 & fact6 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis; __PROVED__