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