Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Erin is blue. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. If Erin is rough then Erin is round. If Erin is red then Erin is nice. All cold, round things are rough.
Charlie is red.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple2 triple6) -> rule3))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule2))] Erin is red.[(triple11)] Erin is rough.[(triple12 OR ((triple9 triple13) -> rule3))] Erin is round.[(triple13 OR ((triple12) -> rule1))] Erin is young.[(triple14)]