Bob is kind. Bob is white. Charlie is smart. Charlie is white. Erin is kind. Erin is quiet. Erin is white. Harry is big. Harry is round. Harry is smart. If someone is kind then they are white.
Charlie is white.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2 OR ((triple1) -> rule1))] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule1))] Harry is big.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]