Dave is green. Dave is kind. Dave is not nice. Dave is not rough. Dave is young. Erin is green. Erin is rough. Fiona is kind. Fiona is nice. Fiona is round. If someone is round and not red then they are young. If someone is young and not red then they are round. If Fiona is nice and Fiona is rough then Fiona is green. If someone is rough and green then they are nice. If someone is rough then they are kind. If someone is nice and young then they are not rough. All red people are rough. If someone is nice and not round then they are rough.
Fiona is not round.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is not nice.[(triple3)] Dave is not rough.[(triple4)] Dave is young.[(triple5)] Erin is green.[(triple6)] Erin is rough.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] @1: Erin is kind.[(((triple7) -> rule5))] Erin is nice.[(((triple7 triple6) -> rule4))]