Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Dave is furry. Dave is white. Erin is cold. Erin is furry. Erin is quiet. Erin is not white. Erin is young. Harry is furry. If Dave is red then Dave is white. If Dave is smart and Dave is cold then Dave is white. Smart, white things are quiet. Red, white things are smart. If something is red and white then it is young. If Erin is not red then Erin is furry. If Erin is furry and Erin is not quiet then Erin is cold. If Erin is furry and Erin is smart then Erin is cold.
Charlie is white.
@0: Charlie is quiet.[(triple1 OR ((triple3 triple4) -> rule3) OR ((((triple2 triple4) -> rule4) triple4) -> rule3))] Charlie is red.[(triple2)] Charlie is smart.[(triple3 OR ((triple2 triple4) -> rule4))] Charlie is white.[(triple4)] Dave is furry.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is not white.[(triple10)] Erin is quiet.[(triple9)] Erin is young.[(triple11)] Harry is furry.[(triple12)] @1: Charlie is young.[(((triple2 triple4) -> rule5))]