あのぷにゅぷちゅLv.35は紳士らしくない
fact1: もし仮に「なんらかのモンスターは黒いということはないししかも親しくない」ということは成り立たないとしたら由々し fact2: 「あのぷにゅぷちゅLv.35は黒くないしかつ親しくない」ということは間違っている fact3: 仮にあのぷにゅぷちゅLv.35が行き難いならそれは紳士らしい fact4: もし仮にあのぷにゅぷちゅLv.35が禍々しいならばあのぷにゅぷちゅLv.35はこよない fact5: もし仮にあのぷにゅぷちゅLv.35が飽きっぽいとしたらあのぷにゅぷちゅLv.35は行き難い fact6: もしもそのみよみにょLv.96が飽きっぽいけれど行き難いということはないならそのぴねぴえLv.66は飽きっぽくない fact7: もし「あのぷにゅぷちゅLv.35は親しい」ということは嘘でないならあのぷにゅぷちゅLv.35は由々し fact8: あのぷにゅぷちゅLv.35が由々しとすればあのぷにゅぷちゅLv.35は飽きっぽい fact9: 「とあるモンスターは親しくないし紳士らしくない」ということは事実と異なるとしたら行き難い
fact1 -> int1: もし「あのぷにゅぷちゅLv.35は黒くないしそれに親しくない」ということは成り立たないならばあのぷにゅぷちゅLv.35は由々し; int1 & fact2 -> int2: 「あのぷにゅぷちゅLv.35は由々し」ということは確かである; int2 & fact8 -> int3: あのぷにゅぷちゅLv.35は飽きっぽい; int3 & fact5 -> int4: あのぷにゅぷちゅLv.35は行き難い; int4 & fact3 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact8 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{aa}; int4 & fact3 -> hypothesis;
あのぷにゅぷちゅLv.35は紳士らしくない
$facts$ = fact1: もし仮に「なんらかのモンスターは黒いということはないししかも親しくない」ということは成り立たないとしたら由々し fact2: 「あのぷにゅぷちゅLv.35は黒くないしかつ親しくない」ということは間違っている fact3: 仮にあのぷにゅぷちゅLv.35が行き難いならそれは紳士らしい fact4: もし仮にあのぷにゅぷちゅLv.35が禍々しいならばあのぷにゅぷちゅLv.35はこよない fact5: もし仮にあのぷにゅぷちゅLv.35が飽きっぽいとしたらあのぷにゅぷちゅLv.35は行き難い fact6: もしもそのみよみにょLv.96が飽きっぽいけれど行き難いということはないならそのぴねぴえLv.66は飽きっぽくない fact7: もし「あのぷにゅぷちゅLv.35は親しい」ということは嘘でないならあのぷにゅぷちゅLv.35は由々し fact8: あのぷにゅぷちゅLv.35が由々しとすればあのぷにゅぷちゅLv.35は飽きっぽい fact9: 「とあるモンスターは親しくないし紳士らしくない」ということは事実と異なるとしたら行き難い ; $hypothesis$ = あのぷにゅぷちゅLv.35は紳士らしくない ; $proof$ = 
fact1 -> int1: もし「あのぷにゅぷちゅLv.35は黒くないしそれに親しくない」ということは成り立たないならばあのぷにゅぷちゅLv.35は由々し; int1 & fact2 -> int2: 「あのぷにゅぷちゅLv.35は由々し」ということは確かである; int2 & fact8 -> int3: あのぷにゅぷちゅLv.35は飽きっぽい; int3 & fact5 -> int4: あのぷにゅぷちゅLv.35は行き難い; int4 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact8 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{aa}; int4 & fact3 -> hypothesis; __DISPROVED__