Bob is nice. Dave is furry. Dave is green. Dave is white. Fiona is white. Gary is green. Gary is white. If Dave is green then Dave is furry. If someone is nice then they are big.
Gary is not white.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule1))] Dave is green.[(triple3)] Dave is white.[(triple4)] Fiona is white.[(triple5)] Gary is green.[(triple6)] Gary is white.[(triple7)] @1: Bob is big.[(((triple1) -> rule2))]