Charlie is not blue. Charlie is smart. Erin is furry. Erin is kind. Erin is smart. Erin is white. Erin is not young. Fiona is red. Fiona is white. Harry is young. If something is red then it is white. If Charlie is young and Charlie is not smart then Charlie is kind. All young things are red.
Charlie is white.
@0: Charlie is not blue.[(triple1)] Charlie is smart.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is not young.[(triple7)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Fiona is red.[(triple8)] Fiona is white.[(triple9 OR ((triple8) -> rule1))] Harry is young.[(triple10)] @1: Harry is red.[(((triple10) -> rule3))] @2: Harry is white.[(((((triple10) -> rule3)) -> rule1))]