そのぽくぽにゃLv.80は居辛い
fact1: もし仮に「このぷよぷねLv.91は大人しい」ということは確かであるならこのぷよぷねLv.91は思い遣れる fact2: このぷよぷねLv.91が味気無いとすればこのぷよぷねLv.91は大人しい fact3: このぷよぷねLv.91は思い遣れるとすれば「そのまやまちゃLv.54は高し」ということは確かである fact4: もし味気無くないモンスターが大人しいということはないとすると高しない fact5: このぷよぷねLv.91は味気無い fact6: そのまやまちゃLv.54は作業し易い fact7: もしこのぷよぷねLv.91が思い遣れないとすればそのぽくぽにゃLv.80は思い遣れない fact8: 「そのまやまちゃLv.54は味気無い」ということは事実と異なる fact9: もし仮にそのまやまちゃLv.54が高ししそれに作業し易いならそのぽくぽにゃLv.80は居辛くない
fact2 & fact5 -> int1: このぷよぷねLv.91は大人しい; int1 & fact1 -> int2: 「このぷよぷねLv.91は思い遣れる」ということは本当だ; int2 & fact3 -> int3: そのまやまちゃLv.54は高し; int3 & fact6 -> int4: そのまやまちゃLv.54は高ししそれにそれは作業し易い; int4 & fact9 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact6 -> int4: ({D}{b} & {E}{b}); int4 & fact9 -> hypothesis;
そのぽくぽにゃLv.80は居辛い
$facts$ = fact1: もし仮に「このぷよぷねLv.91は大人しい」ということは確かであるならこのぷよぷねLv.91は思い遣れる fact2: このぷよぷねLv.91が味気無いとすればこのぷよぷねLv.91は大人しい fact3: このぷよぷねLv.91は思い遣れるとすれば「そのまやまちゃLv.54は高し」ということは確かである fact4: もし味気無くないモンスターが大人しいということはないとすると高しない fact5: このぷよぷねLv.91は味気無い fact6: そのまやまちゃLv.54は作業し易い fact7: もしこのぷよぷねLv.91が思い遣れないとすればそのぽくぽにゃLv.80は思い遣れない fact8: 「そのまやまちゃLv.54は味気無い」ということは事実と異なる fact9: もし仮にそのまやまちゃLv.54が高ししそれに作業し易いならそのぽくぽにゃLv.80は居辛くない ; $hypothesis$ = そのぽくぽにゃLv.80は居辛い ; $proof$ = 
fact2 & fact5 -> int1: このぷよぷねLv.91は大人しい; int1 & fact1 -> int2: 「このぷよぷねLv.91は思い遣れる」ということは本当だ; int2 & fact3 -> int3: そのまやまちゃLv.54は高し; int3 & fact6 -> int4: そのまやまちゃLv.54は高ししそれにそれは作業し易い; int4 & fact9 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact6 -> int4: ({D}{b} & {E}{b}); int4 & fact9 -> hypothesis; __DISPROVED__