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