Anne is green. Anne is nice. Anne is not red. Anne is rough. Anne is young. Bob is nice. Bob is rough. Charlie is not rough. Charlie is not round. Charlie is not smart. Fiona is round. Fiona is young. If someone is round and not smart then they are not rough. If someone is green and not young then they are not nice. Rough people are green.
Charlie is not nice.
@0: Anne is green.[(triple1 OR ((triple4) -> rule3))] Anne is nice.[(triple2)] Anne is not red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is nice.[(triple6)] Bob is rough.[(triple7)] Charlie is not rough.[(triple8)] Charlie is not round.[(triple9)] Charlie is not smart.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Bob is green.[(((triple7) -> rule3))]