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