Anne is big. Anne is not green. Anne is red. Anne is round. Anne is white. Charlie is not green. Erin is big. Erin is kind. Erin is not red. Erin is smart. If someone is smart and round then they are green. If someone is smart and white then they are kind. If Charlie is white then Charlie is not kind. If someone is kind and not white then they are big. If someone is kind then they are big. Kind people are smart. If Erin is round and Erin is white then Erin is red. If someone is white and not big then they are not red.
Anne is big.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is not green.[(triple6)] Erin is big.[(triple7 OR ((triple8) -> rule5))] Erin is kind.[(triple8)] Erin is not red.[(triple9)] Erin is smart.[(triple10 OR ((triple8) -> rule6))]