Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is young. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is young. Fiona is young. All cold people are quiet. If someone is kind then they are cold.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((((triple3) -> rule2)) -> rule1))] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((triple9) -> rule2))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10 OR ((triple7) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Erin is young.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is cold.[(((triple3) -> rule2))]