Bob is not nice. Bob is smart. Charlie is green. Charlie is red. Charlie is round. Erin is blue. Erin is red. All blue things are red.
Bob is not red.
@0: Bob is not nice.[(triple1)] Bob is smart.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Erin is blue.[(triple6)] Erin is red.[(triple7 OR ((triple6) -> rule1))]