Anne is not blue. Anne is not nice. Anne is not quiet. Anne is rough. Anne is not round. Anne is young. Charlie is not blue. Charlie is rough. Charlie is round. Fiona is blue. Fiona is round. Fiona is young. All blue things are young. If something is round and kind then it is not quiet. If Fiona is young then Fiona is kind.
Fiona is rough.
@0: Anne is not blue.[(triple1)] Anne is not nice.[(triple2)] Anne is not quiet.[(triple3)] Anne is not round.[(triple5)] Anne is rough.[(triple4)] Anne is young.[(triple6)] Charlie is not blue.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Fiona is blue.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12 OR ((triple10) -> rule1))] @1: Fiona is kind.[(((triple12) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] @2: Fiona is not quiet.[(((triple11 ((triple12) -> rule3)) -> rule2) OR ((triple11 ((((triple10) -> rule1)) -> rule3)) -> rule2))]