Bob is big. Bob is furry. Bob is green. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Dave is furry. Dave is kind. Dave is round. Gary is furry. Gary is smart. All round things are green.
Dave is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Dave is furry.[(triple12)] Dave is kind.[(triple13)] Dave is round.[(triple14)] Gary is furry.[(triple15)] Gary is smart.[(triple16)] @1: Dave is green.[(((triple14) -> rule1))]