Anne is kind. Anne is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is white. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. All kind people are white. If Anne is cold and Anne is kind then Anne is young. If Charlie is big then Charlie is blue. All young, kind people are blue. If Fiona is kind and Fiona is cold then Fiona is quiet. If Anne is kind and Anne is quiet then Anne is white.
Anne is not young.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule1))] Charlie is big.[(triple3)] Charlie is blue.[(triple4 OR ((triple3) -> rule3) OR ((triple9 triple6) -> rule4))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8 OR ((triple6) -> rule1))] Charlie is young.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11 OR ((triple16 triple13) -> rule4))] Fiona is cold.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13 triple12) -> rule5))] Fiona is white.[(triple15 OR ((triple13) -> rule1))] Fiona is young.[(triple16)]