The dog is not kind. The dog is red. The dog is round. All big, red people are round. If someone is red and not big then they are round. All red, big people are kind. If someone is round then they are young. If someone is round then they are young. Big people are red. If someone is big then they are red. Big people are red.
The dog is not kind.
@0: The dog is not kind.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] @1: The dog is young.[(((triple3) -> rule4) OR ((triple3) -> rule5))]