Bob is kind. Bob is quiet. Charlie is big. Charlie is quiet. Charlie is white. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is white. If someone is furry then they are nice. If Bob is big then Bob is furry.
Bob is green.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Charlie is big.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is white.[(triple10)] Erin is big.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is nice.[(triple14 OR ((triple12) -> rule1))] Erin is quiet.[(triple15)] Erin is white.[(triple16)]