Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is young. If Charlie is quiet and Charlie is blue then Charlie is kind. If someone is smart then they are round.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple1) -> rule1))] Charlie is quiet.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule2))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12 OR ((triple13) -> rule2))] Erin is smart.[(triple13)] Erin is young.[(triple14)]