このぴなぴにょLv.72は野太い
fact1: このぴなぴにょLv.72は集まり易い fact2: もしこのぴなぴにょLv.72が疲れ易いしその上集まり易いならば野太くない fact3: このぴなぴにょLv.72は狙い難い fact4: あのぷにゃぷちょLv.6は凄まじい fact5: もし仮にあのぷにゃぷちょLv.6が凄まじいとすればこのぴなぴにょLv.72は疲れ易い fact6: このぴなぴにょLv.72が凄まじいしまた集まり易いとすればこのぴなぴにょLv.72は疲れ易くない
fact5 & fact4 -> int1: このぴなぴにょLv.72は疲れ易い; int1 & fact1 -> int2: このぴなぴにょLv.72は疲れ易くて集まり易い; int2 & fact2 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: このぴなぴにょLv.72は集まり易い fact2: もしこのぴなぴにょLv.72が疲れ易いしその上集まり易いならば野太くない fact3: このぴなぴにょLv.72は狙い難い fact4: あのぷにゃぷちょLv.6は凄まじい fact5: もし仮にあのぷにゃぷちょLv.6が凄まじいとすればこのぴなぴにょLv.72は疲れ易い fact6: このぴなぴにょLv.72が凄まじいしまた集まり易いとすればこのぴなぴにょLv.72は疲れ易くない ; $hypothesis$ = このぴなぴにょLv.72は野太い ; $proof$ = 
fact5 & fact4 -> int1: このぴなぴにょLv.72は疲れ易い; int1 & fact1 -> int2: このぴなぴにょLv.72は疲れ易くて集まり易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis; __DISPROVED__