Bob is furry. Bob is nice. Bob is quiet. Bob is round. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. All green, round people are quiet. If someone is green then they are furry.
Bob is rough.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple7) -> rule2))] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9 OR ((triple7 triple11) -> rule1))] Dave is rough.[(triple10)] Dave is round.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is quiet.[(triple14)] Erin is rough.[(triple15)]