このぴゆぴわLv.72は震撼する
fact1: そのまちゃまにLv.49は根気強いしそれに変わり易い fact2: そのまちゃまにLv.49は言い出し難い fact3: もしも「そのまちゃまにLv.49はむさいけど育て易くない」ということは事実と異なるならこのぴゆぴわLv.72は震撼しない fact4: もし仮にそのまちゃまにLv.49が根気強くてかつ言い出し難いならばそれは伸び易くない fact5: 仮にそのまちゃまにLv.49は伸び易くないとすれば「それはむさくて育て易くない」ということは間違いである
fact1 -> int1: そのまちゃまにLv.49は根気強い; int1 & fact2 -> int2: そのまちゃまにLv.49は根気強くて言い出し難い; int2 & fact4 -> int3: そのまちゃまにLv.49は伸び易くない; int3 & fact5 -> int4: 「そのまちゃまにLv.49はむさい一方で育て易くない」ということは成り立たない; int4 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; int3 & fact5 -> int4: ¬({F}{a} & ¬{E}{a}); int4 & fact3 -> hypothesis;
$facts$ = fact1: そのまちゃまにLv.49は根気強いしそれに変わり易い fact2: そのまちゃまにLv.49は言い出し難い fact3: もしも「そのまちゃまにLv.49はむさいけど育て易くない」ということは事実と異なるならこのぴゆぴわLv.72は震撼しない fact4: もし仮にそのまちゃまにLv.49が根気強くてかつ言い出し難いならばそれは伸び易くない fact5: 仮にそのまちゃまにLv.49は伸び易くないとすれば「それはむさくて育て易くない」ということは間違いである ; $hypothesis$ = このぴゆぴわLv.72は震撼する ; $proof$ = 
fact1 -> int1: そのまちゃまにLv.49は根気強い; int1 & fact2 -> int2: そのまちゃまにLv.49は根気強くて言い出し難い; int2 & fact4 -> int3: そのまちゃまにLv.49は伸び易くない; int3 & fact5 -> int4: 「そのまちゃまにLv.49はむさい一方で育て易くない」ということは成り立たない; int4 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; int3 & fact5 -> int4: ¬({F}{a} & ¬{E}{a}); int4 & fact3 -> hypothesis; __DISPROVED__