Charlie is big. Charlie is kind. Charlie is not smart. Dave is big. Dave is blue. Dave is quiet. Erin is blue. Erin is not young. Harry is big. Harry is nice. If something is big then it is nice.
Dave is young.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is not smart.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is quiet.[(triple6)] Erin is blue.[(triple7)] Erin is not young.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10 OR ((triple9) -> rule1))] @1: Charlie is nice.[(((triple1) -> rule1))] Dave is nice.[(((triple4) -> rule1))]