Charlie is not nice. Charlie is round. Charlie is young. Dave is furry. Dave is green. Dave is rough. Fiona is furry. Fiona is green. Fiona is not rough. Fiona is young. Rough people are kind. If Fiona is kind and Fiona is rough then Fiona is green. If someone is kind and young then they are furry. If someone is nice and furry then they are young. If someone is nice then they are round. If someone is nice and not furry then they are green. If someone is rough and young then they are not green. If someone is young then they are green.
Charlie is not furry.
@0: Charlie is not nice.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is rough.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple10) -> rule8))] Fiona is not rough.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is green.[(((triple3) -> rule8))] Dave is kind.[(((triple6) -> rule1))]