Charlie is big. Charlie is blue. Charlie is nice. Charlie is round. Dave is blue. Dave is nice. Erin is blue. Erin is kind. Erin is round. Fiona is white. Round people are kind.
Fiona is not kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8 OR ((triple9) -> rule1))] Erin is round.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is kind.[(((triple4) -> rule1))]