Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is white. All kind people are red. If someone is blue and nice then they are round.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule1))] Anne is round.[(triple5 OR ((triple1 triple3) -> rule2))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11 OR ((triple9) -> rule1))] Erin is round.[(triple12 OR ((triple8 triple10) -> rule2))] Erin is smart.[(triple13)] Erin is white.[(triple14)]