Charlie is blue. Charlie is red. Charlie is young. Erin is big. Erin is blue. Erin is not furry. Erin is nice. Erin is red. Erin is not white. Erin is young. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is white. Fiona is not young. If someone is red and nice then they are big. If Charlie is young then Charlie is not nice. If Charlie is blue and Charlie is not young then Charlie is red.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Erin is big.[(triple4 OR ((triple8 triple7) -> rule1))] Erin is blue.[(triple5)] Erin is nice.[(triple7)] Erin is not furry.[(triple6)] Erin is not white.[(triple9)] Erin is red.[(triple8)] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13)] Fiona is not young.[(triple15)] Fiona is white.[(triple14)] @1: Charlie is not nice.[(((triple3) -> rule2))]