Bob is kind. Bob is round. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Erin is kind. Erin is nice. Erin is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Nice, kind things are quiet. Quiet, nice things are cold. Round, rough things are cold.
Erin is not kind.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple5) -> rule3))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is young.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Erin is quiet.[(((triple9 triple8) -> rule1))] @2: Erin is cold.[(((((triple9 triple8) -> rule1) triple9) -> rule2))]