Anne is cold. Anne is green. Anne is kind. Anne is not rough. Anne is round. Anne is smart. Charlie is cold. Charlie is green. Charlie is round. Fiona is not kind. Fiona is rough. Fiona is not round. All smart things are cold. All rough, green things are round. If Charlie is rough and Charlie is not green then Charlie is not smart. If Anne is rough then Anne is smart. If something is green and not smart then it is kind. If something is young and green then it is kind. All kind things are young. All round things are young.
Fiona is not young.
@0: Anne is cold.[(triple1 OR ((triple6) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((((triple5) -> rule8) triple2) -> rule6))] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is round.[(triple9)] Fiona is not kind.[(triple10)] Fiona is not round.[(triple12)] Fiona is rough.[(triple11)] @1: Anne is young.[(((triple3) -> rule7) OR ((triple5) -> rule8))] Charlie is young.[(((triple9) -> rule8))] @2: Charlie is kind.[(((((triple9) -> rule8) triple8) -> rule6))]