Dave is not red. Dave is rough. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Fiona is green. Fiona is round. If Fiona is red then Fiona is rough. All green things are kind. If something is green and not smart then it is nice.
Dave is not kind.
@0: Dave is not red.[(triple1)] Dave is rough.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple3) -> rule2))] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is green.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is kind.[(((triple9) -> rule2))]