Charlie is not big. Charlie is blue. Charlie is rough. Charlie is round. Charlie is smart. Erin is big. Erin is blue. Erin is kind. Erin is rough. Erin is round. Erin is smart. Fiona is blue. Fiona is kind. Fiona is round. Fiona is not smart. All big people are rough. If someone is round and not blue then they are red. If someone is rough then they are not red.
Fiona is not big.
@0: Charlie is blue.[(triple2)] Charlie is not big.[(triple1)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9 OR ((triple6) -> rule1))] Erin is round.[(triple10)] Erin is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is kind.[(triple13)] Fiona is not smart.[(triple15)] Fiona is round.[(triple14)] @1: Charlie is not red.[(((triple3) -> rule3))] Erin is not red.[(((triple9) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]