Anne is big. Charlie is big. Charlie is nice. Charlie is red. Charlie is smart. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Erin is rough. Blue, red things are smart. Smart, big things are kind.
Dave is blue.
@0: Anne is big.[(triple1)] Charlie is big.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is smart.[(triple9)] Erin is rough.[(triple10)] @1: Charlie is kind.[(((triple5 triple2) -> rule2))]