The dog is blue. The dog is kind. The dog is red. The dog is round. The dog is young. If something is red and not young then it is blue. All round, red things are blue. If something is round and young then it is blue. If something is round then it is blue. If the dog is round and the dog is not young then the dog is not blue. If the dog is kind and the dog is red then the dog is blue. If the dog is kind and the dog is not round then the dog is not red. All blue things are kind.
The dog does not eat the dog.
@0: The dog is blue.[(triple1 OR ((triple4) -> rule4) OR ((triple2 triple3) -> rule6) OR ((triple4 triple3) -> rule2) OR ((triple4 triple5) -> rule3))] The dog is kind.[(triple2 OR ((triple1) -> rule8) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple4 triple3) -> rule2)) -> rule8) OR ((((triple4 triple5) -> rule3)) -> rule8))] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]