Anne is kind. Anne is red. Anne is white. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is white. Fiona is blue. Fiona is quiet. Fiona is smart. If Charlie is furry then Charlie is white. If someone is kind and furry then they are blue. Blue people are kind. If someone is quiet then they are smart. If Anne is red and Anne is smart then Anne is kind. If Erin is furry and Erin is blue then Erin is kind.
Charlie is not kind.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4 OR ((triple6 triple5) -> rule2))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6 OR ((triple4) -> rule3))] Charlie is red.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11 OR ((triple10) -> rule4))] Erin is white.[(triple12)] Fiona is blue.[(triple13)] Fiona is quiet.[(triple14)] Fiona is smart.[(triple15 OR ((triple14) -> rule4))] @1: Charlie is white.[(((triple5) -> rule1))] Erin is blue.[(((triple9 triple8) -> rule2))] Fiona is kind.[(((triple13) -> rule3))]