Bob is red. Charlie is round. Erin is nice. If something is red and not green then it is not round. If Bob is white then Bob is red. All smart, green things are nice. If something is nice and kind then it is red. White things are smart. If something is red and round then it is smart. All nice things are not kind. All nice things are white.
Erin is not white.
@0: Bob is red.[(triple1)] Charlie is round.[(triple2)] Erin is nice.[(triple3)] @1: Erin is not kind.[(((triple3) -> rule7))] Erin is white.[(((triple3) -> rule8))] @2: Erin is smart.[(((((triple3) -> rule8)) -> rule5))]