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