Dave is big. Dave is red. Fiona is cold. Fiona is not red. Fiona is rough. Fiona is round. Fiona is smart. Rough people are green. All smart people are not red. If Dave is cold then Dave is green.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Fiona is cold.[(triple3)] Fiona is not red.[(triple4 OR ((triple7) -> rule2))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is green.[(((triple5) -> rule1))]