The dog is kind. The dog is not nice. The dog is round. Round, nice people are kind. All nice people are kind. Blue people are not red. If the dog is red and the dog is not nice then the dog is not round. If the dog is red then the dog is round. If someone is kind then they are blue. Kind people are round. If the dog is round and the dog is nice then the dog is kind.
The dog is not red.
@0: The dog is kind.[(triple1)] The dog is not nice.[(triple2)] The dog is round.[(triple3 OR ((triple1) -> rule7))] @1: The dog is blue.[(((triple1) -> rule6))] @2: The dog is not red.[(((((triple1) -> rule6)) -> rule3))]