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