このまにょまわLv.0は可愛らしいということはない
fact1: 仮にあのまちゅまにょLv.90が貧乏臭いしかつ恵み深いとすればこのまにょまわLv.0は可愛らしくない fact2: あのまちゅまにょLv.90は貧乏臭い fact3: 「このまにょまわLv.0は恵み深い」ということは成り立つ fact4: あのまちゅまにょLv.90が恵み深いし加えてそれが可愛らしいとするとそのまのまわLv.57は可愛らしくない fact5: このまにょまわLv.0は居並ぶ fact6: あのまちゅまにょLv.90は恵み深い
fact2 & fact6 -> int1: あのまちゅまにょLv.90は貧乏臭いしそれは恵み深い; int1 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
そのまのまわLv.57は可愛らしくない
$facts$ = fact1: 仮にあのまちゅまにょLv.90が貧乏臭いしかつ恵み深いとすればこのまにょまわLv.0は可愛らしくない fact2: あのまちゅまにょLv.90は貧乏臭い fact3: 「このまにょまわLv.0は恵み深い」ということは成り立つ fact4: あのまちゅまにょLv.90が恵み深いし加えてそれが可愛らしいとするとそのまのまわLv.57は可愛らしくない fact5: このまにょまわLv.0は居並ぶ fact6: あのまちゅまにょLv.90は恵み深い ; $hypothesis$ = このまにょまわLv.0は可愛らしいということはない ; $proof$ = 
fact2 & fact6 -> int1: あのまちゅまにょLv.90は貧乏臭いしそれは恵み深い; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __PROVED__