Bob is blue. Bob is nice. Bob is red. Bob is white. Dave is blue. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. All round, blue people are kind. If Dave is white and Dave is nice then Dave is red.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8 OR ((triple9 triple7) -> rule2))] Dave is white.[(triple9)] Dave is young.[(triple10)]