Anne is not big. Anne is not cold. Anne is furry. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is not furry. Charlie is round. Charlie is white. Charlie is young. Fiona is big. Fiona is not cold. Fiona is kind. Fiona is white. Fiona is young. If something is big then it is round. Big things are kind. If Fiona is round then Fiona is big. If something is cold then it is big. If something is round and furry then it is young. If Charlie is white and Charlie is not big then Charlie is round.
Anne is not round.
@0: Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple4 triple3) -> rule5))] Charlie is big.[(triple7)] Charlie is not furry.[(triple8)] Charlie is round.[(triple9 OR ((triple7) -> rule1))] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Fiona is big.[(triple12)] Fiona is kind.[(triple14 OR ((triple12) -> rule2))] Fiona is not cold.[(triple13)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Charlie is kind.[(((triple7) -> rule2))] Fiona is round.[(((triple12) -> rule1))]