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