Bob is green. Bob is nice. Bob is rough. Fiona is green. Fiona is kind. Fiona is white. Fiona is young. Quiet people are white. Nice people are white. If someone is kind and quiet then they are nice. If someone is nice and young then they are green. All quiet, green people are white. Rough people are white. Rough, green people are white. All green people are rough.
Fiona is not nice.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3 OR ((triple1) -> rule8))] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is white.[(triple6 OR ((((triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule8) triple4) -> rule7))] Fiona is young.[(triple7)] @1: Bob is white.[(((triple2) -> rule2) OR ((triple3) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8) triple1) -> rule7))] Fiona is rough.[(((triple4) -> rule8))]