Dave is blue. Dave is furry. Dave is green. Dave is not nice. Dave is not red. Dave is rough. Dave is round. Fiona is blue. Fiona is furry. Fiona is green. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is round. All red people are round. If someone is green then they are round. If someone is nice and not blue then they are not round. Blue people are rough. If someone is nice then they are not furry. If someone is nice and not round then they are not furry. If someone is red and not green then they are not furry. Round, nice people are furry.
Dave is not green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not nice.[(triple4)] Dave is not red.[(triple5)] Dave is rough.[(triple6 OR ((triple1) -> rule4))] Dave is round.[(triple7 OR ((triple3) -> rule2))] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not nice.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple8) -> rule4))] Fiona is round.[(triple14 OR ((triple10) -> rule2) OR ((triple12) -> rule1))]