Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is round. Anne is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is young. Round things are kind. If something is cold and not blue then it is not kind. All cold, young things are round. If something is nice and not furry then it is young. Blue things are young. If something is cold and not furry then it is nice.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple6) -> rule1) OR ((((triple2 triple7) -> rule3)) -> rule1) OR ((((triple2 ((triple1) -> rule5)) -> rule3)) -> rule1))] Anne is nice.[(triple5)] Anne is round.[(triple6 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple1) -> rule5)) -> rule3))] Anne is young.[(triple7 OR ((triple1) -> rule5))] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11 OR ((triple13) -> rule1) OR ((((triple9 triple14) -> rule3)) -> rule1) OR ((((triple9 ((triple8) -> rule5)) -> rule3)) -> rule1))] Fiona is nice.[(triple12)] Fiona is round.[(triple13 OR ((triple9 triple14) -> rule3) OR ((triple9 ((triple8) -> rule5)) -> rule3))] Fiona is young.[(triple14 OR ((triple8) -> rule5))]