Charlie is big. Charlie is furry. Charlie is green. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is white. Erin is not big. Erin is furry. Erin is green. Erin is rough. Erin is not round. Erin is smart. Erin is white. All green, big things are smart. Big things are white. If something is round then it is white.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Charlie is smart.[(triple6 OR ((triple3 triple1) -> rule1))] Charlie is white.[(triple7 OR ((triple1) -> rule2))] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is not big.[(triple8)] Erin is not round.[(triple12)] Erin is rough.[(triple11)] Erin is smart.[(triple13)] Erin is white.[(triple14)]