Anne is big. Anne is green. Anne is smart. Erin is green. Erin is kind. Erin is not nice. Erin is not smart. Erin is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is not young. Smart people are blue. If someone is kind and not nice then they are green. If someone is young and not blue then they are not big.
Erin is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Erin is green.[(triple4 OR ((triple5 triple6) -> rule2))] Erin is kind.[(triple5)] Erin is not nice.[(triple6)] Erin is not smart.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10 OR ((triple14) -> rule1))] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is not young.[(triple15)] Fiona is smart.[(triple14)] @1: Anne is blue.[(((triple3) -> rule1))]