Dave is nice. Dave is red. Dave is smart. Erin is green. Erin is red. Erin is rough. Fiona is blue. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is red. Fiona is rough. If someone is green and not nice then they are blue. All nice people are rough. If someone is smart and not rough then they are kind.
Erin is smart.
@0: Dave is nice.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple10)] Fiona is not kind.[(triple9)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple10) -> rule2))] @1: Dave is rough.[(((triple1) -> rule2))]