Bob is green. Bob is not nice. Erin is not furry. Erin is green. Erin is not young. Fiona is big. Fiona is green. Fiona is nice. Fiona is young. Gary is furry. Gary is not smart. Gary is not young. If something is green then it is big. If Fiona is nice and Fiona is not blue then Fiona is not green.
Fiona is young.
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Erin is green.[(triple4)] Erin is not furry.[(triple3)] Erin is not young.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule1))] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] Gary is not smart.[(triple11)] Gary is not young.[(triple12)] @1: Bob is big.[(((triple1) -> rule1))] Erin is big.[(((triple4) -> rule1))]