Bob is blue. Bob is green. Bob is round. Bob is smart. Dave is green. Dave is white. Fiona is not kind. Gary is not cold. Gary is green. Gary is kind. If something is round then it is green.
Bob is round.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule1))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is green.[(triple5)] Dave is white.[(triple6)] Fiona is not kind.[(triple7)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is not cold.[(triple8)]