Anne is not kind. Anne is round. Anne is not young. Bob is nice. Bob is not rough. Bob is round. Bob is not young. Fiona is kind. Fiona is not nice. Fiona is rough. All rough people are round. All big, round people are rough. If someone is smart then they are not kind. If someone is kind and not round then they are nice. If someone is smart and not round then they are nice. Nice people are not young.
Bob is young.
@0: Anne is not kind.[(triple1)] Anne is not young.[(triple3)] Anne is round.[(triple2)] Bob is nice.[(triple4)] Bob is not rough.[(triple5)] Bob is not young.[(triple7 OR ((triple4) -> rule6))] Bob is round.[(triple6)] Fiona is kind.[(triple8)] Fiona is not nice.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is round.[(((triple10) -> rule1))]