Bob is big. Bob is furry. Bob is smart. Bob is young. Charlie is furry. Charlie is red. Charlie is smart. Charlie is young. Erin is kind. Erin is smart. Erin is young. Gary is smart. If something is kind then it is furry.
Erin is not smart.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Erin is kind.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11)] Gary is smart.[(triple12)] @1: Erin is furry.[(((triple9) -> rule1))]