Anne is big. Anne is green. Anne is not quiet. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is smart. Erin is big. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Fiona is not smart. Fiona is not young. If something is smart then it is round. Round things are kind. If Charlie is not big then Charlie is not quiet. If Anne is quiet and Anne is not round then Anne is young. If something is smart and not round then it is not quiet. If something is young and not big then it is quiet. If something is quiet and kind then it is young. If something is smart and not quiet then it is green.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple3) -> rule8))] Anne is not quiet.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Erin is big.[(triple10)] Erin is kind.[(triple11 OR ((((triple13) -> rule1)) -> rule2))] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple12 triple11) -> rule7) OR ((triple12 ((((triple13) -> rule1)) -> rule2)) -> rule7))] Fiona is not smart.[(triple15)] Fiona is not young.[(triple16)] @1: Anne is round.[(((triple4) -> rule1))] Charlie is round.[(((triple9) -> rule1))] Erin is round.[(((triple13) -> rule1))] @2: Anne is kind.[(((((triple4) -> rule1)) -> rule2))] Charlie is kind.[(((((triple9) -> rule1)) -> rule2))] @3: Charlie is young.[(((triple8 ((((triple9) -> rule1)) -> rule2)) -> rule7))]