Bob is green. Charlie is big. Charlie is nice. Charlie is rough. Charlie is not round. Dave is not big. Dave is furry. Dave is nice. Erin is not big. Erin is furry. Erin is not nice. Erin is red. If Dave is green and Dave is furry then Dave is nice. All big people are not round. All big, round people are not green. If someone is round then they are furry. If someone is green then they are not furry. All furry people are rough. If someone is red and not round then they are rough. If Bob is rough then Bob is not furry.
Dave is round.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Charlie is nice.[(triple3)] Charlie is not round.[(triple5 OR ((triple2) -> rule2))] Charlie is rough.[(triple4)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Dave is not big.[(triple6)] Erin is furry.[(triple10)] Erin is not big.[(triple9)] Erin is not nice.[(triple11)] Erin is red.[(triple12)] @1: Bob is not furry.[(((triple1) -> rule5))] Dave is rough.[(((triple7) -> rule6))] Erin is rough.[(((triple10) -> rule6))]