Charlie is big. Charlie is not nice. Charlie is quiet. Charlie is not white. Dave is big. Dave is blue. Dave is nice. Gary is nice. Harry is big. Harry is nice. Harry is quiet. Harry is red. If something is red then it is blue. If something is white and big then it is quiet.
Harry is round.
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not white.[(triple4)] Charlie is quiet.[(triple3)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Gary is nice.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] @1: Harry is blue.[(((triple12) -> rule1))]