Charlie is big. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is blue. Dave is smart. Dave is white. Erin is big. Erin is round. Erin is white. Smart, big things are red.
Erin is quiet.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Erin is big.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)] @1: Charlie is red.[(((triple4 triple1) -> rule1))] Dave is red.[(((triple8 triple6) -> rule1))]