Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. All young people are kind. Kind, round people are nice. All red, young people are rough.
Fiona is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple7) -> rule1))] Anne is nice.[(triple3 OR ((triple2 triple6) -> rule2) OR ((((triple7) -> rule1) triple6) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple4 triple7) -> rule3))] Anne is round.[(triple6)] Anne is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9 OR ((triple12) -> rule1))] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple10 triple12) -> rule3))] Fiona is young.[(triple12)]