Charlie is smart. Erin is nice. Fiona is kind. Quiet people are smart. If someone is big and kind then they are nice. If Erin is smart then Erin is kind. All big, quiet people are round. If Charlie is smart then Charlie is quiet. If someone is smart then they are nice.
Erin is big.
@0: Charlie is smart.[(triple1)] Erin is nice.[(triple2)] Fiona is kind.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule6))] Charlie is quiet.[(((triple1) -> rule5))]