Charlie is furry. Charlie is kind. Charlie is nice. Charlie is not smart. Erin is big. Erin is furry. Erin is nice. Erin is round. Erin is not young. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is young. Furry things are big. If something is smart then it is big. All kind things are big.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not smart.[(triple4)] Erin is big.[(triple5 OR ((triple6) -> rule1))] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is not young.[(triple9)] Erin is round.[(triple8)] Gary is big.[(triple10 OR ((triple11) -> rule1) OR ((triple12) -> rule3) OR ((triple15) -> rule2))] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Charlie is big.[(((triple1) -> rule1) OR ((triple2) -> rule3))]