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