Charlie is big. Charlie is not blue. Charlie is nice. Charlie is red. Charlie is white. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is not red. Erin is round. Erin is white. All blue, nice things are big. If something is round then it is blue.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple3)] Charlie is not blue.[(triple2)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Erin is big.[(triple6 OR ((triple7 triple9) -> rule1) OR ((((triple11) -> rule2) triple9) -> rule1))] Erin is blue.[(triple7 OR ((triple11) -> rule2))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is not red.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)]