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 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))]