Charlie is big. Charlie is nice. Charlie is young. Dave is round. Dave is young. Erin is big. Erin is nice. Erin is round. Erin is young. Harry is cold. Harry is round. Harry is smart. If something is cold then it is young. If something is quiet and young then it is round. Cold, nice things are big.
Dave is quiet.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Harry is cold.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Harry is young.[(((triple10) -> rule1))]