Bob is not blue. Bob is not nice. Bob is red. Bob is not smart. Dave is not round. Erin is red. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is smart. If someone is smart then they are nice.
Bob is not nice.
@0: Bob is not blue.[(triple1)] Bob is not nice.[(triple2)] Bob is not smart.[(triple4)] Bob is red.[(triple3)] Dave is not round.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule1))] Harry is red.[(triple11)] Harry is smart.[(triple12)]