Bob is smart. Charlie is blue. Charlie is nice. Charlie is quiet. Erin is not kind. Erin is nice. Erin is round. Erin is smart. Harry is blue. Harry is quiet. If someone is red then they are blue. If someone is red and quiet then they are smart. Smart, nice people are red.
Erin is not red.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Erin is nice.[(triple6)] Erin is not kind.[(triple5)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is red.[(((triple8 triple6) -> rule3))] @2: Erin is blue.[(((((triple8 triple6) -> rule3)) -> rule1))]