Bob is not red. Charlie is white. Erin is white. Harry is smart. All rough, white people are red. If someone is white then they are red. All quiet people are young. If someone is big then they are not young. If someone is white and not big then they are rough. If Erin is big and Erin is young then Erin is rough.
Bob is not red.
@0: Bob is not red.[(triple1)] Charlie is white.[(triple2)] Erin is white.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is red.[(((triple2) -> rule2))] Erin is red.[(((triple3) -> rule2))]