Charlie is red. Charlie is young. Dave is big. Dave is round. Dave is not smart. Erin is big. Erin is furry. Erin is not red. Harry is furry. Harry is red. All quiet people are not big. All furry, big people are not round. Furry people are young. If someone is round and smart then they are young. If someone is smart and not red then they are young. If someone is furry and not quiet then they are smart. If Charlie is red and Charlie is smart then Charlie is not furry. If Charlie is not red and Charlie is not big then Charlie is young.
Charlie is not young.
@0: Charlie is red.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is not smart.[(triple5)] Dave is round.[(triple4)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is not red.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] @1: Erin is not round.[(((triple7 triple6) -> rule2))] Erin is young.[(((triple7) -> rule3))] Harry is young.[(((triple9) -> rule3))]