Bob is not big. Charlie is big. Charlie is not furry. Charlie is round. Erin is big. Erin is cold. Erin is furry. Erin is not nice. Erin is round. Erin is young. Gary is furry. Gary is not nice. All furry people are not nice. All furry people are round.
Erin is not cold.
@0: Bob is not big.[(triple1)] Charlie is big.[(triple2)] Charlie is not furry.[(triple3)] Charlie is round.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is not nice.[(triple8 OR ((triple7) -> rule1))] Erin is round.[(triple9 OR ((triple7) -> rule2))] Erin is young.[(triple10)] Gary is furry.[(triple11)] Gary is not nice.[(triple12 OR ((triple11) -> rule1))] @1: Gary is round.[(((triple11) -> rule2))]