The dog is not green. The dog is kind. The dog is not nice. The dog is round. The dog is not young. If someone is kind then they are not green. All nice people are green. If someone is young and round then they are not nice. If the dog is kind and the dog is young then the dog is round. If the dog is green and the dog is kind then the dog is round. All nice people are kind. If the dog is nice and the dog is young then the dog is not kind. All green, nice people are not round.
The dog needs the dog.
@0: The dog is kind.[(triple2)] The dog is not green.[(triple1 OR ((triple2) -> rule1))] The dog is not nice.[(triple3)] The dog is not young.[(triple5)] The dog is round.[(triple4)]