Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is smart. Erin is not young. Fiona is not big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is smart. Fiona is young. Gary is not big. Gary is green. If Fiona is not nice then Fiona is young. If Fiona is young then Fiona is furry. If Gary is nice and Gary is quiet then Gary is not green.
Erin is green.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is not young.[(triple7)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Fiona is furry.[(triple9 OR ((triple14) -> rule2))] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is not big.[(triple8)] Fiona is not quiet.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)] Gary is green.[(triple16)] Gary is not big.[(triple15)]