Charlie is cold. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is rough. Charlie is round. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. If Charlie is not round then Charlie is quiet. If Charlie is round and Charlie is nice then Charlie is cold. If Charlie is not round then Charlie is rough. All rough, cold things are red. If something is rough and not quiet then it is green. If something is quiet and nice then it is green.
Erin is red.
@0: Charlie is cold.[(triple1 OR ((triple7 triple3) -> rule2))] Charlie is green.[(triple2 OR ((triple6 triple4) -> rule5))] Charlie is nice.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple6 triple1) -> rule4) OR ((triple6 ((triple7 triple3) -> rule2)) -> rule4))] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9 OR ((triple11 triple10) -> rule6))] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12 OR ((triple13 triple8) -> rule4))] Erin is rough.[(triple13)] Erin is round.[(triple14)]