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.
Charlie is not round.
@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))]