The dog is cold. The dog is not green. The dog is kind. The dog is not nice. The dog is round. Green people are round. All nice people are round. All round people are not green. All nice people are kind. If someone is nice and not kind then they are cold. If someone is green and nice then they are cold.
The dog does not eat the dog.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple3)] The dog is not green.[(triple2 OR ((triple5) -> rule3))] The dog is not nice.[(triple4)] The dog is round.[(triple5)]