Bob is furry. Bob is not green. Bob is red. Bob is young. Charlie is furry. Charlie is red. Charlie is not smart. Dave is red. Gary is big. Gary is furry. All red people are furry.
Gary is not smart.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule1))] Bob is not green.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule1))] Charlie is not smart.[(triple7)] Charlie is red.[(triple6)] Dave is red.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] @1: Dave is furry.[(((triple8) -> rule1))]