Anne is kind. Anne is nice. Charlie is kind. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. All green people are cold. If someone is rough and kind then they are cold. Nice people are cold. If someone is cold and not kind then they are not round. If Anne is nice and Anne is kind then Anne is cold. All cold, round people are young. If Fiona is rough and Fiona is round then Fiona is green. If someone is cold and not rough then they are green.
Charlie is kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Charlie is kind.[(triple3)] Fiona is green.[(triple4 OR ((triple6 triple7) -> rule7))] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Anne is cold.[(((triple2) -> rule3) OR ((triple2 triple1) -> rule5))] Fiona is cold.[(((triple4) -> rule1) OR ((triple6 triple5) -> rule2) OR ((((triple6 triple7) -> rule7)) -> rule1))] @2: Fiona is young.[(((((triple4) -> rule1) triple7) -> rule6) OR ((((triple6 triple5) -> rule2) triple7) -> rule6) OR ((((((triple6 triple7) -> rule7)) -> rule1) triple7) -> rule6))]