Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is round. If something is green and blue then it is red. If something is red then it is cold. If something is red and round then it is nice.
Erin is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((((triple3 triple1) -> rule1)) -> rule2))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((((triple3 triple1) -> rule1) triple6) -> rule3))] Charlie is quiet.[(triple5)] Charlie is round.[(triple6)] Erin is cold.[(triple7 OR ((triple11) -> rule2))] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple11 triple12) -> rule3))] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is round.[(triple12)] @1: Charlie is red.[(((triple3 triple1) -> rule1))]