Charlie is blue. Charlie is young. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Harry is young. Round things are kind.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is young.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8 OR ((triple10) -> rule1))] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Harry is young.[(triple12)]