Bob is not furry. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is not rough. Erin is smart. Erin is young. If something is quiet and not smart then it is young. All smart, nice things are young. If Erin is smart then Erin is quiet.
Bob is nice.
@0: Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not furry.[(triple1)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple3) -> rule2))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is not rough.[(triple12)] Erin is quiet.[(triple11 OR ((triple13) -> rule3))] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple13 triple10) -> rule2))]